C++如何重写全局new和delete操作符-C++-PHP中文网

c++oding="utf-8" ?>

重写全局operator new和delete必须成对提供，含单对象、数组、对齐版本；均需noexcept，用malloc/free避免递归；禁止依赖未初始化全局对象，确保全生命周期安全。

c++如何重写全局new和delete操作符

重写全局`operator new`和`operator delete`必须成对提供

只重载operator new而不提供对应operator delete，会导致new失败时调用默认delete（可能崩溃或未定义行为），尤其在构造函数抛异常时必踩坑。C++标准要求：每个可抛异常的operator new都应有匹配的operator delete，否则内存泄漏或UB风险极高。

最简可行写法如下：

void* operator new(std::size_t size) noexcept {
    void* ptr = std::malloc(size);
    if (!ptr) throw std::bad_alloc{};
    return ptr;
}
<p>void operator delete(void* ptr) noexcept {
std::free(ptr);
}</p>

noexcept是关键——与系统默认版本签名一致，否则链接失败
必须用std::malloc/std::free而非new/delete，避免递归调用
不要在operator new里直接throw std::bad_alloc；先尝试分配，失败再抛，否则绕过set_new_handler

处理数组版本`operator new[]`和`operator delete[]`不能省略

哪怕你从不写new int[10]，STL容器（如std::vector）内部会调用它们。漏掉数组版本，轻则内存泄漏，重则释放时crash（因为delete[]可能传入错误地址或元数据）。

数组版必须严格对应：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

void* operator new[](std::size_t size) noexcept {
    return operator new(size); // 复用单对象版本即可
}
<p>void operator delete[](void* ptr) noexcept {
operator delete(ptr); // 必须调用单对象delete，不是free！
}</p>

数组new[]返回的指针，delete[]必须交给operator delete[]，不能交给operator delete
但operator delete[]内部可以复用operator delete逻辑——前提是你的operator delete能安全处理任意指针（包括空指针）
别试图在new[]里额外分配长度头信息：C++不保证delete[]会传回原地址，且标准库可能自己管理

带`std::align_val_t`的对齐版本必须显式声明（C++17起）

如果代码用了alignas(64)或new(align_val_t{64})，而你没提供对齐版本，链接器直接报错：undefined reference to operator new(unsigned long, std::align_val_t)。即使没显式用对齐，某些STL实现（如libc++）也会在内部调用它。

补全对齐版本只需加参数：

void* operator new(std::size_t size, std::align_val_t align) noexcept {
    return std::aligned_alloc(static_cast<:size_t>(align), size);
}
<p>void operator delete(void* ptr, std::align_val_t) noexcept {
std::free(ptr);
}</p></:size_t>

std::aligned_alloc要求size是align的整数倍，实际使用中建议向上对齐（如用std::ceil或位运算）
注意operator delete带align_val_t参数时，必须也声明对应版本，否则delete时链接失败
Windows下_aligned_malloc/_aligned_free替代std::aligned_alloc（后者在MSVC 2019前不支持）