在学习windows的时候,顺带复习下虚函数和虚函数表的知识
一、虚析构函数的必要性
我们常将一个基类的析构函数定义为虚函数,这样可以防止可能的内存泄漏,其中要点有以下几点:
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(转载)