继承关系中,构造函数、析构函数的调用顺序:
在构造派生类时,调用顺序为:父类构造-子类构造-子类析构-父类析构
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; }
编译执行:
可以看出调用关系如上所述,而析构顺序则和构造相反,像栈结构,先进后出。
上面是直接定义变量,但是涉及到指针则略有不同。
Test01改为:
void Test01() { Base1 *p1; p1 = new Base1; delete p1; p1 = new Derived1; delete p1; }
编译执行:
值得注意的是new
和delete 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
再次编译执行:
这时子类的析构函数也能如期调用了。