std::move 实现

Question

我从 microsoft

template <typename T> struct RemoveReference {
     typedef T type;
};

template <typename T> struct RemoveReference<T&> {
     typedef T type;
};

template <typename T> struct RemoveReference<T&&> {
     typedef T type;
};

template <typename T> typename RemoveReference<T>::type&& Move(T&& t) {
    return t;
}

...

remote_integer x = frumple(5);
remote_integer&& x1 = Move(x);

我收到错误“错误 C2440: 'return' : 无法从 'remote_integer' 转换为'remote_integer &&'"

编译器中发生了一些变化？使用 std::move 一切顺利。

Answer 1

Move 不起作用的原因是 t 始终是 左值（即使当 T&&例如，解析为 int&&)。尽管看起来很奇怪，命名的右值引用确实是左值。

从 Move 返回时，您尝试将左值隐式绑定到右值引用，这是标准 (§8.5.3) 所禁止的。正如评论中所指出的，您必须显式地将 t 转换为右值引用。

标准的相关部分是 §5/4 和 §5/5，但我将引用注释 §5/6，它很好地总结了这一点：

一般来说，这条规则的作用是命名右值引用
被视为左值，并且对对象的未命名右值引用是
视为 x 值；对函数的右值引用被视为
左值，无论是否命名。

正确的实现确实是：

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

---

据我记得，这段代码在早期的草稿中曾经有效。但由于规则已更改，您现在必须提供显式强制转换（同样适用于 std::forward）。