不该直接用 new 配合 std::unique_ptr 构造,因异常时会导致内存泄漏;应优先用 std::make_unique(原子操作、异常安全),仅在需自定义删除器或特殊数组初始化时才显式构造。
为什么不该直接用 new 配合 std::unique_ptr 构造?
直接写 std::unique_ptr(new T(args...)) 看似简洁,但存在异常安全漏洞:若 T 的构造函数抛异常(比如内存分配失败、初始化逻辑出错),new T(...) 已执行,但 std::unique_ptr 构造尚未开始,导致内存泄漏。
而 std::make_unique 是原子操作——它先分配内存、再就地构造对象、最后封装为 std::unique_ptr,三步要么全成功,要么在任何一步失败时自动清理已分配资源。
常见错误现象:std::unique_ptr(new MyClass(throw_on_construct())) 在构造抛异常后,MyClass 对象未被管理,new 返回的裸指针丢失,无法释放。
std::make_unique 不支持自定义删除器?
确实不支持。std::make_unique 只能生成使用默认删除器(delete)的 std::unique_ptr。如果你需要文件句柄、C API 资源或非 delete 释放逻辑,必须回退到显式构造:
立即学习“C++免费学习笔记(深入)”;
- 用
std::unique_ptr(new T, deleter) - 或更安全的写法:
std::unique_ptr(::operator new(sizeof(T)), deleter)+ placement-new(但极少需手动这么干)
注意:自定义删除器场景下,std::make_unique 不是“不能用”,而是“根本没提供接口”——这不是缺陷,而是设计取舍:它专注解决最常见、最危险的裸 new 泄漏问题。
数组类型怎么用 std::make_unique?
C++14 起,std::make_unique 原生支持动态数组,但语法和语义与普通类型不同: