本文探讨了C++11中函数模板使用右值引用参数(T&&)时的类型推导规则。总结了传递左值时T为引用类型，而传递右值时T为基本类型的特点，并强调了模板参数类型推导保留cv限定符。
图说函数模板右值引用参数(T&&)类型推导规则（C++11）
见下图：
规律总结：
只要我们传递一个基本类型是A④的左值，那么，传递后，T的类型就是A&，形参在函数体中的类型就是A&。
只要我们传递一个基本类型是A的右值，那么，传递后，T的类型就是A，形参在函数体中的类型就是A&&。
另外，模板参数类型推导是保留cv限定符（cv-qualifier，const和volatile限定符的统称）的，具体例子见《完美转发和标准库forward函数》。
①这里指形参在函数体中的实际类型
②函数返回的不具名左值引用依旧是左值，例如，上面代码中，Get(3)=5；是可以的。
③具名的右值引用是左值，不具名的右值引用是右值。
④这里，“基本类型是A”意思是：A，A&，A&&及A类型的字面值的基本类型都是A。
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
