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

[Anonymous]

Какие части современного стандарта C++ (подходят C++20 или C++23) говорят, что нельзя уничтожать объект дважды, используя размещение new и явный вызов деструктора?

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

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

Есть ли какие-либо условия, когда это разрешено, например. если у T есть тривиальный деструктор?

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

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