Effective Modern C++（中文版）

型别推导

｜

19

情况

2

：

ParamType

是个万能引用

对于持有万能引用形参的模板而言，规则就不那么显明了。此类形参的声明方式类似

右值引用（即在函数模板中持有型别形参

T

时，万能引用的声明型别写作

T&&

），但

是当传入的实参是左值时，其表现会有所不同。完整的过程将在条款

24

中揭示，但

此处先给出一个大纲：

•

如果

expr

是个左值，

T

和

ParamType

都会被推导为左值引用。这个结果具有双

重的奇特之处：首先，这是在模板型别推导中，

T

被推导为引用型别的唯一情形。

其次，尽管在声明时使用的是右值引用语法，它的型别推导结果却是左值引用。

•

如果

expr

是个右值，则应用“常规”（即情况

1

中的）规则。

例如：

template<typename T>

void f(

T&&

param);

// param

现在是个万能引用

int x = 27;

//

同前

const int cx = x;

//

同前

const int& rx = x;

//

同前

f(x);

// x

是个左值，所以

T

的型别是

int&

，

param

的型别也是

int&

f(cx);

// cx

是个左值，所以

T

的型别是

const int&

，

// param

的型别也是

const int&

f(rx);

// rx

是个左值，所以

T

的型别是

const int&

，

// param

的型别也是

const int&

f(27);

// 27

是个右值，所以

T

的型别是

int ...