类成员std::unique_ptr的初始化方法（参数传入待托管对象场景）

针对你开发树形结构时遇到的vector<std::unique_ptr<T>>成员初始化问题，直接给结论：优先用std::make_unique，尽量避免直接传递new出来的裸指针，下面详细解释原因和正确用法：

为什么直接传new Object()很危险？ #

假设你的addTheObject方法是这样的：

void addTheObject(std::unique_ptr<Object> obj) {
    children.push_back(std::move(obj));
}

如果调用时写addTheObject(new Object())，这里存在一个隐藏的风险：new Object()会先执行，创建出裸指针，然后才会用这个裸指针构造std::unique_ptr。如果在构造unique_ptr之后、vector::push_back完成之前（比如vector扩容时内存不足抛出异常），这个裸指针就没有被任何智能指针接管，直接导致内存泄漏。

这种场景下，裸指针暴露在短暂的“无人看管”状态，违背了智能指针的设计初衷。

正确姿势：用std::make_unique #

std::make_unique是C++14引入的工具函数，它会在内部完成对象的分配和unique_ptr的构造，全程不会暴露裸指针，完美解决了上面的异常安全问题。

基础用法 #

调用方式改成这样：

tree.addTheObject(std::make_unique<Object>());

如果Object有带参数的构造函数，直接传参即可：

tree.addTheObject(std::make_unique<Object>(arg1, arg2));

更优雅的封装：把创建逻辑放进类内部 #

为了让外部代码更简洁，甚至可以把make_unique的逻辑封装到树形结构类的方法里，让调用者完全不用接触指针：

class Tree {
private:
    std::vector<std::unique_ptr<Object>> children;
public:
    // 用可变参数模板支持Object的任意构造参数
    template<typename... ConstructorArgs>
    void addObject(ConstructorArgs&&... args) {
        // emplace_back直接在vector里构造unique_ptr，避免额外移动
        children.emplace_back(std::make_unique<Object>(std::forward<ConstructorArgs>(args)...));
    }
};

// 调用时直接传构造参数，干净又安全
tree.addObject("param1", 42);

什么时候需要用new？ #

只有在需要自定义删除器的特殊场景下，std::make_unique才会失效（因为它不支持自定义deleter）。比如你的对象不是用普通new分配的，或者需要特殊的清理逻辑：

// 自定义删除器示例：比如打印日志再释放
auto customDeleter = [](Object* ptr) {
    std::cout << "Deleting Object: " << ptr << std::endl;
    delete ptr;
};

// 手动用new构造带自定义删除器的unique_ptr
tree.addTheObject(std::unique_ptr<Object, decltype(customDeleter)>(new Object(), customDeleter));

但这种场景在普通树形结构开发中非常少见，大部分时候make_unique完全够用。

额外注意事项 #

• 传递unique_ptr时，一定要用std::move转移所有权（就像上面示例里的push_back(std::move(obj))），因为unique_ptr是独占所有权的智能指针，不支持拷贝操作。
• 永远不要设计接收裸指针的add方法（比如void addTheObject(Object* obj)），这会让调用者混淆所有权归属，很容易导致重复释放或内存泄漏。坚持让add方法只接收unique_ptr，明确所有权转移规则。

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