C++继承抽象基类时operator delete/new重写异常问题

首先，咱们来拆解你遇到的这个继承场景下operator delete失效的核心原因：

在C++中，当通过基类指针删除派生类对象时，如果基类拥有虚析构函数，delete操作会遵循两步逻辑：

1. 先调用对象动态类型的析构函数（也就是派生类的析构，这是虚析构带来的多态性）；
2. 接着调用与动态类型对应的operator delete成员函数——如果该类定义了自己的版本就用它；如果没定义，才会尝试调用基类的版本；如果都没有，最后才会调用全局默认的operator delete。

你的代码里，派生类BasicTester确实重载了operator delete，但delete mt;却调用了全局版本，主要有两种可能：

• 派生类的operator delete未被正确链接：比如编译项目时没把BasicTester的实现文件纳入编译，导致编译器找不到它的operator delete定义，只能 fallback 到全局版本。不过你提到mt->test()能正常调用派生类实现，这个可能性比较低。
• 编译器对虚析构后operator delete的匹配逻辑问题：operator delete是静态成员函数，虽然虚析构会触发动态的析构调用，但operator delete的选择依赖编译器对动态类型的识别。如果编译器在这一步没正确关联到派生类的重载版本，就会走全局默认逻辑。

而你显式调用MemTester::operator delete(mt);时，是直接指定了基类的成员函数，所以能正常触发内存池的释放逻辑。

具体解决方案 #

方案1：确保派生类operator delete与基类签名完全一致

虽然你的代码看起来签名一致，但再仔细核对一遍：包括noexcept修饰符、参数类型、返回值都必须完全匹配。比如：

// 基类声明
void operator delete(void* ptr) noexcept;
// 派生类声明必须丝毫不差
void operator delete(void* ptr) noexcept;

有些旧编译器对noexcept的处理可能有差异，确保两边都加上（或者都不加，保持一致）。

方案2：复用基类的内存池逻辑（推荐）

看你的代码，派生类和基类的operator new/delete都是调用同一个MemoryManager，完全没必要重复重载。直接删掉派生类的operator new/delete声明和实现，让派生类继承基类的版本即可。这样delete mt;时，在完成派生类析构后，会自动调用基类的operator delete，完美符合你的需求。

方案3：强制派生类调用基类的operator delete

如果必须保留派生类的重载（比如后续要扩展特殊逻辑），可以在派生类的operator delete里直接调用基类版本：

void BasicTester::operator delete(void* ptr) noexcept {
    // 直接复用基类的内存池释放逻辑
    MemTester::operator delete(ptr);
}

方案4：改用全局operator new/delete重载（替代方案）

如果类级别的重载总是遇到继承相关的问题，可以考虑重载全局的operator new/delete，这样所有类的内存分配都会走你的内存池，彻底避免继承带来的匹配问题。不过这个方案会影响整个项目的所有类，需要根据你的实际需求判断是否适用。

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