1、默认析构函数生成规则
跟构造函数一样,编译器不一定会为类生成默认析构函数。生成默认析构函数的规则有下面2条:
(1)包含一个类类型的成员变量,且成员变量所属的类有默认析构函数。
(2)其父类有默认析构函数。
我们可以通过VS2019的反汇编代码来验证这2条规则:
class Base {
public:~Base(){}
};class Derive: public Base{
};int main()
{Derive derive;return 0;
}
反汇编窗口中的代码如下:
2、继承中的析构函数
继承中的析构顺序跟构造顺序相反:由外而内,即先析构子类对象,再析构父类对象,整个过程就跟剥洋葱一样。
我们可以用这个例子验证析构顺序:
class Base {
public:~Base() {std::cout << "~Base" << std::endl;}
};class Derive : public Base {
public:~Derive(){std::cout << "~Derive" << std::endl;}
};int main()
{Derive derive;return 0;
}
程序运行结束后,打印:
~Derive
~Base
3、虚析构函数
基类对派生类及其对象的操作,只能影响到那些从基类继承下来的成员。如果要用基类对继承成员进行操作,则要把基类的这个成员函数定义为虚函数,析构函数同样需要如此。
用基类指针来删除派生类的对象,而这个基类的析构函数不是虚函数,则对象的派生部分不会被销毁,这会导致内存泄露。
class Base {
public:~Base() { std::cout << " ~Base" << std::endl;}
};class Derive : public Base {
public:~Derive(){std::cout << " ~Derive" << std::endl;}
};int main()
{Base *pb = new Derive();delete pb;return 0;
}
程序运行后输出:~Base
没有调用Derive类的析构函数。
要解决这个内存泄漏问题,只需要把基类的析构函数改成虚析构函数就可以了:
virtual ~Base(){};
4、多重继承时的析构函数
修改上面的代码,增加一个类Base2:
class Base2 {};
并让Derive继承这个类Base2:
class Derive : public Base, public Base2 {}
现在这个类Derive的对象布局是这样的:
我们在main()函数里添加如下代码:
int main()
{Base2 *pb2 = new Derive();delete pb2;return 0;
}
执行代码后发现报错。是什么原因呢?
因为现在pb2指向的是类Base2对象,执行delete时就必须把整个类Derive对象给删除,现在只删除了部分对象,肯定是不行的。那么怎么delete整个类Derive对象呢?
把类Base2的析构函数写成虚析构函数:
virtual ~Base2(){};