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