C++ 虚析构和纯虚析构

Zinc_Axin

已于 2023-05-16 14:10:30 修改

阅读量292

点赞数 1

分类专栏： C++ 文章标签： c++ 多态内存泄漏

于 2021-08-03 14:59:47 首次发布

本文链接：https://blog.csdn.net/Zinc_Axin/article/details/119331454

版权

C++ 专栏收录该内容

3 篇文章 0 订阅

订阅专栏

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

创建一个名为Animal的父类

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

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

对子类的无参构造函数，有参构造函数，析构函数和Speaking做输出打印，方便后面观察
子类含有一个私有的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;
}

运行结果如下：