Https://En.Cppreference.Com/W/Cpp/Language/Lifetime Тут написано что access to non static member functions за

Question

Https://En.Cppreference.Com/W/Cpp/Language/Lifetime Тут написано что access to non static member functions за

пределами времени жизни это УБ, в то же время жизнь заканчивается с начала вызова деструктора, и в то же время где то написано было что member functions можно вызывать во время деструкции. Как правильно?

#c++ #embedded #programming #russian

0

15.04.2021

20 ответов

24 просмотра

Sergey Skvortsov

Liber Azerate
Где это было написано? То, что это уб, правильно

Не ub, конечно

0

15.04.2021

Sergey Skvortsov

cppreference плохо стандарт пересказали тут

0

15.04.2021

Pepe 🐸 Автор вопроса

Liber Azerate
Где это было написано? То, что это уб, правильно

Member functions, including virtual functions (10.3), can be called during construction or destruction (12.6.2).

0

15.04.2021

Egor Suvorov

https://eel.is/c++draft/basic.life#6 > Before the lifetime of an object has started but .... > For an object under construction or destruction, see [class.cdtor]. https://eel.is/c++draft/class.cdtor#4 > Member functions, including virtual functions ([class.virtual]), can be called during construction or destruction ([class.base.init]).

0

15.04.2021

Pepe 🐸 Автор вопроса

Liber Azerate
Где это было написано? То, что это уб, правильно

https://stackoverflow.com/questions/37960088/accessing-owner-in-destructor-c

0

15.04.2021

Pepe 🐸 Автор вопроса

Egor Suvorov
https://eel.is/c++draft/basic.life#6 > Before the...

да, так как все таки правильно?

0

15.04.2021

Sergey Skvortsov

Pepe 🐸
да, так как все таки правильно?

Можно звать

0

15.04.2021

Liber Azerate

Sergey Skvortsov
Не ub, конечно

Да, видимо не надо было доверять цппрефу и сразу открыть стандарт

0

15.04.2021

Egor Suvorov

Pepe 🐸
да, так как все таки правильно?

Жизнь объекта заканчивается в момент начала деструктора, но в процессе работы деструктора некоторые операции всё ещё можно делать

0

15.04.2021

Pepe 🐸 Автор вопроса

Egor Suvorov
Жизнь объекта заканчивается в момент начала дестру...

Access outside of lifetime Before the lifetime of an object has started but after the storage which the object will occupy has been allocated or, after the lifetime of an object has ended and before the storage which the object occupied is reused or released, the following uses of the glvalue expression that identifies that object are undefined: 1 Lvalue to rvalue conversion (e.g. function call to a function that takes a value). 2 Access to a non-static data member or a call to a non-static member function.

0

15.04.2021

Pepe 🐸 Автор вопроса

Pepe 🐸
Access outside of lifetime Before the lifetime of ...

вот тут именно про outside of lifetime с cppreference

0

15.04.2021

Max Kolesnikov

Egor Suvorov
https://eel.is/c++draft/basic.life#6 > Before the...

А часть про виртуальный функции не меняли? Насколько помню было что-то плохое с вызовом pure-virtual функций в конструкторе

0

15.04.2021

Egor Suvorov

Pepe 🐸
Access outside of lifetime Before the lifetime of ...

Да, но [class.cdtor]/4 явным образом это дело частично разрешает

0

15.04.2021

Egor Suvorov

Max Kolesnikov
А часть про виртуальный функции не меняли? Насколь...

Нет, там плохо потому что в конструкторе мы "не видим" своего наследника и pure virtual ещё ни с кем не связана

0

15.04.2021

Max Kolesnikov

Egor Suvorov
Нет, там плохо потому что в конструкторе мы "не ви...

То есть она в принципе не зовется и на этапе компиляции это ломается?

0

15.04.2021

Egor Suvorov

Max Kolesnikov
То есть она в принципе не зовется и на этапе компи...

Увы, ломается в рантайме. Но наверняка будет предупреждение компилятора

0

15.04.2021

Egor Suvorov

Egor Suvorov
Да, но [class.cdtor]/4 явным образом это дело част...

Да и [class.cdtor]/3 явным образом разрешает, например, обращаться к полям: > ... To form a pointer to (or access the value of) a direct non-static member of an object obj, the construction of obj shall have started and its destruction shall not have completed, otherwise the computation of the pointer value (or accessing the member value) results in undefined behavior.

0

15.04.2021

Pepe 🐸 Автор вопроса

Egor Suvorov
Да и [class.cdtor]/3 явным образом разрешает, напр...

спасибо, видимо в сппреф неправильно стандарт описан

0

15.04.2021

Egor Suvorov

Pepe 🐸
спасибо, видимо в сппреф неправильно стандарт опис...

Поправил. Надеюсь, фигни не добавил.

0

15.04.2021