在 Scott Meyers 的这个例子中,右值引用和转发引用之间的区别已经很清楚了:
Widget&& var1 = someWidget; // here, “&&” means rvalue reference (1)
auto&& var2 = var1; // here, “&&” does not mean rvalue reference (2)
template<typename T>
void f(std::vector<T>&& param); // here, “&&” means rvalue reference (3)
template<typename T>
void f(T&& param); // here, “&&”does not mean rvalue reference (4)
本质上,当我们有一个可推导的 context时,就会发生区别,因此案例 (3) 明确指出我们有一个vector<...>&&
,而T
案例 (4) 将被推导并且(在应用参考折叠规则之后)按照“值类别”进行分类。
但是更复杂的模式匹配会发生什么?以以下案例为例:
template <template <class...> class Tuple, class... Ts>
void f(Tuple<Ts...>&& arg)
{
}
这里是什么&&
意思?