C++对象模型（13）-- 构造函数语义学：析构函数

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(){};