目录
1--万能引用
1-1--万能引用的实现
万能引用可以向其传递任何类型的参数,其会自动进行参数类型的推断;万能引用的两种实现如下:
// 基于模板实现
template <typename T>
void f(T&& v){
}
// 基于auto实现
auto && v2 = v1;
1-2--万能引用与右值引用的区别
不同于使用上述两种方式来实现万能引用(需要进行类型推断)(C++ Primer也将基于模板实现的万能引用称作是一个模板类型参数的右值引用),大白话来讲右值引用的类型是确定的,例如以下都是类型确定的右值引用:
int &&
char &&
std::string &&
右值引用本身是一个左值,但其只能绑定右值;
万能引用可以绑定左值、也可以绑定右值,甚至可以绑定const对象和非const对象等;
2--引用折叠
在上面万能引用的模板实现中,当传递不同的类型 T 时,往往会发生引用折叠;当传递的参数是引用时,模板推断出的类型 T 将会是引用的引用,这时就会发生引用折叠;
在万能引用的模板实现中,引用折叠的规则如下:
① 当传递的参数是左值时,模板推断出的类型 T 将是一个左值引用;
② 当传递的参数是字面值时,模板推断出的类型 T 将是字面值的类型;
③ 在所有情况下(一个例外,第④点说明),引用折叠的结果是一个普通的左值引用类型;
④ 但引用折叠的对象是右值引用时,引用折叠的结果是右值引用类型;
// 基于模板实现
template <typename T>
void f(T&& v){
}
int x = 1;
f(x); // x是一个左值,则 T 的推断结果是左值引用: int &
f(1); // 1是一个字面值,则 T 的推断结果是字面值的类型: int
int&& y = 1;
f(y); // y是一个右值引用,则 T 的推断结果是: int, T && 等价于 int &&;
// 对于一个给定的类型 X
X& &, X& &&, X&& & 都会折叠成X&,
即int& &, int& &&, int&& & 都会折叠成(等价于)int&
类型X&& && 则会折叠成 X&&,
即 int&& && 会折叠成(等价于)右值引用: int&&