基类无虚析构函数时删除指向派生类对象的基类指针的方法及疑问解答

我来一步步拆解你的问题：

1. 直接删除基类指针指向的派生类对象可行吗？ #

绝对不行，这会触发未定义行为。当基类没有虚析构函数时，编译器处理delete obj（obj为基类指针）时，只会调用基类的析构函数，完全不会触发派生类的析构逻辑。这意味着派生类对象中分配的资源（比如堆内存、打开的文件句柄等）会无法释放，最终导致内存泄漏或资源泄漏。

你看到的警告delete called on object which is abstract but has non-virtual destructor就是编译器在强烈提示这个严重问题——抽象类作为接口被广泛用于多态场景，这种写法几乎必然会引发资源泄漏。

2. 用delete dynamic_cast<DerivedClass *>(obj);可行吗？ #

分两种情况判断：

• 如果你的基类至少有一个虚函数（比如它是抽象类，本身就包含纯虚函数），dynamic_cast可以正常工作：只要obj确实指向DerivedClass对象，转换会成功得到有效的派生类指针，此时delete该指针会正确调用派生类和基类的析构函数，是安全的。如果转换失败（比如obj指向其他派生类对象），会返回nullptr，而delete nullptr是C++标准明确允许的安全操作。
• 如果基类没有任何虚函数，dynamic_cast根本无法通过编译——因为RTTI（运行时类型信息）依赖虚函数表，没有虚函数的类不会生成RTTI信息，编译器会直接报错。

不过这种写法有个前提：你必须确定obj的实际类型是DerivedClass，否则转换失败虽然不会崩溃，但也无法正确销毁对象。

3. 不添加虚析构函数的可行方案 #

如果因为某些限制不能给基类添加虚析构函数，这里有几个替代方案：

方案一：使用带自定义删除器的智能指针 #

用std::unique_ptr或std::shared_ptr，在创建对象时指定一个能正确销毁派生类对象的删除器。示例代码：

#include <memory>

// 假设BaseClass无虚析构，DerivedClass是其派生类
std::unique_ptr<BaseClass, void(*)(BaseClass*)> obj(
    new DerivedClass(),
    [](BaseClass* p) { delete static_cast<DerivedClass*>(p); }
);

当智能指针生命周期结束时，会自动调用传入的lambda函数，将基类指针转换为派生类指针后再删除，确保触发派生类的析构函数。

方案二：提供专门的销毁函数 #

在基类中实现一个模板化的销毁函数，要求调用者明确指定派生类类型：

class BaseClass {
public:
    template<typename Derived>
    static void destroy(BaseClass* p) {
        delete static_cast<Derived*>(p);
    }
    // ... 其他成员
};

// 使用方式
BaseClass* obj = new DerivedClass();
BaseClass::destroy<DerivedClass>(obj);

这种方式需要调用者清楚对象的实际类型，但能保证销毁逻辑的正确性。

方案三：避免用基类指针持有派生类对象 #

如果业务场景允许，尽量直接用派生类指针或对象操作，从根源上避免这个问题。如果必须用到多态，添加虚析构函数其实是最规范、最不容易出错的方案——毕竟C++标准设计虚析构就是为了解决多态对象的销毁问题。

内容的提问来源于stack exchange，提问作者mtm