可变参数模板和 RValue 引用

Question

考虑以下 C++ 代码

template <class... Args>
void f (const int x, const int y, Args&&... args) {
  // Do something
}

据我了解，Args这里可以是左值引用也可以是右值引用，这取决于编译时的类型推导。

所以，我应该可以使用 -

调用该函数

float x = 40.0;
f<int, float, double>(10, 20, 30, x, 50.0);

这给了我一个错误，指出它无法将 x 从类型 float 转换为类型 float&&。

如何使用接受左值和右值引用的可变参数模板定义函数。

Answer 1

如果指定参数，则必须给出左值引用：

f<int, float&, double>(10, 20, 30, x, 50.0);

或者干脆让编译器为你推导

f(10, 20, 30, x, 50.0);

Answer 2

As far as I understand, Args here could either be lvalue or rvalue references, depending on the type deduction at compile time.

你说对了一半。 Args&& 将是左值或右值引用。但是 Args 本身要么是左值引用，要么 不是引用 。一个更简单的案例：

template <typename T> void foo(T&& ) { }

foo(1); // T is int
int x;
foo(x); // T is int&

当您为 x 指定 float 时，您指定该特定参数的类型为 float&&，并且您不能将左值 float 隐式转换为右值。你必须投射它（通过 std::move）：

f<int, float, double>(10, 20, 30, std::move(x), 50.0);

或者通过 float&:

指定它是一个左值

f<int, float&, double>(10, 20, 30, x, 50.0);

或者简单地让推论发挥作用：

f(10, 20, 30, x, 50.0);

Variadic Templates and RValue refs