Следует ли объявлять деструктор производного класса виртуальным, если в базовом классе он уже помечен таковым? Т.е., необходимость в виртуальном деструкторе в базовом классе мне ясна, в производном - нет. Возможно, не задумывался бы об этом, если бы не натыкался на статьи, в которых даны примеры, где по мнению авторов наличие виртуальных деструкторов в производных классах является, видимо, хорошим тоном.
3 ответа
Согласно стандарту C++ (7.1.2 Function specifiers)
5 The virtual specifier shall be used only in the initial declaration of a non-static class member function;
То есть спецификатор функции virtual
обязан присутствовать только в первоначальном объявлении функции.
Тем не менее я соглашусь, что присутствие этого спецификатора в объявлениях функций в производных классах делает код более ясным и самодокументируемым.
Что касается деструкторов, то, опять-таки, согласно стандарта C++ (10.3 Virtual functions)
6 Even though destructors are not inherited, a destructor in a derived class overrides a base class destructor declared virtual; see 12.4 and 12.5.
То есть если деструктор в базовом классе объявлен со спецификатором virtual
, то деструктор в производном классе переопределяет деструктор базового класса, то есть ведет себя как виртуальная функция.
-
2
присутствие ... делает код более ясным
— как по мне, этой цели следует ключевое словоoverride
.virtual
же сбивает с толку, не позволяя определить, переопределение это или же введение нового виртуального метода. Commented 24 апр. 2017 в 19:21 -
2@Arhad Привычки вырабатывались в те времена, когда
override
и близко не было :)– HarryCommented 24 апр. 2017 в 19:22 -
@Arhad Контекстно-зависимое ключевое слово override появилось только в стандарте C++ 2011. До этого его не было. Commented 24 апр. 2017 в 19:24
-
Не совсем понятно, при чем здесь первая цитата. Она говорит, что если определение виртуальной функции сделано вне класса, то указывать там слово
virtual
запрещается. То есть к переопределению виртуальных функций в производных классах она никакого отношения не имеет. Commented 24 апр. 2017 в 20:00 -
1@Vlad from Moscow: Прекрасно. Чтобы сделать функцию виртуальной, требуется указать
virtual
в базовом классе. Об этом говорит именно 10.3. Указыватьvirtual
в классе-наследнике не обязательно. Об этом тоже говорит 10.3. Вот и все. А 7.1.2 говорит только о том, что нельзя писатьvirtual double x = 13;
иvirtual static int foo()
. Потому я и заметил, что к сути вопроса 7.1.2 отношения не имеет. Commented 24 апр. 2017 в 21:48
Он автоматически будет виртуальным.
Достаточно пометить функцию-член как виртуальную в базовом классе; такой она будет и в производном.
#include <iostream>
using namespace std;
class B
{
public:
virtual void f() const { cout << "B\n"; }
virtual ~B() { cout << "~B\n"; }
};
class C: public B
{
public:
void f() const { cout << "C\n"; }
~C() { cout << "~C\n"; }
};
class D: public C
{
public:
void f() const { cout << "D\n"; }
~D() { cout << "~D\n"; }
};
int main()
{
B*b = new D;
b->f();
delete b;
}
Хотя D::f()
не имеет слова virtual
, это ничего не меняет...
Код тут: http://ideone.com/mqG4NW
-
Может быть это как-то связано с разрушением объекта по указателю на базовый класс? Commented 24 апр. 2017 в 19:10
-
Понял, спасибо. Т.о. "виртуальность" деструктора производного класса необязательна, главное - его наличие, верно? Commented 24 апр. 2017 в 19:13
-
Что именно? Объявление виртуальности в производном классе? Оно не обязательно, но лично я всегда его использую - просто для того, чтоб самому случайно не забыть, что эта функция - виртуальная. Гляньте на код - то, что деструктор не объявлен как виртуальный в производном классе, не делает его не виртуальным...– HarryCommented 24 апр. 2017 в 19:13
-
Объявление виртуальности не важно. Наличие - ну уберите в коде
~C
- все равно~D
будет вызван (или уберите~D
-~C
будет вызван), просто отсутствующий деструктор будет сгенерирован компилятором. Опять же, как виртуальный.– HarryCommented 24 апр. 2017 в 19:15 -
> ну уберите в коде ~C - все равно ~Dбудет вызван - я только что убедился в обратном - ideone.com/4xjKtT Commented 24 апр. 2017 в 19:16
Как и все остальные переопределенные виртуальные функции, его надо помечать как override
, virtual
при этом писать не нужно.
struct Derived : Base {
~Derived() override;
};