C++中析构函数为何是虚函数

1. 为什么析构函数必须是虚函数？

在C++中，当一个对象被删除时，其析构函数会被调用。如果该对象是一个多态类的对象，如果析构函数不是虚函数，那么只会调用基类的析构函数，而不会调用派生类的析构函数，导致派生类中的资源无法被正常释放，从而导致内存泄漏等问题。因此，为了能够使派生类中的资源得到正常释放，C++中析构函数必须是虚函数。

示例代码：

class Base {
public:
    virtual ~Base() {
        cout << "Base destructor" << endl;
    }
};

class Derived : public Base {
public:
    ~Derived() {
        cout << "Derived destructor" << endl;
    }
};

int main() {
    Base* obj = new Derived;
    delete obj; // 如果Base的析构函数不是虚的，这里将无法调用Derived的析构函数
    return 0;
}

上面的代码定义了一个基类Base和一个派生类Derived，其中，基类Base的析构函数是虚函数。在main函数中，创建了一个Derived对象，并将其赋值给一个指向Base对象的指针。使用delete删除该指针时，由于Base的析构函数是虚的，因此会调用Derived的析构函数，从而成功释放了Derived中的资源。

1. 析构函数为非虚的后果

如果一个多态类的析构函数不是虚函数，则会出现以下问题：

class Base {
public:
    ~Base() {
        cout << "Base destructor" << endl;
    }
};

class Derived : public Base {
public:    
    ~Derived() {
        cout << "Derived destructor" << endl;
    }
};

int main() {
    Base* obj = new Derived;
    delete obj; // 如果Base的析构函数是非虚的，这里将无法调用Derived的析构函数
    return 0;
}

在这个示例代码中，我们将Base类的析构函数设置为非虚函数。此时，虽然从指针类型上看，该对象是一个Derived对象，但由于其指向的是一个Base对象，因此在delete释放时，只会调用Base的析构函数而不会调用Derived的析构函数，从而导致Derived中的资源无法被正常释放，出现内存泄漏等问题。