auto用于编译时类型推导,喜欢模板编程的人肯定很喜欢这个关键字,因为它能简化编程。
由于是编译期推导,所以推导出的是静态类型,如 class D 派生自 class B。
D* p = new D();
B* q = p;
auto ap = p;
auto aq = q;
auto tp = *p;
auto tq = *q;
则推导出的ap是class D*;aq是class B*;tp是class D; tq是class B。因为q的静态类型是B*,所以*q的静态类型就是B,从而推导出tq的静态类型是B。
我们知道变量定义时,就会为它分配内存,那么auto变量分配多大内存呢?这个要根据初始化值来定。所以auto变量定义时必须指定初始值。
使用auto关键字需要注意的事项
1、定义是必须初始化
2、一条语句定义多个变量时,推导类型要一致
如 auto i = 0, *p = &i; // 正确
auto j = 0, d = 3.14; // 错误。类型不一致
3、类型推导时,顶层const会被忽略,底层const会被保留。
如const int * const p = &i;
auto q = p; // 则推导出的q类型是const int * q;
4、使用引用变量作为初始值,推导出的类型不是引用。
如 int i = 0; &j = i;
auto k = j; // 推导出的k是int而不是int&
5、如果我们想要推导出的变量是一个顶层const,则需要明确指出const auto p = 。。。
decltype
decltype也是c++11新特性,同样也是用于类型推导。但它与auto有许多不同。
decltype与auto的不同点
1、定义时不需初始化。
2、保留顶层const
3、保留引用类型
如 int i = 8, &j = i; decltype(j) p; // 则这里的p是int&,若用auto推导,则推导出的是int。
4、当表达式(非变量)的结果是一个左值时,保留引用类型
如
·解引用操作 *P 返回的是一个引用
·变量加上()也返回一个引用类型,int a; decltpye((a))则返回int&。因为a是一个变量,decltype(a)则是int,但加上“()”只后,(a)就不是一个变量,而是一个表达式,这个表达式返回一个左值,所以推导出的是一个引用类型