C++派生类重载operator delete失效问题咨询

嘿，这个问题我之前排查过类似的情况，核心问题出在多态对象的delete行为不匹配上，咱们一步步拆解原因和解决办法：

最可能的根源：基类Base没有虚析构函数 #

你定义的Base是抽象基类，但完全没声明虚析构函数——这是C++多态编程里的大忌！当你通过Base*指针delete一个实际是Derived类型的对象时，这属于未定义行为。

为什么这会导致调用默认的operator delete？因为当析构函数不是虚函数时，delete操作只会根据指针的静态类型（也就是Base*）来执行，但由于对象实际是Derived，内存布局不匹配，编译器可能跳过调用Base的自定义operator delete，直接调用全局默认版本。结果就是用tc_malloc分配的内存被标准库的默认释放函数处理，自然会抛出异常。

第二个可能：派生类隐藏了基类的operator delete #

如果Derived或者继承链里的某个中间类，显式（比如自己写了operator delete）或隐式（比如定义了自定义析构函数，编译器自动生成了默认的operator delete）声明了自己的operator delete，那么基类的版本会被隐藏。这时候哪怕你用Derived*指针delete，调用的也是派生类的operator delete，而不是Base的。

怎么解决？ #

第一步：给Base加虚析构函数 #

作为抽象基类，虚析构函数是必须的——它不仅能保证派生类对象被正确析构，还能让operator delete按照对象的动态类型被正确调用。修改后的Base应该是这样：

class Base abstract {
public:
    virtual ~Base() = default; // 虚析构函数，搞定多态delete的核心问题
    void* operator new(size_t sz) { return tc_malloc(sz); }
    void operator delete(void* p){ tc_free(p); }
};

加了虚析构后，delete Base*指向的Derived对象时，会先调用Derived的析构函数（如果有的话），然后自动匹配到Base的operator delete（如果派生类没自己重载的话），用tc_free释放内存，完美避免异常。

第二步：确保派生类继承基类的分配器函数 #

如果派生类不小心隐藏了基类的operator new/delete，可以显式用using声明继承：

class Derived : public IntermediateBase {
public:
    // 显式继承基类的分配器函数，防止被隐藏
    using Base::operator new;
    using Base::operator delete;
    // ... 你的其他成员代码
};

这样就能强制派生类使用Base的自定义分配器，不会跑偏。

额外小检查：确认指针类型 #

如果你的a是Derived*类型（而不是Base*），那即使没有虚析构函数，delete a的行为是定义的——这时候如果还出问题，那肯定是派生类隐藏了基类的operator delete，用上面的using声明就能解决。

总结 #

90%的概率是基类没加虚析构函数导致的未定义行为，补上虚析构，再确保派生类没隐藏基类的分配器函数，这个内存释放异常就能解决啦。

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