// 如果一个函数模板形参类型为T&&,并且T需要被推导得知,或者如果一个对象被声明为auto&&,这个形参或者对象就是一个通用引用
// 如果类型声明的形式不是标准的type&&,或者如果类型推导没有发生,那么type&&代表一个右值引用
// 通用引用,如果它被右值初始化,就会对应地成为右值引用;如果它被左值初始化,就会成为左值引用
// 1
void f(Widget&& param); //右值引用
Widget&& var1 = Widget(); //右值引用
auto&& var2 = var1; //不是右值引用
template<typename T>
void f(std::vector<T>&& param); //右值引用
template<typename T>
void f(T&& param); //不是右值引用
auto&& 和 T&& 属于通用引用,如果初始值是一个右值,那么通用引用就会是对应的右值引用。如果初始值是一个左值,那么通用引用就会是一个左值引用。
Widget w; f(w); param 为 Widget& 左值引用
f(std::move(w)); param 为 Widget&& 右值引用
// 2 但是const修饰符或者类型推导没有发生,就失去通用引用的资格
template <typename T>
void f(const T&& param); // param 是一个右值引用
// 通用引用的格式必须是“T&&”