编程语言
首页 > 编程语言> > [C++基础]虚析构函数

[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时可以调用子类和父类的析构函数,释放所有的内存,防止内存泄漏。

虚函数小结

虚函数是动态绑定的,也就是说,使用虚函数的指针和引用能够正确找到实际类的对应函数,而不是执行定义类的函数。这是虚函数的基本功能,就不再解释了。

  1. 构造函数不能是虚函数。而且,在构造函数中调用虚函数,实际执行的是父类的对应函数,因为自己还没有构造好, 多态是被disable的。
  2. 析构函数可以是虚函数,而且,在一个复杂类结构中,这往往是必须的。
  3. 将一个函数定义为纯虚函数,实际上是将这个类定义为抽象类,不能实例化对象。
  4. 纯虚函数通常没有定义体,但也完全可以拥有。
  5. 析构函数可以是纯虚的,但纯虚析构函数必须有定义体,因为析构函数的调用是在子类中隐含的。

标签:调用,函数,子类,C++,析构,基类,虚析构,构造函数
来源: https://blog.csdn.net/ouyangshima/article/details/89077338