Как создать динамичный массив объекта, возможно, переоценитого типа, не снятого по умолчанию? ⇐ C++

[Anonymous]

Это в основном, что делает std :: ecector :: reserv , но я бы признателен за объяснение того, как это делается, поскольку мне не удалось раскрыть фактическую реализацию. class = "lang-cpp prettyprint-override">// suitably aligned memory
void* raw = ::operator new(sizeof(OverAlignedType) * n,std::align_val_t(alignof(OverAlignedType)));
// placing there an array of bytes that can provide storage AND implicitly create arrays (which are implicit lifetime types)
auto* storage = ::new (raw) std::byte[sizeof(OverAlignedType) * n];
// triggers the implicit array creation
auto* data= std::launder(reinterpret_cast(storage));
< /code>
Полный рабочий пример < /p>
То же самое с анализатором и дезинфицирующим средством < /p>
Я мог бы зацикливаться на хранилище, чтобы разместить индивидуальные переоценки < /code>, используя доступный конструктор.
это правильно или должно быть фиксированным (и как)? Deallocate, пока)>

Подробнее здесь: https://stackoverflow.com/questions/796 ... gned-not-d