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

[Anonymous]

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

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

struct A { ... };
char buf1[1024];
auto buf2 = std::malloc(1024);
auto p1 = new (buf1) A(...);
auto p2 = new (buf2) A(...);

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

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

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

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