为什么基类的析构函数要写成虚函数？

Posted 2020-11-03 rwss

为什么基类的析构函数要写成虚函数？

 答：在实现多态时，当用基类操作派生类，在析构时防止只析构基类而不析构派生类的状况发生。

 

代码说明如下

第一段代码：

 1 #include<iostream>
 2 using namespace std;  
 3   
 4 class ClxBase  
 5 {public:  
 6    ClxBase() {}  
 7    ~ClxBase() {cout << "Output from the destructor of class ClxBase!" << endl}  
 8   
 9    void DoSomething() { cout << "Do something in class ClxBase!" << endl; }  
10 };  
11   
12 class ClxDerived : public ClxBase  
13 {public:   
14    ClxDerived() {}  
15    ~ClxDerived() { cout << "Output from the destructor of class ClxDerived!" << endl}  
16   
17    void DoSomething() { cout << "Do something in class ClxDerived!" << endl; }  
18 };   
19   
20 int main()  
21 {  
22    ClxDerived *p =  new ClxDerived;   
23    p->DoSomething();   
24    delete p;   
25   
26    return 0;   
27 }  

运行结果：

Do something in class ClxDerived!   

Output from the destructor of class ClxDerived!

Output from the destructor of class ClxBase!  

 

这段代码中基类的析构函数不是虚函数,在main函数中用继承类的指针去操作继承类的成员,释放指针P的过程是:先释放继承类的资源,再释放基类资源. 

 

第二段代码：

 1 #include<iostream>
 2 using namespace std;  
 3   
 4 class ClxBase  
 5 {public:   
 6    ClxBase() {}  
 7    ~ClxBase() {cout << "Output from the destructor of class ClxBase!" << endl}  
 8   
 9    void DoSomething() { cout << "Do something in class ClxBase!" << endl}  
10 };  
11   
12 class ClxDerived : public ClxBase  
13 {public:   
14    ClxDerived() {}  
15    ~ClxDerived() { cout << "Output from the destructor of class ClxDerived!" << endl }  
16   
17    void DoSomething() { cout << "Do something in class ClxDerived!" << endl}  
18 };  
19   
20 int main()  
21 {   
22    ClxBase *p =  new ClxDerived;   
23    p->DoSomething();   
24    delete p;   
25   
26    return 0;   
27 }   

输出结果：

Do something in class ClxBase!　

Output from the destructor of class ClxBase!

 

 这段代码中基类的析构函数同样不是虚函数,不同的是在main函数中用基类的指针去操作继承类的成员,释放指针P的过程是:只是释放了基类的资源,而没有调用继承类的析构函数.调用dosomething()函数执行的也是基类定义的函数.

 

 一般情况下,这样的删除只能够删除基类对象,而不能删除子类对象,形成了删除一半形象,造成内存泄漏.

 

 在公有继承中,基类对派生类及其对象的操作,只能影响到那些从基类继承下来的成员.如果想要用基类对非继承成员进行操作,则要把基类的这个函数定义为虚函数.

析构函数自然也应该如此:如果它想析构子类中的重新定义或新的成员及对象,当然也应该声明为虚的. 

 

第三段代码：

 1 #include<iostream>  
 2 using namespace std;  
 3 class ClxBase  
 4 {public:   
 5    ClxBase() {}   
 6    virtual ~ClxBase() {cout << "Output from the destructor of class ClxBase!" << endl}  
 7   
 8    virtual void DoSomething() { cout << "Do something in class ClxBase!" << endl}  
 9 };  
10   
11   
12 class ClxDerived : public ClxBase  
13 {public:   
14    ClxDerived() {}   
15    ~ClxDerived() { cot << "Output from the destructor of class ClxDerived!" << endl}  
16   
17    void DoSomething() { cout << "Do something in class ClxDerived!" << endl}  
18 };  
19   
20 int   main()  
21 {  
22    ClxBase *p = new ClxDerived;  
23    p->DoSomething();   
24    delete p;  
25   
26    return 0;  
27 }  

运行结果：

Do something in class ClxDerived!

Output from the destructor of class ClxDerived!

Output from the destructor of class ClxBase!

 

这段代码中基类的析构函数被定义为虚函数,在main函数中用基类的指针去操作继承类的成员,释放指针P的过程是:只是释放了继承类的资源,再调用基类的析构函数.调用dosomething()函数执行的也是继承类定义的函数.  

 

如果不需要基类对派生类及对象进行操作,则不能定义虚函数,因为这样会增加内存开销.当类里面有定义虚函数的时候,编译器会给类添加一个虚函数表,里面来存放虚函数指针,这样就会增加类的存储空间.所以,只有当一个类被用来作为基类的时候,才把析构函数写成虚函数.

 

 

注：本内容属于借鉴，目的在于相互学习，与大家共同进步