C++ 的 new 操作符在动态内存分配中扮演着核心角色，但默认的内存分配器未必适合所有场景。通过重载 new 操作符，开发者可以从底层控制对象的创建过程，实现内存池、对齐分配、调试跟踪等高级功能。值得注意的是，我们真正重载的对象并不是“new 表达式”本身，而是被称作 operator new 的内存分配函数。new 表达式在执行时，先调用 operator new 分配原始内存，再调用构造函数完成对象初始化。理解了这一区别，才能正确重载并灵活运用自定义分配策略。
全局 new 和 delete 的重载
当我们需要在整个程序中改变内存分配行为时，可以重载全局的 operator new 和 operator delete。这种重载会影响所有通过 new 表达式创建的对象，包括内置类型和自定义类。标准要求 operator new 接受一个 size_t 类型的参数表示请求的字节数，并返回一个指向已分配内存的指针。如果分配失败，应抛出 std::bad_alloc 异常，除非显式声明为 noexcept 并提供空指针返回机制。
下面是一个简单的全局重载示例，它使用 malloc 实现分配，并增添了日志输出以跟踪每次分配的大小和地址：
#include <cstdlib>
#include <iostream>
void* operator new(std::size_t size) {
void* ptr = std::malloc(size);
if (!ptr) {
throw std::bad_alloc();
}
std::cout << "Allocated " << size << " bytes at " << ptr << 'n';
return ptr;
}
void operator delete(void* ptr) noexcept {
std::cout << "Freeing memory at " << ptr << 'n';
std::free(ptr);
}
// 同时重载数组版本
void* operator new[](std::size_t size) {
void* ptr = std::malloc(size);
if (!ptr) throw std::bad_alloc();
std::cout << "Array allocated: " << size << " bytesn";
return ptr;
}
void operator delete[](void* ptr) noexcept {
std::cout << "Array freedn";
std::free(ptr);
}
重载全局 new/delete 时必须成对提供，并且要保证 delete 与 new 使用的是同种分配机制。这里的示例简单地封装了 C 标准库函数，在实际项目中可以替换为内存池、mmap 或其他自定义策略。另外，C++17 引入了带对齐要求的 operator new 版本（如 operator new(std::size_t, std::align_val_t)），如果你的程序需要特化对齐分配，也应一并重载对应的 delete 版本，否则可能导致运行时崩溃。对于带有 nothrow 标记的 new 表达式，可重载 operator new(std::size_t, const std::nothrow_t&) 并在分配失败时返回 nullptr，而不是抛出异常。
全局重载虽然强大，但也会影响所有依赖 new 的代码，包括标准库内部。因此，这种重载通常用于调试或特殊性能要求工程，必须仔细评估其对整体程序的影响，避免与第三方库发生冲突。
类专属的 new/delete 重载
很多时候我们只需要为某个类定制内存管理，例如对频繁创建和销毁的小对象使用内存池，或者保证对象分配在特定物理内存区域上。此时可以使用类专属的 operator new 和 operator delete，它们是类的静态成员函数，即使不加 static 关键字，编译器也会将其当作静态函数处理。
以下是一个简单的内存池实现，通过预分配一块连续内存来管理小型对象的创建和销毁：
#include <cstddef>
#include <new>
class SmallObject {
private:
static constexpr std::size_t POOL_SIZE = 1024;
static char pool[POOL_SIZE];
static std::size_t offset;
public:
static void* operator new(std::size_t size) {
if (offset + size > POOL_SIZE) {
throw std::bad_alloc();
}
void* ptr = &pool[offset];
offset += size;
return ptr;
}
static void operator delete(void* ptr) {
// 在这个简单设计里不做实际释放，但可以加入回收逻辑
}
};
char SmallObject::pool[POOL_SIZE] = {0};
std::size_t SmallObject::offset = 0;
// 使用示例
SmallObject* obj = new SmallObject;
delete obj;
类专属的 new 重载只对通过 new 创建该类对象时生效，不影响其他对象或内置类型。它们的优先级高于全局重载：如果类提供了自己的 operator new，则 new 表达式优先调用类的版本；如果没有，则回退到全局重载或默认实现。需要特别注意，类专属的 operator delete 必须能够安全处理空指针，且其行为应与分配方式匹配。上面的示例因为内存池是顺序分配的，delete 时并未真正归还内存，但这在实际应用中可能导致内存无法重用——可以引入自由的链表或固定大小 slot 管理器来改进。
当类涉及继承时，子类如果没有定义自己的 operator new，默认会使用基类的版本，但这可能会带来大小不匹配的问题。因此，对于仅适用于基类大小的内存池设计，应在基类的 operator new 中检查 size 是否等于基类大小，否则转发到全局默认分配器：
void* Base::operator new(std::size_t size) {
if (size != sizeof(Base)) {
return ::operator new(size);
}
// 使用基类内存池
return allocateFromPool(size);
}
这样能安全地兼容派生类对象，避免错误地使用固定大小的内存池分配给较大的派生类实例。
带形参的 new 与 Placement New 扩展
标准库已经提供了一个 placement new 形式，它接收一个 void* 参数，在指定内存地址上构造对象，而不进行额外的内存分配。但这只是众多带参 new 操作符中的一种特殊形式。开发者可以自由定义携带任意额外实参的 operator new，来传递分配策略、堆标识等上下文信息。
例如，假设你的系统有多个内存堆（快速堆、持久堆等），可以在 new 时指定使用哪个堆：
enum class HeapType { Default, Fast, Persistent };
struct FastHeap {};
struct PersistentHeap {};
// 重载带 FastHeap 标记的 operator new
void* operator new(std::size_t size, FastHeap) {
void* ptr = fast_heap_alloc(size);
if (!ptr) throw std::bad_alloc();
return ptr;
}
// 对应的带标记 delete 仅用于构造函数抛出异常时调用
void operator delete(void* ptr, FastHeap) noexcept {
fast_heap_free(ptr);
}
// 使用方式
MyObject* obj = new (FastHeap{}) MyObject;
调用 new(FastHeap{}) MyObject 时，编译器解析出 operator new(sizeof(MyObject), FastHeap{}) 并执行。如果构造函数抛出异常，C++ 运行时会调用与分配函数签名完全匹配的 operator delete 来释放内存，因此必须为每一种带参 new 都提供对应的带参 delete，且参数类型必须一致，否则在异常发生时将导致内存泄漏。
带参 new 最常见的应用是自定义分配器，允许在创建对象时传递一个分配器引用：
class Allocator {
public:
void* allocate(std::size_t size);
void deallocate(void* ptr);
};
void* operator new(std::size_t size, Allocator& alloc) {
return alloc.allocate(size);
}
void operator delete(void* ptr, Allocator& alloc) noexcept {
alloc.deallocate(ptr);
}
Allocator myAlloc;
auto* p = new (myAlloc) std::string("Hello");
// 手动析构并释放（需调用匹配的 delete）
p->~basic_string();
operator delete(p, myAlloc); // 或者使用自定义释放函数
这种技术让 STL 容器、字符串等也能使用用户指定的分配器，但需要小心管理生命周期。绝不能用普通 delete 直接释放带参 new 创建的对象，因为默认 operator delete 不知道这些额外参数，会导致释放函数不匹配，引发未定义行为。
注意事项与最佳实践
重载 new/delete 虽然灵活，但引入不当会带来严重问题。首先，必须遵守 C++ 标准对内存分配函数的基本契约：当 size 为零时，仍然需要返回一个合法的、唯一的指针值（不能返回空指针），且对应的 delete 能正确处理。其次，返回的内存必须满足所申请类型的对齐要求，若使用 malloc 等函数，需确保其对齐足以容纳所有标准类型。自 C++17 起，也可以通过 align_val_t 重载来精确控制对齐，避免未定义行为。
线程安全是另一个容易被忽视的方面。如果重载的 operator new 使用共享数据结构（如内存池、分配计数器），必须确保其内部实现是线程安全的，因为多个线程可能同时调用 new。C++ 标准要求默认的分配函数是线程安全的，自定义版本也应保持这一属性，尤其在多线程环境下。
此外，避免在 new/delete 操作中使用可能抛出异常的操作，除非这些异常能被正确处理。例如，在 operator new 内部输出诊断日志时，如果日志操作抛出异常，会导致无限递归或者无法分配内存。一个稳妥的做法是使用 noexcept 保护 delete 函数，并在 new 函数中将失败统一转换为 std::bad_alloc。
最后，不要忘记配套重载 operator new[] 和 operator delete[]，尤其在全局重载和类专属重载中。如果只重载了单个对象版本却使用 new[] 创建数组，程序会调用默认的数组分配函数，而释放时若调用自定义的 delete[]，会导致内存管理策略不匹配。维持每一对 new/delete 系列的对称性，是避免内存错误的核心原则。