В каком случае надо использовать такое объявление деструктора: virtual ~type() =

Question

supapro.cxx

d7d1cd

В каком случае надо использовать такое объявление деструктора: virtual ~type() =

default;

?

#c #embedded #programming #russian

0

04.09.2023

22 ответов

1 просмотр

d7d1cd Автор вопроса

Aniki Hi$ok@ 🌈 Z 🐀
это объявление виртуального деструктора. Там где т...

Смущает default. Зачем его тут употреблять?

0

8 месяцев назад

Anatoly Shirokov

чтобы не писать пустое тело реализации, если на этом уровне нет никаких динамических ресурсов, которые надо освобождать или все динамические ресурсы находятся под управлением других объектов (по типу unique_ptr и т.п.)

0

8 месяцев назад

d7d1cd Автор вопроса

Anatoly Shirokov
чтобы не писать пустое тело реализации, если на эт...

А если в иерархии классов в одном классе пишут virtual ~deriv() = default;, в другом пишут virtual ~deriv2() {} в третьем вообще не объявляют деструктор никак, то это норм или могут быть проблемы?

0

8 месяцев назад

Anatoly Shirokov

никаких, главное, чтобы пустое или дефолтное тело было осознанным: у тебя все динамические ресурсы под контролем

0

8 месяцев назад

Гражданин Котейко

d7d1cd
А если в иерархии классов в одном классе пишут vir...

главное, чтобы оно в базовом классе было, через указатель на который все эти наследники полиморфно педалируются

0

8 месяцев назад

Aniki Hi$ok@ 🌈 Z 🐀

d7d1cd
А если в иерархии классов в одном классе пишут vir...

если где-то по цепочке наследований будет в реализации выделение памяти, то нужно в этом виртуальном деструкторе его высвободить. Просто принято его явно указывать, даже пустой, чтобы было очевидно что память не выделяется

0

8 месяцев назад

Илья Грошев

Anatoly Shirokov
никаких, главное, чтобы пустое или дефолтное тело ...

А есть разница между пустым и дефолтным телом?

0

8 месяцев назад

Anatoly Shirokov

Илья Грошев
А есть разница между пустым и дефолтным телом?

нет, по сути.

0

8 месяцев назад

d7d1cd Автор вопроса

Anatoly Shirokov
нет, по сути.

А вот для конструкторов где-то читал/видел, что это не так и пустой конструктор это не то же самое, что объявленный со словом default.

0

8 месяцев назад

Хажи Магомедов

Anatoly Shirokov
нет, по сути.

Привет , основной акк попал в бан из за спама . Можно его как ни будь вытащить ?

0

8 месяцев назад

Eyed Shovel

Хажи Магомедов
Привет , основной акк попал в бан из за спама . Мо...

Да, нужно перестать спамить

0

8 месяцев назад

Ilya Zviagin

d7d1cd
Смущает default. Зачем его тут употреблять?

Чтобы не писать пустое тело деструктора явно и не делать отдельно определение этой функции-члена

0

8 месяцев назад

d7d1cd Автор вопроса

По теме default или пустое тело для конструктора. Пример. Спасибо Константину Владимирову.

0

7 месяцев назад

d7d1cd Автор вопроса

d7d1cd
По теме default или пустое тело для конструктора. ...

Я же правильно понимаю, что тут каст Bar в int - это UB?

0

7 месяцев назад

Sergey Anisimov

d7d1cd
Я же правильно понимаю, что тут каст Bar в int - э...

Да.

0

7 месяцев назад

d7d1cd Автор вопроса

Sergey Anisimov
Да.

Скажите, а есть ли подвох с деструктором с пустым телом и деструктором с default?

0

7 месяцев назад

Michael

Sergey Anisimov
Да.

Почему?

0

7 месяцев назад

Sergey Anisimov

d7d1cd
Скажите, а есть ли подвох с деструктором с пусты...

Пустотелый остается нетривиальным, тривиальность разрушения - одно из необходимых условий для trivially-copyable, trivial и implicit-lifetime. Эти свойства, в свою очередь, позволяют многие неявные операции с лайфтаймами выполнять.

0

7 месяцев назад

Sergey Anisimov

Michael
Почему?

Вычисление (lval->rval) indeterminate value у Bar::x.

0

7 месяцев назад

Michael

Sergey Anisimov
Вычисление (lval->rval) indeterminate value у Bar:...

UB происходит в тот момент, когда мы используем indeterminate value и при этом не важно как?

0

7 месяцев назад

Sergey Anisimov

Michael
UB происходит в тот момент, когда мы используем in...

Когда оно "вычисляется", да. Вычисление - это lval->rval преобразование (получение элемента множества значений, соответствующего текущей репрезентации значения). Подробно про это (и исключения из правила) здесь.

0

7 месяцев назад

Aniki Hi$ok@ 🌈 Z 🐀 · Accepted Answer

Aniki Hi$ok@ 🌈 Z 🐀

это объявление виртуального деструктора. Там где требуется, как минимум в виртуальных классах

0

8 месяцев назад

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

В каком случае надо использовать такое объявление деструктора: virtual ~type() =

22 ответов

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