Товарищи, помогите прояснить некоторые моменты. 1) http://eel.is/c++draft/basic.life#6 говорит ... after

Question

Товарищи, помогите прояснить некоторые моменты. 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

#c++ #embedded #programming #russian

0

19.10.2020

1 ответов

22 просмотра

Vlad · Accepted Answer

1) весь тот пример про то, как объект по указателю pb/this, прекращает свое существование, а storage остается и указатели на него остаются действительными. да, UB там тогда, когда при помощи этого указателя делается что-то, для чего требуется существование объекта. никакого переназначения не надо 2) нет, std::launder никак не поможет, потому что объекта нет. но на горизонте маячит еще одна библиотечная функция на эту тему: std::start_lifetime_as() 3) не нахожу их толкования ни в стандарте, ни в отдельном стандарте с ИТ-терминологией, что наводит на мысли, что определений в обычных толковых словарях достаточно 4) не рекомендую приплетать сюда Си, а то совсем запутаетесь. я не знаю его объектную модель, но подозреваю, что она отличается. 5) указатели связаны с хранилищем 6) не нахожу в формулировке этого пункта свидетельств, что каждая замена в серии должна удовлетворять условиям прозрачной замены

170 похожих чатов

Товарищи, помогите прояснить некоторые моменты. 1) http://eel.is/c++draft/basic.life#6 говорит ... after

1 ответов

Похожие вопросы