多态(4)--虚析构和纯虚析构

1 为什么要使用虚析构（纯虚析构）

下面我们通过一个例子了解一下。

#include <iostream>
#include <string.h>
using namespace std;

// 父类
class Animal
{
public:
    Animal()
    {
        cout << "Animal类的构造" << endl;
    }   
    virtual void speak() = 0;

    ~Animal()
    {   
        cout << "Animal类的析构" << endl;
    }   

    char *m_Name;
};

class Cat : public Animal
{
public:
    // 有参构造
    Cat(char *name)
    {   
        cout << "Cat类的构造" << endl;
        m_Name = new char[64];
        strcpy(m_Name, name);
    }
    
    virtual void speak()
    {   
        cout << "名字为" << m_Name << "的小猫在说话" << endl;
    }
    
    ~Cat()
    {   
        cout << "Cat类的析构" << endl;
        if (m_Name != NULL)
        {   
            delete [] m_Name;
            m_Name = NULL;
        }
    }
};

int main()
{
    char name[] = "Tom";
    Animal *pAnimal = new Cat(name);

    pAnimal->speak();

    delete pAnimal;

    return 0;
}

我们可以从运行结结果中看到，子类Cat的析构函数没有被调用，也就意味着我们在子类的构造函数中申请的一块堆内存没有被释放。这样是很不安全的。

解决方法：通过虚析构或者纯虚析构（将父类的析构函数变为虚析构或者纯虚析构）。

结论：如果子类中有指向堆区的属性，那么要利用虚析构技术，在delete的时候，调用子类的析构函数

2 虚析构

virtual ~类名()
{
	// ...析构实现
}

使用虚析构重新实现上面代码

#include <iostream>
#include <string.h>
using namespace std;

// 父类
class Animal
{
public:
    Animal()
    {
        cout << "Animal类的构造" << endl;
    }   
    virtual void speak() = 0;

	// 虚析构
    virtual ~Animal()
    {   
        cout << "Animal类的析构" << endl;
    }   

    char *m_Name;
};

class Cat : public Animal
{
public:
    // 有参构造
    Cat(char *name)
    {   
        cout << "Cat类的构造" << endl;
        m_Name = new char[64];
        strcpy(m_Name, name);
    }
    
    virtual void speak()
    {   
        cout << "名字为" << m_Name << "的小猫在说话" << endl;
    }
    
    ~Cat()
    {   
        cout << "Cat类的析构" << endl;
        if (m_Name != NULL)
        {   
            delete [] m_Name;
            m_Name = NULL;
        }
    }
};

int main()
{
    char name[] = "Tom";
    Animal *pAnimal = new Cat(name);

    pAnimal->speak();

    delete pAnimal;

    return 0;
}

可以看到结果，已经调用了子类的析构

3 纯虚析构

纯虚析构需要有声明，也需要有实现

如果一个类中 有了纯虚析构函数，那么这个类也属于抽象类，无法实例化对象。

// 类内声明
virtual ~类名() = 0;	

// 类外实现
类名::~类名()
{
	// ...析构实现
}

使用纯虚析构重新实现上面代码

#include <iostream>
#include <string.h>
using namespace std;

// 父类
class Animal
{
public:
    Animal()
    {
        cout << "Animal类的构造" << endl;
    }   
    virtual void speak() = 0;

	// 纯虚析构声明
    virtual ~Animal() = 0;

    char *m_Name;
};
// 纯虚析构实现
Animal::~Animal()
{   
	cout << "Animal类的析构" << endl;
}   

class Cat : public Animal
{
public:
    // 有参构造
    Cat(char *name)
    {   
        cout << "Cat类的构造" << endl;
        m_Name = new char[64];
        strcpy(m_Name, name);
    }
    
    virtual void speak()
    {   
        cout << "名字为" << m_Name << "的小猫在说话" << endl;
    }
    
    ~Cat()
    {   
        cout << "Cat类的析构" << endl;
        if (m_Name != NULL)
        {   
            delete [] m_Name;
            m_Name = NULL;
        }
    }
};

int main()
{
    char name[] = "Tom";
    Animal *pAnimal = new Cat(name);

    pAnimal->speak();

    delete pAnimal;

    return 0;
}

可以看到结果，已经调用了子类的析构