C++ std::make_unique与new区别 _ 内存分配失败安全性分析【干货】-C++-PHP中文网

std::make_unique能保证异常安全，因其将内存分配、对象构造、智能指针封装三步绑定为原子操作；而new配合std::unique_ptr在参数求值或构造异常时易致内存泄漏。

c++ std::make_unique与new区别 _ 内存分配失败安全性分析【干货】

std::make_unique 在内存分配失败时自动抛出 std::bad_alloc，且绝不会留下裸指针或泄漏内存；而直接用 new 搭配 std::unique_ptr 构造，在参数求值或构造函数抛异常时，可能造成已分配内存无法回收。

关键在于「原子性」：它把内存分配、对象构造、智能指针封装三步绑成一个不可分割的操作。哪怕 MyClass 的构造函数抛出异常，std::make_unique 内部已分配的内存也会立即释放。

对比之下，std::unique_ptr(new MyClass(arg1, arg2)) 实际是两步：

new MyClass(...) 先执行 —— 内存已分配，对象开始构造
若 arg1 或 arg2 计算过程抛异常（比如另一个 std::make_unique 失败），new 返回的指针根本没传给 std::unique_ptr 构造函数，内存就此泄漏

当函数接受多个 std::unique_ptr 参数时，C++ 不规定参数求值顺序。这意味着：

C++14

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

下载

process(std::unique_ptr(new A()), std::unique_ptr(new B()))
若 B() 构造失败抛异常，A() 已成功分配并构造，但无人持有其指针 —— 泄漏发生
换成 process(std::make_unique(), std::make_unique())，任一失败都会让另一个已创建的 std::unique_ptr 正常析构

这是它和 new[] 的明确分界线：

std::make_unique(10) 合法，生成 std::unique_ptr
std::make_unique(5) 合法，但 MyClass 必须有平凡析构函数（否则编译失败）
std::make_unique 不能用于带参数的数组元素构造（比如想对每个 MyClass 调用含参构造函数）—— 这种需求只能退回 new MyClass[5]{MyClass(1), MyClass(2), ...}，但要自己管理生命周期

写 new 时类型必须写两遍：

std::unique_ptr<:vector>> p(new std::vector<:string>{ "a", "b" });
而 auto p = std::make_unique<:vector>>("a", "b"); 更短，且改类型时只改一处
更隐蔽的问题：std::unique_ptr(new Derived()) 是合法的，但 std::make_unique() 无法隐式转为 std::unique_ptr —— 编译失败反而帮你提前发现设计问题

真正容易被忽略的是：即使你从不显式 throw，new 本身在内存不足时就会抛 std::bad_alloc，而手写 new + std::unique_ptr 的组合，会让这个异常点变成资源管理的断裂面。不是所有异常都来自业务逻辑，内存分配失败就是最现实的一种。