C++自定义new/delete分全局和类级两层,需严格匹配签名、实现数组版本,placement new不可重载,delete须接受nullptr,对齐与线程安全需手动保障。
在 C++ 中,自定义 new 和 delete 是实现内存管理精细控制的关键能力,适用于内存池、调试追踪、对齐要求、资源绑定等场景。它分为两个层级:全局重载(影响所有类型)和类级重载(仅对该类生效),二者可共存且有明确的调用优先级。
全局版本需在全局作用域定义,替换标准库提供的默认版本。必须严格匹配函数签名,否则不被视为重载,而是链接错误或未定义行为。
void* operator new(std::size_t size) noexcept;void operator delete(void* ptr) noexcept;
new 默认是 noexcept(false),但若抛异常会先调用 operator new 分配失败时的处理逻辑;显式声明 noexcept 可避免异常传播开销。void* operator new[](std::size_t size) noexcept;void operator delete[](void* ptr) noexcept;
否则用 new T[10] 可能调用默认实现,导致与自定义逻辑不一致。new (ptr) T 的 placement 形式是语言内置机制,其 operator new(std::size_t, void*) 是不可替换的内建函数,仅用于就地构造。在类内部声明静态成员函数 operator new 和 operator delete,编译器优先使用类级版本(包括数组和 placement 形式),未定义时才回退到全局版本。
class MyClass {
public:
static void* operator new(std::size_t size);
static void operator delete(void* ptr) noexcept;
};operator new,例如 static void* operator new(std::size_t, std::align_val_t) 或自定义标签类型,配合 new (std::align_val_t{16}) MyClass 使用。new(如含日志 ID),对应 delete 也应声明相同参数列表(即使不使用),否则编译器无法正确配对释放逻辑。自定义内存操作看似简单,实际极易引发未定义行为或隐蔽 bug。
operator new 在分配失败时必须抛出 std::bad_alloc(除非是 noexcept 版本)。返回 nullptr 是严重错误,会导致后续构造函数在空指针上调用,直接崩溃。operator delete 必须能安全接受 nullptr,无需额外判空——这是强制契约。operator new 可能收到 std::align_val_t 参数(如 new(alignof(__m256)) float[8]),你的实现必须按该值对齐返回地址,否则触发 UB。std::mutex)或采用无锁数据结构;类级重载同理。上线前务必验证行为是否符合预期。
__builtin_dump_struct(GCC)或调试器观察对象布局,确认分配地址满足对齐;operator new
中记录调用栈(如 backtrace)、大小、时间戳,输出到日志文件,排查泄漏或碎片;-fno-builtin-new 编译,观察差异,避免误优化干扰。