C++继承与多态(5)
虚析构函数
一. 两个问题:
- 问题一: 哪些函数不能实现成虚函数?
首先要认识虚函数的依赖:
1.虚函数能产生地址,存储在vftable当中
2.对象必须存在(vfptr->vftable->虚函数地址,而vfptr存储在对象的内存空间中)
根据虚函数的依赖条件可以分析得出:
1.构造函数
(1) virtual+构造函数(不可以)
(2) 构造函数中(调用的任何函数,都是静态绑定的)调用虚函数,也不会发生静态绑定
(3) 派生类对象的构造过程,先调用的是基类的构造函数,然后才调用派生类的构造函数
2.static静态成员方法
静态成员方法不依赖对象
- 问题二: 关于虚析构函数, 什么时候基类的析构函数必须实现成虚函数?
解答:基类的指针(引用)指向堆上new出来的派生类对象的时候, delete pb(基类的指针),
它调用析构函数的时候,必须发生动态绑定,否则会导致派生类的析构函数无法调用
简单定义基类Base和其派生类Derive
class Base { public: Base(int data = 10) :ma(data) { cout << "Base(int data = 10)" << endl; } void show() { cout << "Base::show()" << endl; } ~Base() { cout << "~Base()" << endl; } protected: int ma; }; class Derive : public Base { public: Derive(int data = 20) :Base(data), mb(data) { cout << "Derive(int data = 20)" << endl; } virtual void show() { cout << "Derive::show()" << endl; } // 基类的析构函数是虚函数,那么派生类的析构函数自动成为虚函数 ~Derive() { cout << "~Derive()" << endl; } private: int mb; };
主函数部分
int main() { Base* pb = new Derive(10); pb->show(); delete pb; // 派生类的析构函数没有调用 }
- case1: 基类Base的析构函数不是虚函数时
c++学习笔记------继承与多态5 由以上结果可知,派生类的析构函数没有调用, 这是因为delete需要先调用析构函数(释放外部占用的内存资源(如果需要的话)),然后才会释放内存(free), 而调用析构函数pb->~Base() , 找到的是基类的析构函数,发生的是静态绑定。
- case2: 基类Base的析构函数是虚函数时
- case1: 基类Base的析构函数不是虚函数时