C++零碎记录（十四）

24. 纯虚函数和抽象类

① 在多态中，通常父类中虚函数的实现时毫无意义的，主要都是调用子类重写的内容。因此，可以将虚函数改为纯虚函数。

② 纯虚函数语法：virtual 返回值类型 函数名 (参数列表) = 0；

③ 当类中有了纯虚函数，这个类也称为抽象类。

④ 抽象类特点：

1. 无法实例化对象
2. 子类必须重写抽象类中的纯虚函数，否则也属于抽象类。

#include <iostream>
using namespace std;

//纯虚函数和抽象类
class Base
{
public:
    //纯虚函数
    //只要有一个纯虚函数，这个类称为抽象类
    //抽象类特点：
    //1、无法实例化对象
    //2、抽象类的子类 必须要重写父类中的纯虚函数，否则也属于抽象类
    virtual void func() = 0;
};

class Son : public Base
{
public:
    virtual void func()
    {
        cout << "func函数调用" << endl;
     }
};
void test01()
{
    //Base b;   //抽象类是无法实例化对象
    //new Base; //抽象类是无法实例化对象

    //Son s; //子类中必须重写父类中的纯虚函数，否则无法实例化对象

    Base* base = new Son;
    base->func();
}

int main()
{
    test01();

    system("pause");

    return 0;

}

运行结果：

• func函数调用
• 请按任意键继续. . .

25. 虚析构和纯虚析构

① 多态使用时，如果子类中有属性开辟到堆区，那么父类指针在释放时无法调用子类的析构代码。

② 解决方式：将父类中的析构函数改为虚析构或者纯虚析构。

③ 虚析构和纯虚析构共性：

1. 可以解决父类指针释放子类对象
2. 都需要有具体的函数实现

④ 虚析构语法：virtual.类名(){}

⑤ 纯虚析构语法：

1. virtual~类名 = 0；
2. 类名::~类名(){}

⑦ 虚析构或纯虚析构就是用来解决通过父类指针释放子类对象。

⑧ 如果子类中没有堆区数据，可以不写为虚析构或纯虚析构。

⑨ 拥有纯虚析构函数的类也属于抽象类。

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

//纯虚函数和纯虚机构
class Animal 
{
public:
    Animal()
    {
        cout << "Animal构造函数调用" << endl;
    }

    //纯虚函数
    virtual void speak() = 0;

    /*
    //利用虚析构可以解决，父类指针释放子类对象时不干净的问题
    virtual ~Animal()
    {
        cout << "Animal析构函数调用" << endl;
    }
    */

    //纯虚析构 需要声明也需要实现
    //有了纯虚析构之后，这个类也属于抽象类，无法实例化对象
    virtual ~Animal() = 0;
    
};

Animal::~Animal()
{
    cout << "Animal纯虚析构函数调用" << endl;
}


class Cat : public Animal
{
public:
    Cat(string name)
    {
        cout << "Cat构造函数调用" << endl;
        m_Name = new string(name);
    }

    virtual void speak()
    {
        cout << *m_Name << "小猫在说话" << endl;
     }

    ~Cat()
    {
        if (m_Name != NULL)
        {
            cout << "Cat析构函数调用" << endl;
            delete m_Name;
            m_Name = NULL;
        }
    }

    string* m_Name;
};

void test01()
{
    Animal* animal = new Cat("Tom");
    animal->speak();
    //父类指针在析构时候，不会调用子类中析构函数，导致子类如果有堆区属性，出现内存泄露
    delete animal;
}

int main()
{
    test01();

    system("pause");

    return 0;
}

运行结果：

• Animal构造函数调用
• Cat构造函数调用
• Tom小猫在说话
• Cat析构函数调用
• Animal纯虚析构函数调用
• 请按任意键继续. . .

[ 完 ]
链接：https://www.zhihu.com/question/437657370/answer/1692846096