c++kquote>std::make_unique 在 C++14 中真实存在;它是标准库函数,用于安全构造 std::unique_ptr,支持单参数、多参数及数组形式,但不支持初始化列表和数组元素初始化。

c++中如何使用std::make_unique_c++14创建唯一指针的方法【详解】  第1张

std::make_unique 在 C++14 中是否真实存在

不存在。C++14 标准确实引入了 std::make_unique,但它的名字是 std::make_unique,不是 std::make_unique_c++14——后者根本不是标准库中的函数,编译器会直接报错 error: 'make_unique_c++14' is not a member of 'std'

正确调用 std::make_unique 的语法和参数规则

std::make_unique 是一个函数模板,用于构造 std::unique_ptr 并自动推导类型,避免显式写出冗长的 new 表达式。它有三种常见重载形式:

  • 单参数:构造不含参数的默认对象,如 std::make_unique()
  • 多参数:转发给目标类型的构造函数,如 std::make_unique<:string>("hello")
  • 数组形式(C++14 起支持):std::make_unique(10) 分配含 10 个元素的数组,注意不能带初始化器列表

关键限制:std::make_unique 不支持初始化列表构造(比如 std::make_unique<:vector>>({1,2,3}) 在 C++14 中不合法,需改用 std::unique_ptr<:vector>>(new std::vector{1,2,3}) 或升级到 C++17+)。

常见错误:为什么 new + unique_ptr 构造比 make_unique 更容易出错

手动用 new 配合 std::unique_ptr 构造,看似等价,实则隐藏多个风险点:

立即学习“C++免费学习笔记(深入)”;

  • 类型重复书写易错:写成 std::unique_ptr(new MyClass) 时,若类名拼错或模板参数漏写,编译器不会帮你检查
  • 异常安全问题:当构造函数抛异常,而多个 new 表达式在同一个表达式中(如函数调用参数),可能导致内存泄漏
  • 数组 delete[] 匹配错误:手写 std::unique_ptr(new int[5]) 必须确保删除器匹配,而 std::make_unique(5) 自动选用 default_delete
auto p1 = std::make_unique("test");  // ✅ 推导正确,异常安全
auto p2 = std::unique_ptr(new std::string("test"));  // ⚠️ 冗余且不推荐

C++14 下使用 make_unique 的兼容性与替代方案

如果你的项目实际运行在 C++11 环境,但代码里写了 std::make_unique,编译会失败。此时不能靠“开启 C++14 标准”解决,因为旧版标准库(如 libstdc++ 4.9 之前、MSVC 2013)根本不提供该函数。

  • 检查编译器与标准库版本:GCC ≥ 4.9、Clang ≥ 3.4、MSVC ≥ 2015 才完整支持
  • 可自行实现简易版(仅限非数组、无完美转发需求场景):
    template
    std::unique_ptr make_unique(Args&&... args) {
        return std::unique_ptr(new T(std::forward(args)...));
    }
  • 更稳妥的做法:统一升级构建环境,或改用 std::unique_ptr(new T(...)) 并严格审查析构行为

真正容易被忽略的是数组形式的边界:C++14 支持 std::make_unique(N),但不支持 std::make_unique(N, value) 初始化所有元素——那是 C++20 的 std::make_unique_default_init 才考虑的事。