Какая часть стандарта C++ запрещает двойное уничтожение и повторное использование памяти без разрушения? ⇐ C++

[Anonymous]

Какие части современного стандарта C++ (подходят C++20 или C++23) говорят, что нельзя делать следующие действия, используя размещение новых и явных вызовов деструктора?
< ol>
[*]Двойное уничтожение

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

alignas(T) std::byte storage[sizeof(T)];
T* const p = new (storage) T(...);
p->~T();
p->~T();

[*]Повторное использование хранилища без запуска деструктора

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

alignas(T) std::byte storage[sizeof(T)];
T* p = new (storage) T(...);
p = new (storage) T(...)
p->~T();

Более того, разрешены ли они, если T имеет тривиальный деструктор, и какие дополнительные части стандарта имеют отношение к этому вопросу?

Я нашел предыдущий ответ на полусвязанный вопрос, который дает относительно четкий ответ на тривиальную часть вопроса, связанную с деструктором. для (1), но он использует C++17, и, к моему удивлению, формулировка в C++20, похоже, изменился и запретил это для тривиальных деструкторов. Кажется, что это должно подойти для тривиальных деструкторов, поэтому я подозреваю, что что-то упускаю.

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