【C++】那些函数不能实现成虚函数

前提

虚函数依赖

1，虚函数能产生地址，存储在vftable当中

2，对象必须存在(vfptr->vftable->虚函数地址)

 

俩个不能实现为虚函数的函数

1.构造函数

a.virtual+构造函数  NO！

b.构造函数中（调用的任何函数都是静态绑定的）调用虚函数，也不用发生静态绑定派生类对象构造过程

2.static静态成员方法

NO  virtual + static

因为static是依赖类的定义。它不依赖于对象的产生或者析构。

 

虚析构函数

析构函数调用的时候，对象是存在的！

什么时候把基类的析构函数必须实现成虚函数。

基类的指针(引用)指向堆上的new出来的派生类对象的时候，delelte pb(基类的指针)

它调用析构函数的时候，必须发生动态绑定，否则会导致派生类对象的析构函数无法调用。

虚析构函数举例

#include<iostream>
using namespace std;
class Base
{
public:
	Base(int data) :ma(data) { cout << "Base()" << endl; }
	// 虚析构函数
	virtual ~Base() { cout << "~Base()" << endl; }
protected:
	int ma;
};
class Derive : public Base 
{
public:
	Derive(int data)
		:Base(data), mb(data), ptr(new int(data))
	{
		cout << "Derive()" << endl;
	}
	// 基类的析构函数是virtual虚函数，那么派生类的析构函数自动成为虚函数
	~Derive()
	{
		delete ptr;
		cout << "~Derive()" << endl;
	}
private:
	int mb;
	int *ptr;
};
int main()
{
	Base *pb = new Derive(10);
	delete pb; // 派生类的析构函数没有被调用到！！！
	return 0;
}

上例中Base中的析构函数必须实现为虚函数，否则可能会导致派生类Derive中的外部资源未被释放引起内存泄漏。