Получение массива времени выполнения с указателя на его хранилище? ⇐ C++

[Anonymous]

Когда был создан массив объектов типа t (без ограничений на t ) (неявно или явно) внутри хранилища, чье место памяти дается, например, void *, Unsigned char * или std :: byte * (давайте скажем ), как можно будет иметь оригинал. Хранение .
При использовании std :: raunder для получения t * pointer arr кажется, что мы получаем только указатель на один элемент: например, указатель арифметика больше не может быть использована (в теории, потому что практически кажется, что, по крайней мере, использующие комполисты, которые будут использовать, что-то вроде (по крайней мере, будет использовано, что они будут использовать, что-то вроде (по крайней мере, будет использовано, что они будут использовать. Некоторое приложение, которое хранит буфер, где создаются объекты. Затем функции вызываются в этом хранилище. Они получают фактические объекты и обрабатывают их: < /p>

Код: Выделить всё

#include 
#include 
#include 

template 
void process(void* storage, std::size_t n) {
T* arr = std::launder(reinterpret_cast(storage));  // (4)
// is arr the address of a single object or the address of the existing
// array
// (see usage in main)
// (5) can I use arr as an array (arr[0] ... arr[count-1] being valid, arr+n
// being valid (for 0 может быть вариантом, но он не будет работать с некоторыми другими типами (массив должен быть тривиально копируемым). < /p>

Запоздалая мысль: из эмуляции std :: start_lifetime_as_array в c ++ 20 и расслабляя ограничение на trivialliable: < /p>
T* arr = std::launder(reinterpret_cast(std::memmove(storage,storage,sizeof(T)*count));

Это неявно создает массив t (массивы всегда являются неявными типами времени жизни). И представление стоимости хранится от существующих байтов? Но под той же мысли, почему std :: raunder здесь получает массив вместо одного элемента?


Подробнее здесь: https://stackoverflow.com/questions/797 ... ts-storage