Товарищи, помогите прояснить некоторые моменты.
1)
http://eel.is/c++draft/basic.life#6 говорит ... after the lifetime has ended and before the storage reused or released..., однако Example 1 на B::mutate как мне кажется неуместен, так как прямо в нем имеется комментарий, что storage reused. Получается здесь UB, так как попытка взаимодействия с "мёртвым" объектом? Или же подразумевается, что указатель, на основе которого формируется this не был "переназначен" после lifetime end?
2) Было бы здесь уместно применить
std::launder(this)->f();
? Или std::launder с каким-то кастом?
3) Даёт ли стандарт определения словам reused, released?
4) ISO/IEC 9899:202x(С2х) 6.2.4 говорит, что The value of a pointer becomes indeterminate when the object it points to (or just past) reaches the
end of its lifetime. Выполняется ли это в С++? Или лишь это
http://eel.is/c++draft/basic.memobj#basic.stc.general-4?
5) В свете последней ссылки, с чем связаны указатели: с объектом или хранилищем?
6)
http://eel.is/c++draft/basic.life#8 transparently replaceable работает лишь для immediate after замены о1 на о2. или же это свойство может проходить через серию замен, к примеру
https://godbolt.org/z/1zcTjh