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

[Anonymous]

Я думаю, что следующий код повсеместен: < /p>

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

struct A { ... };
char buf[1024];
auto ptr = new (buf) A(...);

Тем не менее, новый (buf) a (...); - это ub. https://en.cppreference.com/w/cpp/langu ... etime.html говорит (акцент на шахте):

в качестве особого случая, объекты могут создаваться в массиве unsigned char или std: std: std (с точки зрения Cestry 17, что это заработное. Хранение для объекта) if: < /p>

Срок службы массива начался и не закончился < /li>
Хранение для нового объекта подходит в пределах массива < /li>
Не существует абсолютного объекта, который удовлетворяет эти ограничения в пределах Array. />
Поэтому массив char не рассматривается как действительный тип хранения.>

Подробнее здесь: https://stackoverflow.com/questions/796 ... cement-new