c++如何使用std::make_unique创建指针_c++ 14安全内存分配与异常防护【方法】_技术教程

std::make_unique 是 C++14 引入的安全构造 std::unique_ptr 的辅助函数，解决 new 与 unique_ptr 手动组合时因参数求值异常导致的内存泄漏问题；它通过一步完成分配与封装，保证异常安全，并支持完美转发参数构造对象或数组，但不支持初始化列表、抽象类或私有构造函数类型。

std::make_unique 是什么，为什么不能直接 new

std::make_unique 是 C++14 引入的辅助函数，用于安全构造 std::unique_ptr。它不是语法糖，而是解决 new + unique_ptr 手动组合时潜在的异常安全问题：如果构造参数求值过程中抛出异常（比如某个参数是函数调用且失败），new 已执行但 unique_ptr 未完成接管，就会导致内存泄漏。

正确做法是让分配和封装一步完成，由 make_unique 内部保证——要么全成功，要么不分配。

基本用法与参数转发规则

std::make_unique 支持三种形式：make_unique()、make_unique(args...)、make_unique(n)。它通过完美转发把参数传给 T 的构造函数或数组长度。

对于非数组类型，args... 必须匹配 T 的构造函数签名；不支持初始化列表语法（如 {1,2,3}），会编译失败
对于数组类型，只接受一个 size_t 参数，不支持带初始值的数组（C++17 才支持 make_unique(n, args...)）
不能用于抽象类或无公开构造函数的类型（和直接 new 一样受访问控制限制）

auto p1 = std::make_unique("hello"); // OK
auto p2 = std::make_unique(42);              // OK
auto p3 = std::make_unique>(5, 0); // OK: 转发到 vector(size, value)
auto p4 = std::make_unique(10);            // OK: 分配 10 个 int 的数组
// auto p5 = std::make_unique({"a", "b"}); // 错误！不支持 braced-init-list

常见错误：和 std::make_shared 混用，或误传裸指针

std::make_unique 返回的是 std::unique_ptr，不是裸指针，也不接受裸指针作为参数。有人误以为它类似 make_shared 可以“包装已有对象”，这是错的。

不能写 std::make_unique(new T{...}) —— 这会造成双重分配，且立即泄漏
不能对已存在的对象使用 make_unique，它只负责“分配+构造”一体化
不要用 std::make_unique 替代 std::shared_ptr 场景：若需共享所有权，应选 std::make_shared；二者语义和性能开销不同（make_shared 合并控制块与对象内存，make_unique 不做此优化）

异常安全的实际验证点

真正体现 make_unique 价值的地方，是构造函数可能抛异常、且参数本身有副作用时。例如：

struct MayThrow {
    MayThrow(int x) { if (x < 0) throw std::runtime_error("bad"); }
};

// 危险写法（不推荐）：
// auto ptr = std::unique_ptr(new MayThrow(get_value())); 
// 若 get_value() 正常，但 MayThrow 构造抛异常，则 new 分配的内存泄漏

// 安全写法：
auto ptr = std::make_unique(get_value()); // 全或无：要么 ptr 持有对象，要么没分配

注意：即使 get_value() 抛异常，make_unique 也不会触发分配；只有所有参数求值成功后，才调用 new 和构造函数。

真正容易被忽略的是——这个保障只在「单次 make_unique 调用内」有效。如果你写 func(make_unique(), make_unique())，而 B 的构造失败，A 已分配却无法回滚（C++ 中函数参数求值顺序未定义，且无事务机制）。这种场景需拆成独立语句或用 guard 模式。