作为右值引用与双移动值传递

Question

假设我有以下课程：

class foo {  
    std::unique_ptr<blah> ptr;
}

这两者有什么区别：

foo::foo(unique_ptr p) 
   : ptr(std::move(p))
{ }

和

foo::foo(unique_ptr&& p)
   : ptr(std::move(p)
{ }

当被调用时

auto p = make_unique<blah>();
foo f(std::move(p));

两者都编译，我猜两者都必须使用unique_ptr 的移动构造函数？我猜第一个它会被移动两次，但第二个它只会被移动一次？

Answer 1

他们做同样的事情，即移动指针两次（转换为 2 次强制转换）。 唯一实际的区别是，如果您按值传递 std::unique_ptr，代码会中断的地方。

拥有foo::foo(unique_ptr p) 编译器会抱怨复制构造函数被删除。

如果有foo::foo(unique_ptr&& p)，则表示所提供的参数集没有匹配的函数。

Answer 2

std::unique_ptr 是一个不可复制的类，这意味着您可以传递一个常量引用（只读访问）或移动它（右值）来表达/授予所有权。

第二种情况（获取显式右值）是正确的实现，因为您的意图是传递所有权并且std::unique_ptr 已删除复制分配/构造函数。

在第一种情况下，禁止复制并且 arg 是一个右值（您在传递之前移动了它），因此编译器使用移动构造函数。然后所有权属于新参数，您再次将其移动到内部字段再次传递所有权，这不是一个很好的解决方案。 （请注意，此声明不是限制性的，它允许任何值类型。如果 std::unique_ptr 是可复制的，则此处将使用复制构造函数，隐藏实际问题）。

就结果代码而言，std::move 是一个简单的右值强制转换，所以两者都做同样的事情。在正确性方面，必须使用第二个。