什么是虚析构函数？

在 C++ 中，虚析构函数（virtual destructor）是用来确保在使用多态对象时正确调用析构函数的机制。虚析构函数在继承关系中非常重要，尤其是在处理通过基类指针或引用指向派生类对象的情况下。

虚析构函数的作用

当你有一个基类指针指向派生类对象，并通过该指针删除对象时，如果基类的析构函数不是虚函数，可能会导致未定义行为。这是因为编译器会调用基类的析构函数，而不是派生类的析构函数，这可能导致派生类特有的资源没有被正确释放。

#include <iostream>

class Animal {
public:
    // 将析构函数定义为虚函数
    virtual ~Animal() {
        std::cout << "Animal Destructor" << std::endl;
    }
    
    virtual void makeSound() const {
        std::cout << "Some generic animal sound" << std::endl;
    }
};

class Cat : public Animal {
public:
    ~Cat() {
        std::cout << "Cat Destructor" << std::endl;
    }
    
    void makeSound() const override {
        std::cout << "Meow" << std::endl;
    }
};

class Dog : public Animal {
public:
    ~Dog() {
        std::cout << "Dog Destructor" << std::endl;
    }
    
    void makeSound() const override {
        std::cout << "Woof" << std::endl;
    }
};


int main() {
    Animal* animal1 = new Cat();
    Animal* animal2 = new Dog();
    
    animal1->makeSound(); // 输出 "Meow"
    animal2->makeSound(); // 输出 "Woof"
    
    delete animal1; // 正确调用 Cat 的析构函数，然后调用 Animal 的析构函数
    delete animal2; // 正确调用 Dog 的析构函数，然后调用 Animal 的析构函数

    return 0;
}

代码解释

1. 多态行为：Animal 类的析构函数被定义为虚函数。这意味着当通过 Animal* 类型的指针删除对象时，程序会检查实际对象的类型，并调用派生类的析构函数。

2. 析构函数调用顺序：当 delete animal1 被调用时，由于 animal1 实际上指向一个 Cat 对象，程序会先调用 Cat 的析构函数，然后调用 Animal 的析构函数。这确保了 Cat 对象的资源被正确释放。同样地，delete animal2 会先调用 Dog 的析构函数，再调用 Animal 的析构函数。

3. 避免资源泄漏：如果 Animal 的析构函数不是虚函数，delete animal1 和 delete animal2 只会调用 Animal 的析构函数，而不会调用 Cat 和 Dog 的析构函数。这可能导致 Cat 和 Dog 的特定资源没有被释放，从而导致内存泄漏。

通过将基类的析构函数声明为虚函数，可以确保在通过基类指针删除对象时，派生类的析构函数能够正确执行。这是使用多态时的重要设计模式。