C++的多态性在析构函数上也同样适用,看下面例子;
class A{
public:
A(){cout<<"A()"<<endl;};
~A(){cout<<"~A()"<<endl;};
};
class B:public A{
public:
B(){cout<<"B()"<<endl;};
~B(){cout<<"~B()"<<endl;};
};
int main(){
A* p = new B();
delete p;
system("pause");
}
输出:A()
B()
~A()
基类的指针p可以指向子类,当删除p时,如果基类的析构函数不是虚函数的话,就不能构成多态性,就会执行父类的析构函数。
在看下面例子;
class A{
public:
A(){cout<<"A()"<<endl;};
virtual ~A(){cout<<"~A()"<<endl;};
};
class B:public A{
public:
B(){cout<<"B()"<<endl;};
~B(){cout<<"~B()"<<endl;};
};
int main(){
A* p = new B();
delete p;
system("pause");
}
输出:A()
B()
~B()
~A()
基类的析构函数为虚函数,因此再删除P的时候会根据动态绑定,删除P所指的对象。
在看下面例子;
class A{
public:
A(){cout<<"A()"<<endl;};
virtual ~A(){cout<<"~A()"<<endl;};
};
class B:public A{
public:
B(){cout<<"B()"<<endl;};
~B(){cout<<"~B()"<<endl;};
};
class C:public B{
public:
C(){cout<<"C()"<<endl;};
~C(){cout<<"~C()"<<endl;};
};
int main(){
A* p = new C();
delete p;
system("pause");
}
输出:
输出:A()
B()
C()
~C()
~B()
~A()
再添加一个B的子类C,只要根类A的析构函数设置为虚函数,A的所有子类的析构函数都为虚函数,他们前面就不必再加virtual关键字。
综上所述:析构函数前添加virtual,必须要在最最根上的基类的析构函数前添加,不能再B类或C类的析构函数前添加,只要A类的析构函数添加了virtual,从A类派生的类都不必在自己的析构函数前添加virtual了。
所以如果没有虚析构函数的话, 那么子类中特有的部分就不会被释放, 造成"经典"的释放一半, 泄露一半的内存泄露.