C++对象模型(13)-- 构造函数语义学:析构函数

1、默认析构函数生成规则

跟构造函数一样,编译器不一定会为类生成默认析构函数。生成默认析构函数的规则有下面2条:

(1)包含一个类类型的成员变量,且成员变量所属的类有默认析构函数。

(2)其父类有默认析构函数。

我们可以通过VS2019的反汇编代码来验证这2条规则:

class Base {
public:
    ~Base(){}
};

class Derive: public Base{
};

int main()
{
    Derive derive;
    return 0;
}

反汇编窗口中的代码如下:

C++对象模型(13)-- 构造函数语义学:析构函数_第1张图片

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的对象布局是这样的:

C++对象模型(13)-- 构造函数语义学:析构函数_第2张图片

我们在main()函数里添加如下代码:

int main()
{
    Base2 *pb2 = new Derive();
    delete pb2;

    return 0;
}

执行代码后发现报错。是什么原因呢?

因为现在pb2指向的是类Base2对象,执行delete时就必须把整个类Derive对象给删除,现在只删除了部分对象,肯定是不行的。那么怎么delete整个类Derive对象呢?

把类Base2的析构函数写成虚析构函数:

virtual ~Base2(){};

你可能感兴趣的:(C++对象模型,c++,对象模型,析构函数,虚析构函数)