Использование объединения C++ для неинициализированной памяти ⇐ C++

[Anonymous]

Мне нужно вручную управлять памятью для выделения объектов. Я использовал массив alignas(T) char Storage[] с динамическим приведением. Но на самом деле мне нужен массив неинициализированных значений.
Могу ли я написать такое объединение шаблонов:

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

template
union uninitialized {
T value;
uninitialized() {}
~uninitialized() {}
};

Кажется, работает:

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

uninitialized data[10];
std::construct_at(std::addressof(data[0].value), /* ctor args ... */);
// ...
std::destroy_at(std::addressof(data[0].value));

Даже для класса Foo с нетривиальным конструктором и деструктором.
Но то, что это работает, не означает, что я избегаю неопределенного поведения. Хорошо ли определен этот код на C++ (я ориентируюсь на C++20 и выше).

Подробнее здесь: https://stackoverflow.com/questions/798 ... zed-memory