与普遍参考混淆

Question

我有这个代码:

void f2(int& lvalue)
{
  std::cout <<"lvalue\n";
}
void f2(int&& rvalue)
{
  std::cout << "rvalue\n";
}

template<typename T>
void f(T&& param)
{
  f2(param);
}

如果我打电话给f,我希望得到"左值" :

int v = 10;
f(v);

并且如果我用以下方式调用f,则期望"rvalue" :

f(10);

但是,我总是得到左值的情况.拜托,任何人都可以解释我错在哪里.

Answer 1

您需要转发参数.虽然类型param可以是右值引用,但param它本身仍然是左值.

f2(std::forward<T>(param));

std::forward确保param获得与传递的参数相同的引用限定符.这被称为完美转发.

如果你打电话f(10):

• param 是一个左值
• std::move(param) 是一个左值
• std::forward<T>(param) 在右边

如果你打电话f(v):

• param 是一个左值
• std::move(param) 是一个左值
• std::forward<T>(param) 在一个左值