抽象基类和纯虚函数、虚析构函数、纯虚析构函数

抽象基类和纯虚函数

在设计时，常常希望基类仅仅作为其派生类的一个接口。这就是说，仅想对基类进行向上类型转换，使用它的接口，而不希望用户实际的创建一个基类的对象。

纯虚函数(pure virtual function),使得基类称为抽象类(abstract class). 纯虚函数使用关键字 virtual，并在其后面加上=0。如果试图去实例化一个抽象类，编译器则会阻止这种操作。 当继承一个抽象类的时候，必须实现所有的纯虚函数，否则由抽象类派生的类也是一个抽象类。

class AbstractDrinking{
public:
//烧水
virtual void Boil() = 0;
//冲泡
virtual void Brew() = 0;
//倒入杯中
virtual void PourInCup() = 0;
//加入辅料
virtual void PutSomething() = 0;
//规定流程
void MakeDrink(){
this->Boil();
Brew();
PourInCup();
PutSomething();
}
};

c++中没有接口的概念，但是可以通过纯虚函数实现接口。

虚析构函数

虚析构函数作用：虚析构函数是为了解决基类的指针指向派生类对象，并用基类的指针删除派生类对象
这是因为如果基类的析构函数不是虚函数，那么当使用基类的指针删除派生类对象时，只会调用基类的析构函数，而不会调用派生类的析构函数，这可能导致资源泄露或未定义行为。

#include <bits/stdc++.h>
#include <stdio.h>
#include <string.h>
#include <iostream>
using namespace std;

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

    virtual void Eat()
    {
        cout << "Animal eating" << endl;
    }

    virtual void showName() = 0;
    virtual ~Animal()
    {
        cout << "~Animal" << endl;
    }
};


class Dog: public Animal
{
public:
    Dog()
    {
        cout << "Dog()" << endl;
        pName = new char[10];
    }

    virtual void Eat()
    {
        cout << "Dog eating" << endl;
    }

    virtual void showName()
    {
        cout << "showName()" << endl;
    }

    ~Dog()
    {
        cout << "~Dog()" << endl;
        if(pName != NULL)
            delete pName;
    }
    
private:
    char *pName;

};

void Eating(Animal &ob)
{
    ob.Eat();
}

void test1()
{
    Animal *p = new Dog;
    p->~Animal();
}


int main(){
    test1();


    system("pause");
    return 0;
} 

   Animal *p = new Dog;
   p->Dog();

test1()中调用p->Dog();报以下错误。

纯虚析构函数

纯虚析构函数在 c++中是合法的，但是在使用的时候有一个额外的限制：必须为纯虚析构函数提供一个函数体。 那么问题是：如果给虚析构函数提供函数体了，那怎么还能称作纯虚析构函数呢？ 纯虚析构函数和非纯析构函数之间唯一的不同之处在于纯虚析构函数使得基类是抽象类，不能创建基类的对象。

//非纯虚析构函数
class A{
public:
virtual ~A();
};
A::~A(){}
//纯析构函数
class B{
public:
virtual ~B() = 0;
};
B::~B(){}  //系统会自动调用父类析构函数，所以必须在外界要实现析构函数
void test(){
A a; //A 类不是抽象类，可以实例化对象
B b; //B 类是抽象类，不可以实例化对象
}

如果类的目的不是为了实现多态，作为基类来使用，就不要声明虚析构函数，反之，则应该为类声明虚析构函数。