C++-C++中带多态性质的Base Class的析构函数为何要声明为virtual类型?

需求定制 需求定制 主题:1050 回复:2283

C++-C++中带多态性质的Base Class的析构函数为何要声明为virtual类型?

瑾兮 发布于 2017-03-24 字数 101 浏览 1106 回复 4

在C++中,为何带多态性质的基类应声明一个virtual的析构函数?
(带多态性质:很有可能被继承)

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

支持 Markdown 语法,需要帮助?

评论(4

夜无邪 2017-10-14 4 楼

原因很简单,如果基类指针指向的是派生类对象,那么通过delete pBase;的时候,只会调用基类的析构函数,只有基类部分的资源被释放,造成内存泄漏。但是如果是虚析构函数,那么delete pBase;会调用派生类的析构函数,派生类的析构函数中释放掉派生类部分的资源后会自动调用基类的析构函数,才能把整个派生类对象资源释放掉。

晚风撩人 2017-07-23 3 楼

作为通常的原则,如果一个类定义了虚函数,那么它的析构函数就应当是virtual的。因为定义了虚函数则隐含着:这个类会被继承,并且会通过基类的指针指向子类对象,从而得到多态性。 这个类可能会被继承,并且会通过基类的指针指向子类对象”,因此基类的析构函数是否为虚将决定子类的对象是否被析构
示例代码:

include <iostream.h>

struct A
{
virtual ~A() {cout<<"~A()n";}
};

struct B: public A
{
~B() {cout<<"~B()n";}
};

void main()
{
A* p = new B;
delete p;
}

如果 A的析构函数不是virtual的,那么此时就不是先调用B的析构函数再调用A的析构函数。
Output:
~A();

如果A 的析构函数为virtual,则先~B(),再~A()

Output:
~B();
~A();
类如果会被派生的话,析构函数一般都应该定义为virtual的,主要不是防止内存泄露,而是为了正确的析构。如果是个封闭类(即不再被派生),就不要定义为virtual的。虚函数毕竟耗费较大的。
不用virtual 的几种情况:

为非公有基类。仅作为 private base

class 使用的 class 不需要使用虚拟析构函数
不作为接口使用的基类。
如果你可以保证这个类不被public继承(private/protected继承的话,在非friend函数/类中就无法用基类指针指向派生类了)
如果它的所有派生类(包括派生类的派生类)的析构函数都是trivial的(这里的trivial指的是在程序员的层次什么事也不做)
如果不需要用基类的指针指向派生类的对象

在这五种情况下,不把析构函数声明为virtual都是可以的,何况效率会高一些——但前提是你得保证前提的成立——不过这些保证常常是很难100%的:谁能保证别人在派生你的类的时候,析构函数是trivial的,或者别人不用你提供的基类的指针指向派生类对象?这些常常是很难得到保证的。

声明基类的析构函数为virtual并非总是为了防止memory leak 另外这也只是作为一般的原则(基类中有虚函数则把其析构函数声明为virtual)。如果你的析构函数什么事也不作,从效果上来说,不声明为virtual也无妨

参考:这里

浮生未歇 2017-06-01 2 楼

在C++中明确指出,一个派生类型经过由一个基类型指针被删除,而该基类型带着一个non-virtual析构函数其结果未定义。只会造成一个局部的销毁,即基类型资源被释放,而派生类型造成memory leak

参考这里: Effective c++学习笔记——条款07:为多态基类声明virtual析构函数

夜无邪 2017-04-26 1 楼

为了子类能够根据使用环境重新实现该方法,严格来说,对于可能会被继承的类里的public和protected方法,都应该声明virtual,尤其是析构函数。