C++处理类型之typedef、using、auto、decltype

一、类型别名

C++11提供了两种方法用于定义类型别名

• typedef

  typedef double wages;         //wages是都double的别名
  typedef wages base, *p;      //base为double的别名，p是double*的别名
  

C++11标准中提出了一种新方法用来定义类型的别名

• using

  using SI = Sales_item;  //SI是Sales_item的别名
  

  指针、常量和类型别名

  如果某个类型别名指代的是符合类型或者是常量，那么把它用到声明语句中会产生意想不到的结果。

  typedef char *pstring;
  const pstring cstr = 0;  //cstr是指向char的常量指针（顶层const）
  const pstring *p;    //ps是一个指针，它的对象是指向char的常量指针(底层const)
  

  在这里需要十分强调的一点就是这里与将pstring用char*替换得到的结果是不一样的，具体来说如果我们进行一个简单的替换：

  const char* cstr;    //cstr是指向char型常量的指针（底层const）
  

  这是一个底层指针，与我们用typedef得到的结果完全不一样，所以说用替换的方法来理解是完全错误的。我们应该将pstring理解为一个基本内置类型，比如int，举个例子：

  const int a；//一个整型常量
  

  上面的代码十分简明，可以理解为pstring与int是同样的内置类型，那么就可以理解为我们定义了一个pstring类型的常量cstr，接着分析一下pstring又是什么呢？pstring是char*，所以得到的结论是，cstr是一个指向char的常量指针。

二、auto类型说明符

auto的作用就是，使编译器通过初始值来推断变量的类型。所以auto类型的变量必须有初始值。

auto item = val1 + val2;  //item初始化为右边相加的结果

auto也可以在一条语句中定义多个变量，但是所有的变量的初始数据类型必须一样。

auto i = 0, *p = &i;    //正确
auto sz = 0, pi = 3.14; //错误

在第一条语句中，i=0可以认为i是int，同时&i对应的也是整型变量的指针，所以可以认为auto就等价于int。其正确性不言而喻。但是在第二条语句中，sz=0判断出sz为int，而pi=3.14又使得auto不能是int，所以编译不通过。

复合类型、常量和auto

编译器推断的auto类型有时候和初始值的类型并不完全一样，编译器会适当地改变结果类型。

• 对于引用，在绝大多数情况下（有一个地方是例外下面会讲到）可以认为对引用的操作就是对与其绑定的对象的操作，所以如果引用被用作初始化时，实际上参与的是其绑定的对象，编译器判断的类型就是这个对象的类型而不是引用。

  int i = 0, &r = i;
  auto a = r;   //a是int型而不是int&
  

• auto一般会忽略掉顶层const，底层const则会被保留

  const int ci = i, &cr = ci;
  auto b = ci;    //b是一个整数（ci的顶层指针被忽略掉了）
  auto c = cr;    //引用等价于对其绑定的对象的操作
  auto d = &i； //d是整型指针（整数的地址对应整型指针）
  auto e = &ci；//e是一个指向整数常量的指针（对常量取地址是一个底层的const）
  

• 如果希望推断出的auto是一个顶层const，需要明确指出：

  const auto f = ci;  //ci推出是int，所以是const int
  

• 上面我们说auto会一般会忽略掉顶层const，但是如果我们定义一个auto的引用时，顶层的const则会被保留（C++坑真多）

  auto &g = ci; //g是一个整型常量的引用，即auto等价于const int
  

三、decltype类型指示符

有时候我们希望从表达式的类型推断出要定义的变量类型，但是不想用该表达式的值初始化变量。C++11引入了decltype。编译器分析表达式并得到其类型，但是不计算表达式的值。

decltype(f()) sum = x;  //sum的类型就是函数f返回的类型，但是编译器并不实际调用函数

• 如果decltype使用的是一个变量，则decltype返回该变量的类型（包括顶层const）

  const int ci = 0,&cj = ci;
  decltype(ci) x = 0;          //x的类型是const int
  decltype(cj) y = x;         //y的类型是const int&
  decltype(cj) z;              //错误，引用必须初始化
  

  我们看上面的第三行代码，我们之前说引用绝大多数情况下都可以认为是对象的同一词，但是在decltype时是一个例外， 这里并没有获取其对象的类型，而是引用类型。

• 如果decltype使用的不是一个变量，则decltype返回表达式结果对应的结果。

int i = 42, *p = &i, &r = i;
decltype(r+0) b;  //正确，加法的结果是int
decltype(*p) c; //错误：c是int&，必须初始化

看到第三行会觉得很奇怪，为什么获得的类型是int&呢？这是因为对*p的结果就是i的值，并且能够进行读写，这于引用时等价的，所以对指针的解引用就得到了引用类型。
还有一个需要突出强调的是如果decltype使用一个加了括号的变量，那么这个变量将会被当做表达式处理，由于变量可以作为赋值语句的左值，则会返回一个引用类型：

decltype((i)) d;  //错误，d是int&，必须初始化
decltype（i）e; //正确，e是一个int