Is it problematic to not check for memory allocation failure in C++?

在C++开发领域，一个看似简单的问题长期引发争议：“不检查内存分配失败，到底是不是一个问题？” 随着现代系统内存日益增大、异常处理机制日趋成熟，许多开发者渐渐忽略了对new或malloc返回值的校验。然而，在嵌入式系统、游戏引擎、实时控制等内存受限场景下，这一习惯可能成为系统崩溃的导火索。

默认行为：异常抛出 vs. 返回值检查

C++标准规定，当使用::operator new(std::size_t)分配内存失败时，默认行为是抛出std::bad_alloc异常。因此，理论上只要代码有适当的异常捕获机制，分配失败不会立刻导致程序崩溃。但许多开发者依赖“内存永远够用”的假设，直接跳过错误处理，甚至将异常用作“不可恢复错误”的唯一信号。

现实是，在嵌入式、高频交易或游戏客户端等环境中，异常可能被禁用（如通过-fno-exceptions编译选项），此时new会返回nullptr。若代码未检查返回值，后续对指针的解引用将触发未定义行为——段错误、内存泄漏、数据损坏皆有可能。

不检查的代价：微小的概率，巨大的风险

“内存分配失败在桌面服务器上极其罕见”——这是许多开发者的托词。根据Google、Facebook等公司的生产环境统计，单台服务器的内存分配失败率通常低于百万分之一。然而，当系统运行在数万台服务器上时，百万分之一的概率意味着每天都会有多次分配失败。如果系统没有任何回退逻辑，这些极低概率事件将导致大面积服务中断。

更重要的是，内存碎片化、恶意用户构造内存耗尽攻击、第三方库内存泄漏等问题，都会使分配失败的频率大幅上升。C++之父Bjarne Stroustrup曾在《C++程序设计语言》中强调：“忘记检查资源分配失败不是懒惰，而是对正确性的放弃。”

现代C++解法：RAII与智能指针能否替代手动检查？

支持“不检查也无妨”的开发者认为，现代C++通过RAII（资源获取即初始化）和智能指针（std::unique_ptr、std::shared_ptr）管理内存，分配失败时异常会沿调用栈传播，只要顶层有catch(...)或std::terminate_handler，就能避免未定义行为。然而，这一论断存在漏洞：

析构函数不应抛出异常：若异常传播途中经过一个析构函数，且该析构函数又抛出异常，程序会立即调用std::terminate。
nothrow版本被忽视：标准库提供了std::nothrow版本的new，返回nullptr而非抛异常。许多开发者混用两种模式，导致代码行为不一致。
容器扩展失败：std::vector::push_back或std::map::insert等操作也可能因内存分配失败而抛出异常，但容器对象本身可能处于部分修改状态（除非使用强异常安全保证），此时不处理异常会导致数据半损坏。

行业实践：嵌入式与游戏开发领域的铁律

在游戏开发领域，知名引擎如Unreal Engine、Unity的底层内存管理都采用显式检查。Epic Games高级工程师在GDC演讲中分享：“我们会在每一处动态分配后检查返回值，因为玩家机器上可能同时运行多个程序，内存压力随时可能爆发。”

嵌入式实时操作系统（RTOS）中，内存分配失败往往直接返回错误码，而非抛出异常。例如FreeRTOS提供的pvPortMalloc会返回NULL，调用方必须检查。如果某模块“忘记”检查，一个传感器数据采集任务可能突然死锁，导致飞行器失控或医疗设备误动作。

妥协方案：检查还是相信？

既然如此，是否每一个new后都要写if (ptr == nullptr) throw;？C++标准委员会成员Herb Sutter给出了更务实的建议：

在异常可用的环境中，不需要逐处手动检查，但必须在顶层捕获std::bad_alloc，并执行资源清理或优雅降级。
在异常禁用或高性能场景下，必须显式检查new（使用std::nothrow）或直接使用malloc，并在分配失败时返回错误、记录日志或触发看门狗复位。
容器操作：优先使用reserve()预分配内存，减少扩容时的异常风险；或使用emplace_back等操作时对异常边界进行测试。
静态分析工具：使用Clang-Tidy、Coverity等工具自动扫描未检查new(std::nothrow)返回值的代码。

结尾：态度决定系统鲁棒性

“Is it problematic to not check for memory allocation failure in C++?”——答案并非二元对立。对于普通桌面应用，不检查也许不会立即出事；但对于基础架构软件、生命攸关系统或高并发服务，不检查等同于在计算核心上玩俄罗斯轮盘。

行业趋势正在变化：C++17引入了std::pmr（多态分配器），允许开发者自定义分配失败行为；C++20的std::allocator支持跟踪分配器；C++23更计划增强对硬件内存故障的感知。一个负责任的C++工程师，应当主动理解内存分配模型的语义，并根据场景选择防御策略，而非默认“忽略一切错误”。