C++之构造、析构函数在继承中的调用关系

继承关系中,构造函数、析构函数的调用顺序:

在构造派生类时,调用顺序为:父类构造-子类构造-子类析构-父类析构

class Base1 {
public:
    Base1() { cout << "Base1()" << endl; }
    ~Base1() { cout << "~Base1()" << endl; }
};

class Derived1 : public Base1 {
public:
    Derived1() { cout << "Derived1()" << endl; }
    ~Derived1() { cout << "~Derived1()" << endl; }
};

void Test01() {
    Base1 b1;
    Derived1 d1;
}

int main() {
    Test01();
    return 0;
}

编译执行:
C++之构造、析构函数在继承中的调用关系_第1张图片
可以看出调用关系如上所述,而析构顺序则和构造相反,像栈结构,先进后出。


上面是直接定义变量,但是涉及到指针则略有不同。
Test01改为:

void Test01() {
    Base1 *p1;
    p1 = new Base1;
    delete p1;
    p1 = new Derived1;
    delete p1;
}

编译执行:
在这里插入图片描述
值得注意的是newdelete Derived1,两个构造函数都有调用,但只调用了~Base1()这个父类的析构函数,并没有调用子类的析构函数。
也就是说,如果在子类的构造函数中,手动申请了内存(如new了内存空间),则无法通过子类的析构函数来删除,有可能会造成内存泄漏。

上面的指针类型是Base1父类,那若指针类型本来就为子类:

void Test01() {
    Derived1 *p2;
    p2 = new Derived1;
    delete p2;
}

编译执行:
在这里插入图片描述
调用顺序和普通变量一致。
但比较少情况会声明一个子类指针。更多是声明一个父类指针,在程序运行时动态地绑定子类对象。

为了使父类指针也能如期调用子类的析构函数(多态),需要把父类的析构函数加上virtual,声明为虚函数。

class Base1 {
public:
    Base1() { cout << "Base1()" << endl; }
    virtual ~Base1() { cout << "~Base1()" << endl; }
};

可选的在子类中加上override
~Derived1() override
再次编译执行:
C++之构造、析构函数在继承中的调用关系_第2张图片
这时子类的析构函数也能如期调用了。

你可能感兴趣的:(C++,c++,继承)