关于从函数返回 unique_ptr 的问题

Question

根据文档，说

我们已经对本地价值观和功能进行了隐式移动 返回语句中的参数。以下代码仅编译 很好：

std::unique_ptr; f(std::unique_ptr ptr) {
    返回指针；
} 

但是，以下代码无法编译

std::unique_ptr; f(std::unique_ptr && ptr) {
    返回指针；
} 

相反，您必须输入

std::unique_ptr; f(std::unique_ptr && ptr) {
    返回 std::move(ptr);
}

以下是我的问题：

1.确实没有 std::unique_ptr 的复制构造函数，不应该有一个函数可以接受声明为 std::unique_ptr 的参数。请参阅此代码片段，它无法编译。

#include <memory>

class FooImage{};

std::unique_ptr<FooImage> FoolFunc(std::unique_ptr<FooImage> foo)
{
    return foo;
}

int main()
{

    std::unique_ptr<FooImage> uniq_ptr(new FooImage);

    FoolFunc(uniq_ptr);
}

2.为什么

std::unique_ptr<T> f(std::unique_ptr<T> && ptr) {
    return ptr;
} 

不能编译？

有人可以解释一下这个问题吗？

Answer 1

1.std::unique_ptr 没有复制构造函数，实际上，不应该有函数可以接受声明为的参数
std::unique_ptr。

其实只要把原来的std::unique_ptr移到这个本地参数就可以了

FoolFunc(std::move(uniq_ptr)); // ok
FoolFunc(std::unique_ptr<FooImage>{new FooImage}); // also ok

2.为什么

std::unique_ptr; f(std::unique_ptr&& ptr) { return ptr; } }

无法编译？

虽然ptr的类型是右值引用，但它本身是一个左值，因此return ptr会调用复制构造函数，您需要使用std::move 再次将 ptr 转换为右值

std::unique_ptr<T> f(std::unique_ptr<T> && ptr) { 
    return std::move(ptr); 
}