原因:基类对象的指针操作派生类对象时,防止析构函数只调用基类的,而不调用派生类的


下面详细说明:


//基类

class A{
public :
A(){ cout<<"A构造函数"<<endl; }
~A(){cout<<"A被销毁了"<<endl;}
void Do(){
cout<<"A要做点什么"<<endl;
}
};
//派生类

class B :public A{
public :
B(){ cout<<"B构造函数"<<endl;}
~B(){ cout<<"B被销毁了"<<endl;}
void Do(){ cout<<"B要做点什么"<<endl;}
};


(1)派生类 指针=new 派生类;

         B      *p   =new B;      那么就会执行基类构造函数,派生类构造函数

         p->Do();   通过派生类指针可以调用派生类的成员函数

         delete p;     先调用派生类析构函数,在调用基类构造函数


基类指针释放派生类对象方法_构造函数 派生类指针操作派生类成员函数


(2)派生类 指针=new 基类;  会出错,基类指针不能转换成派生类指针


(3)基类 指针 = new 派生类;  (派生类指针转化成基类指针)

       A    *p    = new B;     依旧要先调用基类构造函数,再派生类构造函数

       p ->Do();    通过基类指针调用基类成员函数,此处只能调用基类里面有的成员函数,当调用派生类中成员函数会提示基类中并没有这个成员

       delete p;      这里只会调用基类的析构函数,所以内存释放并不完全

基类指针释放派生类对象方法_构造函数 派生类指针转换成基类指针



(4)上面(3)知道了这样影响了内存的释放完整程度,所以我们通过引入虚函数机制,将基类的析构函数定义成虚函数


//基类

class A{
public :
A(){ cout<<"A构造函数"<<endl; }
virtual ~A(){cout<<"A被销毁了"<<endl;}
void Do(){
cout<<"A要做点什么"<<endl;
}
};
//派生类

class B :public A{
public :
B(){ cout<<"B构造函数"<<endl;}
~B(){ cout<<"B被销毁了"<<endl;}
void Do(){ cout<<"B要做点什么"<<endl;}
};


然后 delete p;就会释放派生类,释放基类

基类指针释放派生类对象方法_构造函数 析构函数变成了虚函数,发现可以正常释放内存



总结:引入虚函数后,因为基类对象的指针可以指向派生类的对象(多态性),所以如果删除指针delete p,那么就会调用派生类得析构函数,但是派生类的析构函数就会调用基类的析构函数,这样整个派生类的对象完全被释放。但是如果不被声明成虚函数,那么删除指针时,只会调用基类的析构函数,而不会调用派生类的析构函数,这样释放对象就只释放不完全,所以把析构函数定义成虚函数是十分必要的。


还有派生类指针转换成基类指针的时候,调用同名成员函数的时候,一定要调用基类的成员函数,因为此时基类的成员函数覆盖了派生类的同名成员函数。这时也需要引入虚函数来实现多态,就可以调用派生类的成员函数了