向std::vector<unique_ptr>用emplace_back传裸指针的内存泄漏与检测问询

核心结论 #

这个内存泄漏问题并没有被C++新标准直接修复——标准并未修改std::vector::emplace_back的参数传递语义，也没有禁止用裸指针构造std::unique_ptr。只要你还在通过emplace_back(new T())这种方式传递裸指针，异常场景下的内存泄漏风险依然存在：当vector扩容需要分配新内存时，若内存分配失败抛出std::bad_alloc，此时new T()已经创建了对象，但裸指针还没被std::unique_ptr接管，最终导致内存泄漏。

检测这类问题的方法 #

目前主要通过编译器警告和静态分析工具来识别这类不安全代码：

1. 编译器警告开关

• GCC（12+）：启用-Wsmartptr，会检测裸指针直接构造std::unique_ptr并传递给容器的风险；配合-Wall -Wextra可以覆盖更多相关警告。
• Clang：启用-Wdeprecated-raw-pointer-to-smart-pointer，会提示你用std::make_unique替代裸指针构造；同样建议搭配-Wall -Wextra。
• 可以加上-Werror将警告强制转为错误，从编译阶段杜绝这类代码。

2. 静态分析工具

• Clang-Tidy：启用modernize-make-unique规则，会自动将emplace_back(new T())替换为安全的emplace_back(std::make_unique<T>())；cppcoreguidelines-owning-memory规则也会检测裸指针管理内存的不安全用法。
• Cppcheck：开启style或warning检查级别，会识别裸指针构造智能指针的风险场景。
• SonarQube、Coverity等工具也内置了类似的代码安全检测规则。

安全的替代方案 #

始终用std::make_unique来创建std::unique_ptr，彻底避免裸指针暴露的风险：

store.emplace_back(std::make_unique<MyClass>());

std::make_unique会直接构造std::unique_ptr对象，即使emplace_back因扩容失败抛出异常，已经创建的unique_ptr会在异常栈展开时自动析构，不会丢失对内存的管理。

为什么编译器默认不警告？ #

C++标准允许裸指针构造std::unique_ptr（比如用于管理已存在的内存资源），这类场景是合法的。因此编译器不能默认将这种用法标记为错误，只能通过可选的警告开关，让开发者自主选择是否启用这类检测。

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