c++ - 在什么情况下，从 std::forward 赋值优于从 std::move 赋值？为什么？

Question

在cppreference.com上学习std::exchange ，我发现了它的“可能的实现”，粘贴在下面。

  template<class T, class U = T>
  T exchange(T& obj, U&& new_value)
  {
      T old_value = std::move(obj);
      obj = std::forward<U>(new_value);
      return old_value;
  }

在赋值语句中看到 obj = std::forward 而不是 std::move 看起来有点奇怪，我认为这会产生相同的效果。

我的理解是，std::move 相当于 static_cast 到右值引用类型(但更具表现力)，并且始终返回 xvalue，而 std::forward 返回与传递的值类型相同的值类型。

我的问题是为什么上面的代码片段中使用了 std:forward ？是否有一个简单的经验法则可以决定何时这是更好的选择？

Answer 1

分配的事实是无关紧要的。 forward 和 move 的区别在于它们在函数内部使用时采用什么样的参数:

• forward 的参数是函数的转发引用参数。
• move 的参数是函数的右值引用参数(或者更一般地说，是您知道没有进一步别名的任何参数)。

如果您与左值交换，您不希望将其移出!

例如，考虑:

std::vector<int> a, b;

f(std::exchange(a, b));

这有效地调用了f(a)，但也执行了a = b;。它不执行a = std::move(b); b 之后仍然可以以其原始形式使用!

另请参阅this answer我的，以及许多其他相关答案，例如 What is std::move(), and when should it be used? , What's the difference between std::move and std::forward ，以及其中的链接。