引用折叠:创建引用的引用时(如模板参数、类型别名)会造成引用折叠,折叠规则如下:2.&&+&&->&&3.左值(非引用)+&&(模板形参的)->&,实际上是:编译器会自己在模板形参类型前加&,这样就变成了:&+&&,依据前面的规则还是会折叠为&。
1.
&+&->&
&&+&->&
&+&&->&
注意:第3种情况只适用于&&形参的模板函数,不适合普通函数!
例子:
template<typename T> T ff(T&& x){ return x; } int fff(int &&x){ return x; } int main() { int i=1; cout<<ff(i); cout<<fff(i); getchar(); }
例子:
template<typename T> T ff(T
&& x){
return x;
}
int main()
{
int i=1;
int &j=i;
int&& k=move(i);
int p[10];
cout<<ff(i);
cout<<ff(5);
cout<<ff(p);
cout<<ff(j);
cout<<ff(move(i));
getchar();
}
引用折叠了:i是普通int变量,普通左值按规则3,得到&
5是右值,没有引用折叠
p为int [10]类型,但这里由于符合上面第三条,加&得到int (&)[10],即一个int[10]数组的引用的类型。然后进行引用折叠:int (&)[10]+&&->int(&)[10],还是自己。
如果把函数改成这样:
template<typename T> T ff(T x){ return x; } int main() { int i=1; int &j=i; int&& k=move(i); int p[10]; cout<<ff(i); cout<<ff(5); cout<<ff(p); cout<<ff(j); cout<<ff(move(i)); getchar(); }
即f的参数不再是右值引用,那么就不存在引用折叠问题了,并且数组p传入f函数时,会自动转为int*类型:
一个暂时不懂的问题:
template<typename T> T ff(T&& x){ return x; } template<typename T> T ff(const T& x){ return x; } int main() { int i=1; int& j=i; cout<<ff(j); getchar(); }
其中调用的是右值引用版本,为什么不优先匹配const T&?