c++模板的引用类型参数折叠问题解释

发布时间 2023-05-27 17:53:04作者: 大黑耗
template<typename T> void f1(T&);   

实参可以是左值、const类型的左值,不能是右值。

f1(i);   // 正确,i是int型,T是int

f1(c);  // 正确,i是const int 型,T是const int

f1(5);  // 错误

 

template<typename T> void f1(const T&);    

实参可以是左值、const类型的左值、右值。

f1(i);  // 正确,i是int型,T是int

f1(c);  // 正确,c是const int 型,T是int

f1(5);  // 正确,5是int&&,T是int

 

template<typename T> void f1(T&&);   

我们可能认为给这种情况传递一个左值给f1是不合法的,但实际上这是合法的,这种情况的实参可以是左值(或左值引用)(无论有无const)、右值(或右值引用)。

1. 当实参是右值(或右值引用)的时候,T被推断为X

f1(5);  // 正确,5是int&&型,T是 int

2. 例外规则①:当模板参数是右值(T&&)而实参是左值(或左值引用),也合法,此时T被推断为X&

f1(i);   // 正确,i是int型,按照上面的规则,T是 int&

 

第1种情况我们很容易理解,因为类型完全匹配。

对于第2种情况,根据例外规则①,把T代入,这个f1模板被实例化为 f1(int& &&) ,它的参数是引用的引用,那为啥我们实际传入的是 int& 咧?对于这种情况,实际上是c++有第2条例外规则:引用折叠。

例外规则②:引用折叠(当出现引用的引用时就会发生引用折叠)

X& &、X& &&、X&& & 这三种等价折叠为 X&

X&& && 等价折叠为 X&&

所以对于  f1(int& &&) ,它等价于 f1(int &),因此我们传入 int& 的实参是可以的。