C++ virtual

 

 
什么是虚函数:
　　虚函数是指一个类中你希望重载的成员函数 ，当你用一个  基类指针或引用   指向一个继承类对象的时候，调用一个虚函数时, 实际调用的是继承类的版本。
看下案例:
#include <iostream>  
using namespace std;  
class father  
{  
public:  
    father():a(50){;}  
    ~father(){cout<<"父亲的析构函数"<<endl;}  
    int a;  
};  
class son:public father  
{  
public:  
    son():b(50){;}  
    ~son(){cout<<"儿子的析构函数"<<endl;}  
    int b;  
};  
void main()  
{  
    father *p = new son;  
    delete p;  
}

在main函数中如上代码所示，我们用一个父指针指向子类对象，然后用delete释放掉。这样会造成内存泄露吗？书上说，由于父指针指向了子对象，如果父类析构函数不声明为虚函数，那么，delete时，只会调用父类析构函数，不会调用子类析构函数。那么，可能造成内存泄露。上面的代码编译运行后发现，确实，子类析构函数并没有被调用。但会不会造成内存泄露呢？实践是检验真理的唯一标准，我把main函数里的代码改为：

[cpp]  view plain  copy

 

 

system("pause");  
father *p = new son[1000000];  
delete []p;  
system("pause"); 

 

运行发现，内存并没有泄露。那为什么书上说可能泄露呢，注意，“可能！”。我把代码改为：

#include <iostream>  
using namespace std;  
class father  
{  
public:  
    father():a(50){;}  
    ~father(){;}  
    int a;  
};  
class son:public father  
{  
public:  
    son(){b=new int(50);}  
    ~son(){delete b;}  
    int *b;  
};  
  
void main()  
{  
    system("pause");  
    father *p = new son[1000000];  
    delete []p;  
    system("pause");  
}

运行后发现，内存泄露了！为什么呢？注意我们在子类构造函数了new了一个int，本来我们需要用子类析构函数来delete的，但是由于main函数里delete []p时只调用了父类析构函数，没有调用子类析构函数，所以子类析构函数里的delete没有执行，就内存泄露了。我们把上面代码改一改，在父类析构函数前加个virtual声明为虚函数。

[cpp]  view plain  copy

 

 

 

#include <iostream>  
using namespace std;  
class father  
{  
public:  
    father():a(50){;}  
    virtual ~father(){;}  
    int a;  
};  
class son:public father  
{  
public:  
    son(){b=new int(50);}  
    ~son(){delete b;}  
    int *b;  
};  
  
void main()  
{     
    system("pause");  
    father *p = new son[1000000];  
    delete []p;  
    system("pause");  
}  

运行发现，并没有发生内存泄露！原来是这样，书上说的可能发生内存泄露，“可能”，注意是“可能”。当子类析构函数里有delete时，由于析构函数不是虚函数，main函数里的父指针指向的是子类对象，delete父指针时只调用了父类析构函数而没有调用子类析构函数，子类析构函数中的delete没有被执行，所以就内存泄露了。但析构函数声明为虚函数后，delete父指针时，既调用了子类析构函数也调用了父类析构函数。子类析构函数中的delete被执行，就没有发生内存泄露。

即简单总结一下：没有虚函数的话，子类实现同名方法或析构函数时，系统将会把调用指针指向父类，有了虚函数实现便可以将基类与派生类的同名或者析构函数方法区分开，实现多态。即虚函数的动态选择。

 所以也提醒只要是父类，那么尽量都写下析构函数，并且加上virtual，这样尽量不让子类的析构函数delete失败，造成内存泄漏。