C++ 无法使用通用引用移动 unique_ptr

Question

考虑这段代码：

template<typename T>
T mov(T&& t){
   return std::move(t);
}

int main(){
   std::unique_ptr<int> a = std::unique_ptr<int>(new int());
   std::unique_ptr<int> b = mov(a);
}

mov 函数应该简单地接受一个通用引用并按值返回它，但通过 moveing 它而不是复制它。因此，调用此方法时不应涉及复制。因此，使用只能移动的unique_ptr 调用这样的函数应该没问题。但是，此代码无法编译：我收到错误：

test.cpp:24:34: error: use of deleted function ‘std::unique_ptr<_Tp, _Dp>::unique_ptr(const std::unique_ptr<_Tp, _Dp>&) [with _Tp = int; _Dp = std::default_delete<int>]’
    std::unique_ptr<int> b = mov(a);

因此，C++ 似乎试图调用unique_ptrs 复制构造函数，这当然被删除了。但是为什么这里会出现副本呢？如何编译这段代码？

Answer 1

我相信错误在于mov的返回类型

代码应该是这样的

#include <utility>
#include <memory>
template<typename T>
typename std::remove_reference<T>::type&& mov(T&& t){
   return std::move(t);
}

int main(){
   std::unique_ptr<int> a = std::unique_ptr<int>(new int());
   auto b = mov(a);
}

这个问题暗示了按价值返回的场景，这也可以编译。我不确定它是否适用于您的情况；

template<typename T>
typename std::remove_reference<T>::type mov(T&& t){
   return std::move(t);
}

Answer 2

我终于找到了一个可行的解决方案。我认为问题在于按值返回会触发副本。相反，我需要通过右值引用返回；然后将自动进行移动。首先我尝试了这个：

template<typename T>
T&& mov(T&& t){
   return std::move(t);
}

但是现在，问题在于返回类型T&& 是一个通用引用，而不是一个右值引用。因此，当使用左值调用函数时，实际签名是T& mov(T& t)。因此，它的主体将无法编译，因为我不能 std::move 到左值引用。这正是发生的事情，这是错误：

test.cpp:18:22: error: invalid initialization of non-const reference of type 

‘std::unique_ptr<int>&’ from an rvalue of type ‘std::remove_reference<std::unique_ptr<int>&>::type {aka std::unique_ptr<int>}’
    return std::move(t);

所以，我需要一个真正的右值引用作为返回类型。一开始我不知道怎么构造它，但最后我发现我首先需要std::remove_reference类型T然后添加&&，然后我将有一个真正的右值引用T&& .并且成功了，这个版本的mov 编译良好并解决了问题：

template<typename T>
typename std::remove_reference<T>::type&& mov(T&& t){
   return std::move(t);
}

正如 Niall 所说，通过引用返回也可以通过使用 remove_reference 而不使用 &&：

template<typename T>
typename std::remove_reference<T>::type mov(T&& t){
   return std::move(t);
}