使用std::unique_ptr有什么优势？传递裸指针的旧代码是否值得重构

问题1：重构后的写法是否具备更高的异常安全性？ #

分情况讨论：

• 若当前foo仅接收单个参数，且使用C17及以上版本标准，两种写法的异常安全性等价：C17明确规定函数所有参数的求值完成后才会进入函数体，单参数场景下new T()执行后会直接传入foo，只要foo正常接管所有权就不会出现内存泄漏。
• 若存在以下任意场景，重构后的写法安全性更高：
  • 使用C++14及更早版本标准，或者foo当前/未来会接收多个参数：旧标准中函数参数的求值顺序未指定，若foo有多个参数，其他参数的求值逻辑抛出异常时，先执行的new T()分配的内存会直接泄漏；而先将对象存入std::unique_ptr的写法，只要还没调用release()，异常触发时unique_ptr会自动释放所持对象，避免泄漏。
  • 创建对象和调用foo之间存在其他可能抛出异常的代码：局部unique_ptr会在栈展开时自动释放对象，裸new没有这种兜底机制。

问题2：重构对所有权明确性的提升 #

这种重构的收益非常明显：

• 直接在参数中写new T()，所有权转移逻辑完全依赖foo的函数注释说明，阅读代码的人很容易忽略注释，误以为调用方需要管理指针生命周期。
• 用std::make_unique + release()的写法，等于直接在调用侧显式声明了所有权转移的逻辑：std::unique_ptr原本持有对象所有权，调用release()就是主动放弃所有权交给foo，逻辑完全自解释，不需要依赖注释。

额外收益 #

这种重构是零成本的优化，没有任何运行时额外开销，还能减少代码中裸new的出现场景，符合现代C++的最佳实践，也方便后续静态检查工具识别不合理的内存分配操作。由于你无法修改foo的函数签名，这是当前场景下兼顾安全性和可读性的最优方案。

内容的提问来源于stack exchange，提问作者SebDieBln