auto 与decltype

       

 

auto and decltype 类型说明符

auto类型说明符

  1：编程时常需要将表达式的赋给变量，这就要求在声明变量时清楚的知道表达式的类型。C++11新标准引入了auto类型说明符，用它就能让编译器替我们去分析表达式所属的类型。

auto让编译器你通过初始值来推算变量的类型。显然 ，auto定义的变量必须有初始值。

  auto  k1 = v1 + v2  // k1初始化为v1+v2的结果，且k1的类型与v1+v2的结果类型一致

 

  2：使用auto语句也能在一条语句中声明多个变量。因为一条声明语句只能有数据类型，所以该声明语句中所有变量的初始值的基本类型都必须是一样：

  auto i = 0 , *p = &i ;//正确 ， i是整数，p是整型指针

  Auto sz = 0 ， pi = 3.14 ；// 错误 ， i是整数，pi是浮点数。类型不一致

 

复合类型 ，常量和auto

   1：当引用被用作初始值时，使用引用其实是使用引用的对象。此时编译器以引用的对象的类型作为auto的类型 ：

  int i = 0 ,& k = i ; 

auto b = k ; // b是一个整数，而不是引用类型

auto  d = &i ; // d是个整型指针

 

   2:auto会忽略顶层const(指针本身是一个常量)，同时底层const（指针所指对象是一个常量）会被保留下来：

     const int ci = 10 , &cr = ci ; 

     auto b = ci ; // b是一个整数（ci本身是一个常量（ci顶层const属性被忽略掉了）

     auto c = cr ; // c 是一个整数（cr是ci的别名，顶层const属性被忽略掉）

 auto d = &ci ; // d是一个指向整形常量的指针（对常量对象取地址是一种底层const）

 

3：需要auto推断出是顶层const类型，需要明确指出

   const auto f = ci ; // f是整型常量

   auto  *p = &ci ; // p是指向整型常量的指针（对常量对象取地址是一种底层const）

 

   还可以将引用类型设为auto，设置类型为auto的引用时，初始值中的顶层const属性保留

   auto &k = ci ; // k是一个整型常量引用，ci的顶层const属性保留

   auto &h = 42 ; //错误，不能将非常量引用绑定到字面值

   const auto &h1 = 42; // 正确 ，可以为常量引用绑定字面值

 

4：在一条语句中声明多个变量时 ，切记*和&只从属于某个声明符，而非基本数据类型的一部分。所以初始值必须是同一类型

   auto k = ci , &l = i ; // k是整数，l是整型引用

   auto &m = ci , *p = &ci ; // m是整型常量的引用，p是指向整型常量的指针

   auto &n = i , *p2 = &ci ; // 错误，i的类型是int ， 而&ci的类型是const int

 

      decltype类型指示符

当我们希望从表达式的类型推断出要定义变量的类型，但是不想用表达式的值初始化变量，为了满足这一要求C++11新标准引入了第二种类型指示符decltype，它的作用是选择并返回操作数的数据类型，在此过程中，编译器分析表达式并得到它的类型，却不实际计算表达式的值 ：

decltype( f() )   sum = x ;  // sum的类型就是函数f的返回类型

说明：编译器并不实际调用函数f（），而是使用调用发生时f的返回类型作为sum的类型。

 

1：decltype与auto处理顶层const和引用的差别，如果decltype使用的是一个表达式是一个变量，则decltype返回该变量的类型（包括顶层const和引用在内）：

 const int  ci = 0 , &cr = ci ;

 decltype(ci)  x = 0 ; // x的类型是const int

 decltype（cr） y = x ; // y的类型是const int & ， y绑定到x上

 decltype（cr） z ; // 错误， z是一个const int & ，必须初始化

 

2：decltype与引用

  如果decltype使用的表达式不是一个变量，则decltype返回表达式结果对应的类型。有些表达式将向decltype返回一个引用类型。

 // decltype的结果可以是引用类型

 int  i = 42 , * p = &i , &r = i ;

 decltype(r + 0) b ; //  正确， r+0的结果是一个int类型， b是一个未初始化的int类型

     decltype(*p) ; // 错误，c是int & ，必须初始化 。*p是解引用操作，返回对象的引用。

 

3:切记,decltype( ( variable ) (注意是双层括号)的结果永远都是引用，而decltype（variable）

的结果只有当variable本身是引用是才是一个引用：

decltype( (i) )  d ; //错误，d是一个引用必须初始化

decltype（i） e ; // 正确