为什么父类的析构函数要定义为虚函数

在面向对象编程中，析构函数在对象生命周期结束时被调用，用于释放对象所占用的资源。在C++中将父类的析构函数定义为虚函数可以确保在删除指向派生类对象的父类指针时，派生类的析构函数也会被正确调用，从而避免资源泄露和未定义行为。

为什么父类的析构函数要定义为虚函数

1. 多态性和动态绑定

在C++中，通过基类指针或引用访问派生类对象时，如果基类的析构函数不是虚函数，那么在删除基类指针时，只会调用基类的析构函数，而不会调用派生类的析构函数。这可能导致派生类中特有的资源没有被正确释放，从而引发资源泄露。

示例代码：未将基类析构函数定义为虚函数

#include <iostream>

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

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

int main() {
    Base* b = new Derived();
   ![请添加图片描述](https://i-blog.csdnimg.cn/direct/8d53d999088549bb8f5b8878972f6d4d.png)
 delete b; // 只调用了Base的析构函数
    return 0;
}

输出：

在上述代码中，删除指向Derived对象的Base指针时，只调用了Base的析构函数，而没有调用Derived的析构函数，这可能会导致Derived中分配的资源没有被正确释放。

2. 防止资源泄露

为了确保派生类的析构函数在删除基类指针时也能被正确调用，需要将基类的析构函数定义为虚函数。

示例代码：将基类析构函数定义为虚函数

#include <iostream>

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

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

int main() {
    Base* b = new Derived();
    delete b; // 调用了Base和Derived的析构函数
    return 0;
}

输出：

在上述代码中，删除指向Derived对象的Base指针时，会先调用Derived的析构函数，然后再调用Base的析构函数，从而确保所有资源都能被正确释放。

3. 保证正确的析构顺序

当基类析构函数定义为虚函数时，C++会自动确保在删除派生类对象时，先调用派生类的析构函数，再调用基类的析构函数。这种机制保证了析构函数的调用顺序是从派生类到基类，从而确保对象的正确销毁。

示例代码：析构顺序

#include <iostream>

class Base {
public:
    Base() { std::cout << "Base Constructor" << std::endl; }
    virtual ~Base() { std::cout << "Base Destructor" << std::endl; }
};

class Derived : public Base {
public:
    Derived() { std::cout << "Derived Constructor" << std::endl; }
    ~Derived() { std::cout << "Derived Destructor" << std::endl; }
};

int main() {
    Base* b = new Derived();
    delete b; // 调用析构顺序：Derived Destructor -> Base Destructor
    return 0;
}

输出：

在上述代码中，先调用了派生类Derived的析构函数，然后再调用基类Base的析构函数，保证了对象销毁的顺序正确。

结论

在C++中，为了确保多态情况下对象的正确销毁，避免资源泄露和未定义行为，应该将基类的析构函数定义为虚函数。这样可以确保在删除指向派生类对象的基类指针时，能够正确调用派生类的析构函数，从而释放所有资源。