C++虚析构函数的作用？

C++虚析构函数的作用是允许在使用继承和多态性的情况下正确地销毁对象。当基类指针指向派生类对象时，如果基类的析构函数不是虚函数，那么当删除基类指针时，只会调用基类的析构函数，而不会调用派生类的析构函数。这可能导致资源泄漏或未定义的行为。

通过将基类的析构函数声明为虚函数，即在基类中使用虚析构函数，可以确保当通过基类指针删除对象时，会调用正确的派生类析构函数。这样可以保证在继承层次结构中的每个类都能被正确地销毁，释放其所拥有的资源，从而避免内存泄漏和行为未定义的情况。

假设我们有一个简单的继承层次结构，包括一个基类 Shape 和两个派生类 Circle 和 Rectangle。每个类都管理自己的资源，比如在 Circle 类中管理圆形的属性，而在 Rectangle 类中管理矩形的属性。让我们来看看如何使用虚析构函数确保正确地销毁对象。

#include <iostream>

// 基类 Shape
class Shape {
public:
    // 虚析构函数
    virtual ~Shape() {
        std::cout << "Shape 析构函数被调用" << std::endl;
    }
    
    // 纯虚函数，使得 Shape 成为抽象类
    virtual void draw() const = 0;
};

// 派生类 Circle
class Circle : public Shape {
private:
    double radius;
public:
    Circle(double r) : radius(r) {}
    
    // 实现基类的纯虚函数
    void draw() const override {
        std::cout << "绘制一个圆形" << std::endl;
    }
    
    // Circle 类的析构函数
    ~Circle() override {
        std::cout << "Circle 析构函数被调用" << std::endl;
    }
};

// 派生类 Rectangle
class Rectangle : public Shape {
private:
    double width;
    double height;
public:
    Rectangle(double w, double h) : width(w), height(h) {}
    
    // 实现基类的纯虚函数
    void draw() const override {
        std::cout << "绘制一个矩形" << std::endl;
    }
    
    // Rectangle 类的析构函数
    ~Rectangle() override {
        std::cout << "Rectangle 析构函数被调用" << std::endl;
    }
};

int main() {
    Shape* shape1 = new Circle(5.0);
    Shape* shape2 = new Rectangle(4.0, 6.0);

    // 使用基类指针调用虚函数
    shape1->draw();
    shape2->draw();

    // 释放对象的内存
    delete shape1;
    delete shape2;

    return 0;
}

在这个例子中，Shape 类有一个虚析构函数，确保在删除基类指针时会调用正确的派生类析构函数。这样，在删除 shape1 和 shape2 指向的对象时，会分别调用 Circle 和 Rectangle 的析构函数，释放它们所分配的资源。