为什么当类型已经是类型 T&& 时 std::move

Question

我今天在人们的回答中看到了几个地方，说我有 Foo 的构造函数。

Foo(      std::vector<SomeType>&& data) noexcept : data_(std::move(data)) {};

为什么 std::move(data) 是必需的，因为数据类型不是 std::vector&& ？

std::move 在我看来，它只是将数据再次转换为 std::vector&& ？

http://en.cppreference.com/w/cpp/utility/move 将 std::move 定义为，

static_cast<typename std::remove_reference<T>::type&&>(t)

因此，在这种情况下，似乎 std::move 再次无关紧要，但我可能遗漏了一些东西。

Answer 1

在这两种情况下，

void foo(const T& bar); // 1
void foo(T&& bar);      // 2

bar 实际上是一个lvalue。 && 的意思是重载 2 将绑定到右值，例如在以下情况下：

foo(Bar());

而重载1 会在此处绑定：

T bar;
foo(bar);

在2 中，您仍然需要使用std::move 使bar 在函数内部看起来和行为类似于rvalue。