C++ 虚析构和纯虚析构

使用C++多态特性的时候,实际上是父类的指针或者引用指向子类的对象
若子类中有些属性是通过new操作符开辟到堆区的话,之后再通过delete操作符析构父类的对象却无法调用到子类的析构函数,必然存在内存泄漏的隐患。

创建一个名为Animal的父类

  1. 在类里,为构造函数,析构函数以及虚函数分别做输出打印,方便后面观察。
  2. Speaking函数加入virtual关键字是实现多态的必不可少的一个条件(子类要重写父类的虚函数),具体可以参考之前一篇https://mp.csdn.net/mp_blog/creation/editor/115275125

同样创建一个Cat的子类,这个子类继承Animal父类

  1. 对子类的无参构造函数,有参构造函数,析构函数和Speaking做输出打印,方便后面观察
  2. 子类含有一个私有的string型指针,在调用有参构造时对这个string型指针变量赋值,析构函数中对这个string型指针变量释

以上的一个子类一个父类看似好像没有问题,但是试着运行一下就会发现以下的终端输出信息

 

 从输出打印的结果可以看出:

父类的构造函数已经调用,子类的有参构造也已经调用,也可以正常实现多态的效果,Tom猫也有喵喵叫的行为,但是在析构的时候,只有父类的析构函数调用,没有子类的析构函数调用。字符型指针m_PtrStrName没有得到释放,以上的代码必然引起内存泄漏的问题

理论正确的行为应该是:构造函数的调用顺序应该是基类的构造先调用,子类的构造函数后调用,而析构的顺序和构造的顺序正好相反。

也就是说,delete父类的指针,并没有调用到子类的析构函数,解决的办法就是把父类的析构函数变为虚析构或者纯虚析构。

修改后的正确代码如下:

#include <iostream>
#include <string>

using namespace std;

class Animal
{
public:
    Animal()
    {
        cout << "Animal:: Construct involved" << endl;
    }

    virtual ~Animal()
    {
        cout << "Animal:: Deconstruct involved" << endl;
    }

    void virtual Speaking()
    {
        cout << "Animal::Speaking() involved" << endl;
    }
};

class Cat : public Animal
{
public:
    Cat()
    {
        cout << "Cat:: Default Construct involved" << endl;
    }

    Cat(string name)
    {
        cout << "Cat:: Parameter Construct involved" << endl;
        m_PtrStrName = new string(name);
    }

    ~Cat()
    {
        cout << "Cat:: Deconstruct involved" << endl;
        if (NULL != m_PtrStrName)
        {
            delete m_PtrStrName;
            m_PtrStrName = NULL;
        }
    }

    void Speaking()
    {        
        cout << "Now, " << *m_PtrStrName << " is Speaking." << endl;
    }

private:
    string* m_PtrStrName;
};

void test01()
{
    Animal* myAnimal = new Cat("Tom");
    myAnimal->Speaking();
    if (NULL != myAnimal)
    {
        delete myAnimal;
        myAnimal = NULL;
    }
}

int main()
{
    test01();
    system("pause");
    return 0;
}

运行结果如下:

可以看见加上关键字virtual,让父类的析构函数变成虚析构以后,释放父类的指针后,也会调用到子类的析构函数,而且满足析构的顺序和构造相反。

纯析构也同样可以解决以上问题,但是要做部分的修改:

  1. 虚析构和纯虚析构只要一个就可以了,修改之前的虚析构函数实现,变成纯析构的声明
  2. 纯虚析构一定要有具体实现部分,不然链接时会报错误。本例中仅仅只有一个输出打印,可以根据实际遇到的问题具体写实现内容

利用虚析构或者纯虚析构可以解决父类指针释放子类对象不干净的问题,但是这两种析构都要有具体实现。

区别在于:一个类如果包含一个纯虚析构,那么这个类也属于抽象类,无法实例化该对象。

虚析构的语法:

virtual ~ClassName() {  }

纯虚析构的语法:

virtual ~ClassName() {  } = 0;

  • 1
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
引用\[1\]中提到,当子类中有属性开辟到堆区时,父类指针在释放时无法调用到子类的析构代码,导致子类中的堆区资源无法释放。为了解决这个问题,可以将父类中的析构函数改为析构或者纯虚析构析构纯虚析构的共性是可以解决父类指针释放子类对象时需要有具体的函数实现。 析构函数的定义如下: ```cpp class Animal { public: virtual ~Animal() { // 析构函数的具体实现 } }; ``` 纯虚析构函数的定义如下: ```cpp class Animal { public: virtual ~Animal() = 0; }; Animal::~Animal() { // 纯虚析构函数的具体实现 } ``` 引用\[3\]中给出了具体的代码实例,其中Animal类中的析构函数被定义为纯虚析构函数,而Cat类继承自Animal类并实现了具体的析构函数。这样,在使用父类指针释放子类对象时,会调用子类的析构函数,从而正确释放子类中的资源。 总结起来,析构函数和纯虚析构函数都可以解决父类指针释放子类对象时资源无法释放的问题。析构函数需要有具体的实现,而纯虚析构函数需要在父类中声明并在父类外部实现。 #### 引用[.reference_title] - *1* *2* [12.7.6 析构纯虚析构](https://blog.csdn.net/qq_32513033/article/details/107300809)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v91^control_2,239^v3^insert_chatgpt"}} ] [.reference_item] - *3* [C++析构纯虚析构的区别](https://blog.csdn.net/qq_51654808/article/details/124513776)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v91^control_2,239^v3^insert_chatgpt"}} ] [.reference_item] [ .reference_list ]
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值