移动语义 std::move 如何使用它

Question

#include <type_traits>

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

void main()
{
    int a;
    move(a);
}

为什么这段代码不能编译？

错误 C2440：“返回”：无法将“int”转换为“int &&”

Answer 1

v 是 return 语句中的左值（出于安全原因，命名的右值引用是左值），但 move 的返回类型是右值引用（T< /code> 是 int&，但是您删除了引用，因此您在返回类型中形成了 int && 类型）。

您需要首先将 vstatic_cast 为 remove_reference::type && 来创建一个未命名 右值引用，当您想要返回它时。

我不确定你的目标是什么。您想要使用 std::move（就像您在标题中所说的那样），或者您想了解它是如何实现的（就像您显示的代码所示）。在不了解基本 C++ 规则的情况下尝试了解 std::move 的工作原理是没有意义的。我建议您查看我们的C++ 书籍列表。充分掌握 C++ 后，您可以了解 std::move 的工作原理。

Answer 2

这直接来自 C++0x 草案标准 (§20.2.3/6)：

模板 类型名remove_reference::type&& move(T&& t) noexcept;

返回：static_cast::type&&>(t)。

因此，如果您将 move 实现更改为以下内容，它就可以正常工作：

template<class T>
typename std::remove_reference<T>::type&& move(T&& v)
{
    return static_cast<typename std::remove_reference<T>::type&&>(v);
}