[C++基础]虚析构函数
作者:互联网
虚析构函数是为了解决这样的一个问题:基类的指针指向派生类对象,并用基类的指针删除派生类对象。
如果某个类不包含虚函数,那一般是表示它将不作为一个基类来使用。当一个类不准备作为基类使用时,使析构函数为虚一般是个坏主意。因为它会为类增加一个虚函数表,使得对象的体积翻倍,还有可能降低其可移植性。所以基本的一条是:无故的声明虚析构函数和永远不去声明一样是错误的。实际上,很多人这样总结:当且仅当类里包含至少一个虚函数的时候才去声明虚析构函数。
构造函数和析构函数的调用顺序
- 构造函数的调用顺序:当建立一个对象时,首先调用基类的构造函数,然后调用下一个派生类的构造函数,依次类推,直至到达最底层的目标派生类的构造函数为止。
- 析构函数的调用顺序:当删除一个对象时,首先调用该派生类的析构函数,然后调用上一层基类的析构函数,依次类推,直到到达最顶层的基类的析构函数为止。
简单的说,构造函数是“自上向下”调用,析构函数是“自下而上”调用。
#include <string>
#include <iostream>
using namespace std;
class Base
{
public:
Base(string data) : m_data(data){ }
virtual ~Base(){ cout << "Base:: ~Base" << endl; }
void show(){ cout << m_data << endl; }
string GetData(){ return m_data; }
private:
string m_data;
};
class Demo : public Base
{
public:
Demo(int id, string data) : m_id(id), Base(data){ }
~Demo(){ cout << "Demo::~Demo" << endl; }
void display(){ cout << m_id << " " << GetData() << endl; }
private:
int m_id;
};
int main()
{
Demo* DDemo = new Demo(1, "hello"); //子类指针指向子类
cout << "delete 子类指针"<< endl;
delete DDemo;
Base* BBase = new Demo(2, "zhou"); //父类指针指向子类
cout << "delete 父类指针" << endl;
delete BBase;
system("pause");
return 0;
}
//输出
//delete 子类指针
//Demo::~Demo
//Base:: ~Base
//delete 父类指针
//Base:: ~Base
- 当子类指针指向子类时,析构函数会先调用子类析构在调用父类析构,释放所有内存。
- 但父类指针指向子类时,只会调用父类析构函数,子类析构函数不被调用,会造成内存泄漏。
所以我们才需要虚析构函数,将父类的析构函数定义为虚析构函数,那么父类指针会先调用子类析构,在调用父类析构,是内存得到释放。
//~Base(){ cout << "Base:: ~Base" << endl; } 改成
//virtual ~Base(){ cout << "Base:: ~Base" << endl; }
//输出
//delete 子类指针
//Demo::~Demo
//Base:: ~Base
//delete 父类指针
//Demo::~Demo
//Base:: ~Base
从运行结构可以看出:
- 将父类定义为虚析构函数后,当定义一直父类指针指向子类时,在delete时可以调用子类和父类的析构函数,释放所有的内存,防止内存泄漏。
虚函数小结
虚函数是动态绑定的,也就是说,使用虚函数的指针和引用能够正确找到实际类的对应函数,而不是执行定义类的函数。这是虚函数的基本功能,就不再解释了。
- 构造函数不能是虚函数。而且,在构造函数中调用虚函数,实际执行的是父类的对应函数,因为自己还没有构造好, 多态是被disable的。
- 析构函数可以是虚函数,而且,在一个复杂类结构中,这往往是必须的。
- 将一个函数定义为纯虚函数,实际上是将这个类定义为抽象类,不能实例化对象。
- 纯虚函数通常没有定义体,但也完全可以拥有。
- 析构函数可以是纯虚的,但纯虚析构函数必须有定义体,因为析构函数的调用是在子类中隐含的。
标签:调用,函数,子类,C++,析构,基类,虚析构,构造函数 来源: https://blog.csdn.net/ouyangshima/article/details/89077338