c++中unique_ptr如何正确传递所有权? (避免常见陷阱)

必须用std::move()转移std::unique_ptr所有权,因禁止拷贝;返回局部unique_ptr时无需std::move(),编译器自动移动;获取裸指针仅限观察或C接口,不可重复管理;不接管所有权时应传const引用。

std::move() 转移所有权,否则编译失败

std::unique_ptr 禁止拷贝,只允许移动。直接传值或赋值会触发删除的拷贝构造函数,编译器报错类似:use of deleted function 'std::unique_ptr::unique_ptr(const std::unique_ptr

&)'

正确做法是显式调用 std::move(),把左值转为右值引用:

void take_ownership(std::unique_ptr ptr) {
    // ptr 现在拥有资源,原调用方不再持有
}

std::unique_ptr p = std::make_unique(42);
take_ownership(std::move(p)); // ✅ 必须 move
// 此时 p 为空(p == nullptr),再访问 *p 是未定义行为

函数返回时不用 std::move()

返回局部 std::unique_ptr 变量时,编译器自动应用移动语义(RVO 或移动构造),加 std::move() 反而可能阻止优化,还让代码显得不必要地复杂。

常见错误是画蛇添足:

  • return std::move(local_ptr);
  • return local_ptr;(推荐)或 return std::make_unique(...);

例如:

std::unique_ptr make_message() {
    auto s = std::make_unique("hello");
    return s; // ✅ 自动移动,s 在返回后失效
}

避免裸指针泄漏和双重释放

unique_ptr 获取裸指针(.get())仅用于临时观察或传给 C API;绝不能用它构造另一个 unique_ptr,否则导致双重释放:

  • std::unique_ptr p2(p.get()); —— 两个 unique_ptr 指向同一内存
  • delete p.get(); —— 手动释放后,p 析构时再次释放
  • ✅ 需要共享访问?改用 std::shared_ptr;需临时传参?确认 C 函数不保存指针

典型陷阱场景:向需要 void* 的回调传 p.get(),但回调里又存了该指针并 later 释放。

传递引用或指针时,不转移所有权

如果函数只是读取或操作对象,不接管生命周期,就该用 const std::unique_ptr&T& / T*

void inspect(const std::unique_ptr& ptr) {
    if (ptr) std::cout << *ptr << "\n"; // 不改变 ptr,也不拿走资源
}

void mutate(int& value) { // 更轻量,直接解引用传入
    value *= 2;
}

inspect(p);     // ✅ 安全,p 仍有效
mutate(*p);     // ✅ 前提是 p != nullptr

混淆“是否需要所有权”是实际项目中最常引发空指针崩溃或提前释放的地方——尤其当多个模块对同一资源有不同预期时。