Виртуальный деструктор

@vital792 · Регистрация: 05.06.2010

Студворк — интернет-сервис помощи студентам

Всем привет! Объясните пожалуйста новичку в ООП, вопрос чисто теоретический поэтому код не прилагаю. Мне сказали что если я в классе использую виртуальные функции, то и деструктор обязательно должен быть виртуальным, иначе не избежать утечек памяти. Так ли это? И если так, почему он(деструктор) не становится виртуальным по умолчанию при объявлении виртуальной функции. И еще вопросик: с чисто виртуальными функциями так же? Знаю что литературы море, но все равно хотел бы услышать мнение форумчан=)
Заранее спасибо.

silent_1991 · 20.10.2011, 15:34

vital792, вам сказали неправильно. Если класс предполагается наследовать, тогда деструктор должен быть виртуальным.

Добавлено через 7 минут
Чтобы понять суть, откомпилируйте и запустите сначала такой код:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
#include <iostream>
 
class Base
{
public:
    virtual ~Base()
    {
        std::cout << "Base::~Base()" << std::endl;
    }
};
 
class Derived : public Base
{
public:
    virtual ~Derived()
    {
        std::cout << "Derived::~Derived()" << std::endl;
    }
};
 
int main()
{
    Base *base_ptr = new Derived();
 
    delete base_ptr;
 
    return 0;
}

А потом уберите слова virtual перед деструкторами обоих классов и снова откомпилируйте и запустите код.

@CheshireCat · 20.10.2011, 15:35

Это, конечно же, верно.

Можно еще посмотреть с точки зрения здравого смысла:
Если класс не предполагается наследовать, деструктор совершенно незачем делать виртуальным. С другой стороны, если класс не предполагается наследовать, зачем в нем вообще виртуальные функции? Можно отлично обойтись и без них.

А вот если класс предполагается наследовать - можно (и целесообразно) сделать какие-то виртуальные функции. Но в этом случае, и деструктор целесообразно сразу же делать виртуальным. Во избежание.

silent_1991 · 20.10.2011, 15:39

CheshireCat, с другой стороны, класс, в котором ни одна функция не является виртуальной, может захотеться унаследовать. И в этом случае, следуя логике ТСа, деструктор незачем делать виртуальным. Однако если вдруг начнутся какие-то динамические выделения памяти или любой другой захват не подконтрольных компилятору ресурсов, настанет большая беда. Поэтому не следует основываться на таких косвенных утверждениях, что "если есть виртуальные функции, то деструктор должен быть виртуальным, потому что если не предполагается наследования, то нет смысла писать виртуальные функции", потому что такая логика работает только в одну сторону.

Добавлено через 1 минуту

Не по теме:

Перечитав ваше сообщение, понял, что вы вроде как об этом же говорили :jokingly:

@Deviaphan · 20.10.2011, 15:43

Виртуальный деструктор нужен исключительно для полиморфного удаления. Если объект создаётся в стеке и передаётся в функции в виде указателя на базовый класс, то можно обойтись и без виртуального деструктора. Однако это в 99% случаев не оправдано и во избежание ошибок нужно всегда делать виртуальный деструктор при наличии виртуальных функций.
Чисто виртуальные функции отличаются от просто виртуальных тем, что могут не иметь реализации. Объекты класса, содержащего чисто виртуальные функции, нельзя создать, они используются только как базовые классы.

Сообщение от vital792

почему он(деструктор) не становится виртуальным по умолчанию при объявлении виртуальной функции

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

@CheshireCat · 20.10.2011, 15:48

:-)
Помнится, я читал у кого-то из авторитетов (Мейерса? Саттера? не помню уже....) такой совет: "Всегда делайте деструктор виртуальным, если у вас нет ну чрезвычайно веских оснований поступить иначе."

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

@vital792 · 26.10.2011, 09:41 **[ТС]**

Всем спасибо за подробные и обстоятельные ответы.

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Programma_Boinc 01.01.2026 Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Сочетание глобально распределённой вычислительной мощности и инновационных. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .

@vital792 2014 / 1286 / 61 Регистрация: 05.06.2010 Сообщений: 2,213

	Виртуальный деструктор 20.10.2011, 14:45. Показов 9042. Ответов 6 Метки нет (Все метки) Всем привет! Объясните пожалуйста новичку в ООП, вопрос чисто теоретический поэтому код не прилагаю. Мне сказали что если я в классе использую виртуальные функции, то и деструктор обязательно должен быть виртуальным, иначе не избежать утечек памяти. Так ли это? И если так, почему он(деструктор) не становится виртуальным по умолчанию при объявлении виртуальной функции. И еще вопросик: с чисто виртуальными функциями так же? Знаю что литературы море, но все равно хотел бы услышать мнение форумчан=) Заранее спасибо. 0

@CheshireCat 2924 / 1274 / 114 Регистрация: 27.05.2008 Сообщений: 3,465
	20.10.2011, 15:35
	Это, конечно же, верно. Можно еще посмотреть с точки зрения здравого смысла: Если класс не предполагается наследовать, деструктор совершенно незачем делать виртуальным. С другой стороны, если класс не предполагается наследовать, зачем в нем вообще виртуальные функции? Можно отлично обойтись и без них. А вот если класс предполагается наследовать - можно (и целесообразно) сделать какие-то виртуальные функции. Но в этом случае, и деструктор целесообразно сразу же делать виртуальным. Во избежание. 1

silent_1991 5058 / 3118 / 271 Регистрация: 11.11.2009 Сообщений: 7,044
	20.10.2011, 15:39
	CheshireCat, с другой стороны, класс, в котором ни одна функция не является виртуальной, может захотеться унаследовать. И в этом случае, следуя логике ТСа, деструктор незачем делать виртуальным. Однако если вдруг начнутся какие-то динамические выделения памяти или любой другой захват не подконтрольных компилятору ресурсов, настанет большая беда. Поэтому не следует основываться на таких косвенных утверждениях, что "если есть виртуальные функции, то деструктор должен быть виртуальным, потому что если не предполагается наследования, то нет смысла писать виртуальные функции", потому что такая логика работает только в одну сторону. Добавлено через 1 минуту Не по теме: Перечитав ваше сообщение, понял, что вы вроде как об этом же говорили :jokingly: 1

@CheshireCat 2924 / 1274 / 114 Регистрация: 27.05.2008 Сообщений: 3,465
	20.10.2011, 15:48
	:-) Помнится, я читал у кого-то из авторитетов (Мейерса? Саттера? не помню уже....) такой совет: "Всегда делайте деструктор виртуальным, если у вас нет ну чрезвычайно веских оснований поступить иначе." Потому что кто его знает, что произойдет с вашим кодом лет этак через пять-десять... потому что какой-нить совершенно сторонний программист может вдруг захотеть отнаследоваться от вашего класса - и словит баг на ровном месте. 1

@vital792 2014 / 1286 / 61 Регистрация: 05.06.2010 Сообщений: 2,213
	26.10.2011, 09:41 [ТС]
	Всем спасибо за подробные и обстоятельные ответы. 0