获取std::unique_ptr所有权：右值引用构造函数移动被忽略的场景示例

两种构造实现 #

右值引用版本 #

class MyClass {
public:
    explicit MyClass(std::unique_ptr<int>&& data) : data_(std::move(data)) {}
private:
    std::unique_ptr<int> data_;
};

传值版本 #

class MyClass {
public:
    explicit MyClass(std::unique_ptr<int> data) : data_(std::move(data)) {}
private:
    std::unique_ptr<int> data_;
};

右值引用版本的隐患：移动被忽略的场景 #

右值引用版本的核心问题是无法从函数签名保证所有权一定会被转移，调用者或函数内部都可能让“移动”操作失效，以下是具体示例：

场景1：函数内部故意不转移所有权 #

如果构造函数仅借用右值引用的内容，而不执行移动操作，原指针的所有权会被保留：

class MyClass {
public:
    explicit MyClass(std::unique_ptr<int>&& data) {
        // 只读取数据，不转移所有权
        if (data) {
            cached_val_ = *data;
        }
        // 未将data移动到成员变量data_
    }

    int get_cached_val() const { return cached_val_; }
private:
    int cached_val_ = 0;
    std::unique_ptr<int> data_; // 始终为空
};

void test() {
    std::unique_ptr<int> ptr = std::make_unique<int>(42);
    MyClass obj(std::move(ptr));
    
    // 原指针ptr仍持有所有权，可正常访问
    if (ptr) {
        std::cout << "ptr still owns data: " << *ptr << std::endl; // 输出42
    }
    std::cout << "MyClass cached value: " << obj.get_cached_val() << std::endl; // 输出42
}

这里调用者虽然用std::move(ptr)传递参数，但构造函数内部没有执行所有权转移，原指针的状态完全不受影响——这就是“移动被忽略”的典型场景。

场景2：调用者绕过移动语义（强制传递左值到右值引用） #

虽然C++不允许直接将左值绑定到非const右值引用，但调用者可以通过强制类型转换绕过这个限制，导致原指针不被移动：

void test() {
    std::unique_ptr<int> ptr = std::make_unique<int>(42);
    // 强制将左值ptr转为右值引用类型
    MyClass obj(static_cast<std::unique_ptr<int>&&>(ptr));
    
    // ptr仍然持有所有权，未被移动
    std::cout << *ptr << std::endl; // 输出42
}

这种情况下，构造函数的右值引用参数绑定的是原左值ptr，即使构造函数内部执行std::move(data)，也只是对原ptr的右值引用做移动，但由于ptr本身是左值，移动后原ptr的状态并非语法强制置空，而传值版本从根本上避免了这种模糊性。

传值版本的优势：强制所有权转移 #

传值版本的核心优势在于所有权转移在调用时就已完成：

• 因为std::unique_ptr没有拷贝构造函数，调用者只能通过移动临时对象或std::move左值来传递参数，原指针必然失去所有权。
• 函数签名清晰传达“需要转移所有权”的语义，调用者无需猜测内部逻辑。
• 实现更简洁，无需处理右值引用的绑定细节。

选型建议 #

如果你的目标是无条件获取std::unique_ptr的所有权，优先选择传值接收的构造方式；只有当你需要根据内部逻辑动态决定是否接收所有权（比如某些条件下拒绝接管，让原指针保留所有权）时，才考虑使用右值引用版本。

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