根据 http://en.cppreference.com/w/cpp/utility/move
std::move
声明如下:
template <typename T>
std::remove_reference<T>::type&& move(T&& t);
据我了解,当代码被模板化时,扣除T
在 typename T
丢失有关引用的信息,因此如下:
template <typename T>
void someFunction(T&& value);
像这样使用时:
int five=5;
someFunction(five);
然后
-
value
类型为int&
-
T
是int
或
const float value = 5.25;
someFunction(value);
然后
-
value
类型为const float&
-
T
是const float
.
如果是这样,那么在 move 声明中就没有必要将返回类型声明为:
std::remove_reference<T>::type&&
, 因为 T 已经不是引用了。
此外,如果std::move
将引用作为参数(实际上是左值引用),然后返回 static_cast<T&&>(t)
在 std::move
事实上,由于引用折叠将返回左值引用或右值引用,因此它的行为更像 std::forward
。不动。那么什么是技巧,使它正常工作,我不明白?
最佳答案
您的示例不正确:
int five=5;
someFunction(five);
在这种情况下,T
被推断为 int&
,而不是 int
。第二个例子也是如此; T
推导为 const int&
。
因此,仅返回 T&&
意味着 T&& &
,由于引用折叠规则,它是 T&
。
这就是为什么需要 std::remove_reference
的原因,以确保该类型上没有引用以防止发生引用折叠。
关于c++ - 为什么 std::move 使用 std::remove_reference?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/35266472/