C++的模板对于类型推导来说,在通常情况推导出的类型和我们期望的是一致的,然而事情并不是总是这样如此美妙。例如下面这个例子:
template<typename T>
void f(`参数类型` parm);
参数类型可以是下面几种情况:
1. T&
2. const T&
3. T&&
4. T
上面的几种情况可以分成三种类型,1和2可以归为引用类型,3是右值引用类型(也可以叫做通用引用类型),4则是类型本身,没有额外的修饰。对于这三种类型来说模板类型推导有着不一样的规则。
- Case1: 引用类型
类型推导规则如下:
1. 如果传入的类型是引用类型,那么会忽视掉引用部分,如果是指针类型,则会忽视指针部分
2. 如果传入的类型不是引用类型那么原来是什么类型就推导成什么类型
当参数类型是T&
的时候,传入下列三个参数。
int x = 27;
const