C++内存分配失败处理与new异常分析

C++中new默认抛异常因标准设计要求重视内存分配失败问题，早期版本允许nothrow返回空指针，但委员会认为应强制开发者处理严重错误，因此默认抛std::bad_alloc。1. 使用try/catch捕获异常以增强关键路径代码健壮性；2. 通过new(std::nothrow)返回nullptr适用于嵌入式或避免异常机制场景；3. 设置std::new_handler实现自定义内存不足回调处理，适合资源回收或提示操作。不同方法按需选用以平衡性能与安全性。

在C++中使用 new 进行内存分配时，如果系统无法满足请求，它默认会抛出一个 std::bad_alloc 异常。很多人可能以为“内存不够就返回空指针”，但其实在现代C++标准中，不加修饰地使用 new 是不会返回 nullptr 的，而是直接抛异常。

为什么 new 默认抛异常而不是返回 nullptr？

这是C++早期设计上的一个选择。在早期版本的C++中，确实有类似 nothrow 的机制可以返回 nullptr，但标准委员会认为，大多数情况下开发者应该意识到内存分配失败是一个严重错误，应该被处理，而不是静默忽略。因此，默认行为是抛出 std::bad_alloc。

这也带来一个问题：如果你没准备好处理异常，程序就会崩溃。所以在写代码时，尤其是对资源敏感或运行环境受限的情况（比如嵌入式系统、服务器后台等），必须了解并控制 new 的行为。

如何捕获 new 抛出的异常？

你可以用标准的 try/catch 来捕捉 new 导致的异常：

try {
    int* arr = new int[1000000000]; // 假设这里分配失败
} catch (const std::bad_alloc& e) {
    std::cerr << "Memory allocation failed: " << e.what() << std::endl;
}

这种写法适合关键路径上需要健壮性的代码，比如图形界面初始化、大型数据结构加载等。

需要注意的是：

• 不要频繁使用异常来控制流程，这会影响性能。
• 如果你确定某些地方不需要抛异常，可以用下面提到的 nothrow 版本。

使用 nothrow 避免抛异常

如果你希望 new 在失败时不抛异常，而是返回 nullptr，可以在 new 表达式后面加上 std::nothrow：

int* arr = new (std::nothrow) int[100000000];
if (!arr) {
    // 处理内存分配失败
}

这种方式更适合嵌入式开发或者不想引入异常机制的项目。不过要注意，一旦你用了 nothrow，你就失去了通过异常栈回溯错误的能力，调试起来可能会麻烦一些。

更高级的控制：自定义 new_handler

除了上面两种方式，C++还提供了一个全局钩子函数 std::new_handler，允许你在内存分配失败时做一些清理或提示操作。

你可以通过 std::set_new_handler() 设置一个回调函数：

void handle_memory_failure() {
    std::cerr << "Out of memory, try to free some resources..." << std::endl;
    // 可以尝试释放缓存或其他非关键资源
}

std::set_new_handler(handle_memory_failure);

这个回调会在每次 new 分配失败后调用一次。如果回调函数执行完之后再次尝试分配仍失败，会继续调用该函数，直到成功或抛出异常。

典型应用场景包括：

• 图形渲染引擎，在内存紧张时释放纹理缓存
• 数据库系统，在内存不足时触发部分数据落盘

基本上就这些。正确处理 new 的异常行为，关键是根据你的项目类型和运行环境选择合适的方式：要么捕获异常，要么使用 nothrow 返回空指针，或者结合 new_handler 提前做资源回收。这些方法各有适用场景，别一股脑全用异常处理就行。