在C++中，虚拟析构函数的使用通常涉及到在基类中声明虚拟析构函数，以便在派生类对象被删除时正确调用析构函数。以下是何时使用虚拟析构函数的详细解释以及相关的基础应用和高级应用。

1. 何时使用虚拟析构函数？

使用虚拟析构函数的情况通常涉及到基类指针指向派生类对象，并在释放这些对象时需要正确调用派生类的析构函数。如果基类的析构函数不是虚拟的，当通过基类指针删除派生类对象时，只会调用基类的析构函数，而不会调用派生类的析构函数，导致资源泄漏和未定义行为。

2. 好处

使用虚拟析构函数的好处在于确保正确的析构函数被调用，从而释放派生类特有的资源。这是实现多态性和正确资源管理的关键。

3. 基础应用

#include <iostream>

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

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

int main() {
    Base* obj = new Derived();
    delete obj; // 虚拟析构函数确保调用Derived类的析构函数
    return 0;
}

在这个例子中，基类 Base 声明了虚拟析构函数，派生类 Derived 重写了该虚拟析构函数。在 main 函数中，我们使用基类指针指向派生类对象，当通过基类指针删除对象时，虚拟析构函数确保调用派生类的析构函数。

4. 高级应用

高级应用可能涉及使用纯虚拟析构函数，这将使基类成为抽象类，无法实例化对象。这样的设计通常用于接口定义。

#include <iostream>

class AbstractBase {
public:
    virtual ~AbstractBase() = 0; // 纯虚拟析构函数
    virtual void someFunction() const = 0;
};

AbstractBase::~AbstractBase() {
    std::cout << "AbstractBase Destructor" << std::endl;
}

class ConcreteDerived : public AbstractBase {
public:
    ~ConcreteDerived() override {
        std::cout << "ConcreteDerived Destructor" << std::endl;
    }

    void someFunction() const override {
        std::cout << "ConcreteDerived someFunction" << std::endl;
    }
};

int main() {
    AbstractBase* obj = new ConcreteDerived();
    obj->someFunction();
    delete obj; // 虚拟析构函数确保调用ConcreteDerived类的析构函数
    return 0;
}

在这个例子中，AbstractBase 类声明了纯虚拟析构函数，使它成为抽象类。ConcreteDerived 类继承自 AbstractBase，并提供了具体的实现。通过基类指针调用派生类的成员函数，并通过虚拟析构函数确保正确释放资源。

这些例子演示了虚拟析构函数在继承层次结构中的基础应用和高级应用，确保正确调用析构函数，实现多态性和资源管理。