完美转发和 std::forward<T> 的使用

Question

我目前正试图弄清楚完美转发的工作原理。我已经编写了一段示例代码，据我所知，它可以完美地转发：

void whatIsIt(std::vector<int>&& variable)
{
  std::cout << "rvalue" << std::endl;
}

void whatIsIt(std::vector<int>& variable)
{
  std::cout << "lvalue" << std::endl;
}

template <class T>
void performPerfectForwarding(T&& variable)
{
  whatIsIt(std::forward<T>(variable));
}

int main(int argc, char** argv)
{
  std::vector<int> lvalue;
  performPerfectForwarding(lvalue);
  performPerfectForwarding(std::move(lvalue));

  return 0;
}

使用左值调用函数performPerfectForwarding 使其调用whatIsIt 的相应重载，同样适用于使用右值调用它。因此，此代码生成的输出为：

lvalue
rvalue

但是，我问自己以下版本的函数 performPerfectForwarding 会做什么：

1.

template <class T>
void performPerfectForwarding(T& variable)
{
  whatIsIt(std::forward<T>(variable));
}

2.

template <class T>
void performPerfectForwarding(T variable)
{
  whatIsIt(std::forward<T>(variable));
}

他们都输出：

rvalue
rvalue

现在，我的问题是：这两个替代版本会做什么？它们在任何可能的情况下都有意义吗？与在上述“正确”版本中的应用相比，参考折叠规则在这些情况下如何应用？

Answer 1

template <class T>
void performPerfectForwarding(T& variable)
{
    whatIsIt(std::forward<T>(variable));
}

当variable 不是转发引用 时，T 被推导出为T，即使对于 左值 （与被推导为T&)。因此，这会将variable 转换为右值引用，因为：

forward<T> -> T&&
forward<T&> -> T&
forward<T&&> -> T&&

---

template <class T>
void performPerfectForwarding(T variable)
{
    whatIsIt(std::forward<T>(variable));
}

同样的考虑也适用于此。 T 在这里永远不能是左值引用，所以forward 将始终转换为右值引用。

---

这两个替代版本会做什么？它们在任何可能的情况下都有意义吗？

我不这么认为，因为您的forward 基本上是move。

---

与在上述“正确”版本中的应用相比，参考折叠规则在这些情况下的应用如何？

这里的规则照常应用。记住：

&  &  -> &
&  && -> &
&& &  -> &
&& && -> &&

在这两种情况下，都没有办法让variable 变成&&。