虚函数和虚函数表

复习下虚函数和虚函数表的知识

一、虚析构函数的必要性
我们常将一个基类的析构函数定义为虚函数，这样可以防止可能的内存泄漏，其中要点有以下几点：

1） 什么情况下会造成可能的内存泄漏？
 当父类的析构函数不为虚函数，此时有一个父类的指针指向了子类对象，尝试释放掉这个指针所

 占的内存，就可能造成内存的泄漏

 我们先建两个类出来，其中myChild公有继承了myFather

class myFather
{
public:
	 myFather() {cout<<"父亲被创建了"<<"\n";}
	virtual ~myFather() {cout<<"父亲被干掉了"<<"\n";}
};
 
class myChild:public myFather
{
public:
	myChild() {cout<<"儿子被创建了"<<"\n";}
	~myChild() {cout<<"儿子被干掉了"<<"\n";}
};

此时父类的析构函数不为虚函数 

当一个指向了子类对象父类的指针被释放，且父类的析构函数不为析构函数时，就可能造成内存泄漏

 言语有些抽象，测试代码如下：

int main()
{
	myFather* child = new myChild();
	delete child;
	while(1);
	return 0;
}

 结果会造成：只调用了父类的析构函数，而子类的析构函数没有被调用

 很明显，子类的那部分内存没有被释放，内存泄漏也就发生了。

所以正确的用法是，将父类的虚构函数改为：

virtual ~myFather() {cout<<"父亲被干掉了"<<"\n";}
  此时的结果：

 可见，子类和父类的内存都被释放掉了。

2） 为什么构造函数不能是虚函数？
1）虚函数是在运行期间确定实际类型的，而构造函数未构造前不知道确切的类型

2）虚函数的执行依赖于虚函数表，而虚函数表是在构造函数的时候初始化的

总的来说，虚函数的意思就是开启动态绑定，程序会根据对象的动态类型来选择要调用的方法。

然而在构造函数运行的时候，这个对象的动态类型还不完整，没有办法确定它到底是什么类型，

故构造函数不能动态绑定。

这篇博客写得很清楚：http://blog.csdn.net/chen825919148/article/details/8020550（转载）

3） 什么是虚函数表
对于虚函数表，这篇博客写的十分清楚，这这里就不多赘述：
 https://www.cnblogs.com/Ripper-Y/archive/2012/05/15/2501930.html（转载）