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

发布时间 - 2025-12-29 00:00:00    点击率:
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 模式。


# c++  # 为什么  # red  # 封装  # 构造函数  # 指针  # 对象  # 不支持  # 的是  # 求值  # 或无  # 这是  # 就会  # 也不  # 抽象类  # 已有  # 三种 


相关栏目: 【 网站优化151355 】 【 网络推广146373 】 【 网络技术251813 】 【 AI营销90571


相关推荐: Python文件流缓冲机制_IO性能解析【教程】  如何在阿里云虚拟机上搭建网站?步骤解析与避坑指南  🚀拖拽式CMS建站能否实现高效与个性化并存?  矢量图网站制作软件,用千图网的一张矢量图做公司app首页,该网站并未说明版权等问题,这样做算不算侵权?应该如何解决?  C++用Dijkstra(迪杰斯特拉)算法求最短路径  宙斯浏览器文件分类查看教程 快速筛选视频文档与图片方法  如何快速打造个性化非模板自助建站?  电商网站制作价格怎么算,网上拍卖流程以及规则?  公司网站制作价格怎么算,公司办个官网需要多少钱?  Laravel模型事件有哪些_Laravel Model Event生命周期详解  齐河建站公司:营销型网站建设与SEO优化双核驱动策略  Edge浏览器提示“由你的组织管理”怎么解决_去除浏览器托管提示【修复】  VIVO手机上del键无效OnKeyListener不响应的原因及解决方法  Android GridView 滑动条设置一直显示状态(推荐)  如何在香港服务器上快速搭建免备案网站?  如何在阿里云虚拟服务器快速搭建网站?  如何快速生成ASP一键建站模板并优化安全性?  阿里云高弹*务器配置方案|支持分布式架构与多节点部署  浏览器如何快速切换搜索引擎_在地址栏使用不同搜索引擎【搜索】  大同网页,大同瑞慈医院官网?  深圳网站制作设计招聘,关于服装设计的流行趋势,哪里的资料比较全面?  Android使用GridView实现日历的简单功能  作用域操作符会触发自动加载吗_php类自动加载机制与::调用【教程】  如何在IIS中配置站点IP、端口及主机头?  如何用wdcp快速搭建高效网站?  重庆市网站制作公司,重庆招聘网站哪个好?  Laravel Octane如何提升性能_使用Laravel Octane加速你的应用  微信小程序 闭包写法详细介绍  Windows11怎样设置电源计划_Windows11电源计划调整攻略【指南】  历史网站制作软件,华为如何找回被删除的网站?  Gemini手机端怎么发图片_Gemini手机端发图方法【步骤】  Android实现代码画虚线边框背景效果  想要更高端的建设网站,这些原则一定要坚持!  JavaScript数据类型有哪些_如何准确判断一个变量的类型  详解一款开源免费的.NET文档操作组件DocX(.NET组件介绍之一)  米侠浏览器网页背景异常怎么办 米侠显示修复  教你用AI润色文章,让你的文字表达更专业  Laravel全局作用域是什么_Laravel Eloquent Global Scopes应用指南  JavaScript如何实现路由_前端路由原理是什么  微信公众帐号开发教程之图文消息全攻略  Laravel如何操作JSON类型的数据库字段?(Eloquent示例)  如何在景安云服务器上绑定域名并配置虚拟主机?  使用PHP下载CSS文件中的所有图片【几行代码即可实现】  制作公司内部网站有哪些,内网如何建网站?  Laravel Seeder怎么填充数据_Laravel数据库填充器的使用方法与技巧  如何批量查询域名的建站时间记录?  Laravel如何生成API文档?(Swagger/OpenAPI教程)  Laravel如何实现数据导出到PDF_Laravel使用snappy生成网页快照PDF【方案】  网易LOFTER官网链接 老福特网页版登录地址  如何自己制作一个网站链接,如何制作一个企业网站,建设网站的基本步骤有哪些?