c++ - 为什么 std::move 使用 std::remove_reference？

Question

根据 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。不动。那么什么是技巧，使它正常工作，我不明白？

Answer 1

您的示例不正确:

int five=5;
someFunction(five);

在这种情况下，T 被推断为 int&，而不是 int。第二个例子也是如此； T 推导为 const int&。

因此，仅返回 T&& 意味着 T&& &，由于引用折叠规则，它是 T&。

这就是为什么需要 std::remove_reference 的原因，以确保该类型上没有引用以防止发生引用折叠。