C++：多态-虚析构和纯虚析构

虚析构

“虚析构”通常指的是在 C++ 中的虚析构函数（virtual destructor）。虚析构函数是一个在基类中声明为虚函数的析构函数。它在派生类中可以被重写，并且当通过基类指针删除派生类对象时，可以确保派生类的析构函数被正确调用。

示例：

class Base {
public:
    virtual ~Base() { // 虚析构函数
        // 执行基类析构逻辑
    }
};
​
class Derived : public Base {
public:
    ~Derived() { // 派生类析构函数
        // 执行派生类析构逻辑
    }
};
​
int main() {
    Base* ptr = new Derived();
    delete ptr; // 通过基类指针删除派生类对象
    return 0;
}

在这个例子中，当基类指针 ptr 指向一个派生类对象时，如果基类的析构函数不是虚函数，那么只会调用基类的析构函数而不会调用派生类的析构函数，这可能导致资源泄漏。但是，由于基类的析构函数是虚函数，因此在删除派生类对象时，会首先调用派生类的析构函数，然后再调用基类的析构函数，确保释放了所有的资源。

虚析构函数在面向对象设计中很常见，特别是当使用继承和多态时，它可以确保在销毁派生类对象时正确调用派生类的析构函数。

纯虚析构

纯虚析构函数（pure virtual destructor）是一个纯虚函数，它在基类中声明为纯虚函数，并且在派生类中必须被重写。纯虚析构函数的存在是为了将基类定义为抽象类，即不能实例化的类，但可以作为其他类的基类。

class Base {
public:
    virtual ~Base() = 0; // 纯虚析构函数
};
​
Base::~Base() {
    // 此处可以提供默认的实现，也可以留空
}
​
class Derived : public Base {
public:
    ~Derived() { // 派生类析构函数
        // 执行派生类析构逻辑
    }
};
​
int main() {
    // Base 类是抽象类，不能实例化
    // Base obj; // 编译错误
​
    Derived obj; // 派生类对象可以实例化
    return 0;
}

在这个例子中，Base 类中声明了一个纯虚析构函数 ~Base() = 0;，这意味着 Base 类是一个抽象类，不能被实例化。派生类 Derived 继承了 Base 类，并实现了纯虚析构函数的析构逻辑。

纯虚析构函数主要用于接口设计，它们确保了派生类必须实现自己的析构函数，同时也能够确保基类不能被实例化。