2.5类型别名，auto, decltype

类型别名

两种方式：（1）typedef （2）别名声明using SI = Sales_item;

复合类型和类型别名

typedef char *pstring;
const pstring cstr = 0;  //cstr是指向char的常量指针
const pstring *ps;  //ps是一个指针，它的对象是指向char的常量指针

注意：遇到一条使用了类型别名的声明语句，不要把类型别名替换成他本来的样子再去理解！如const pstring，这是指向char的常量指针，不是指向常量字符的指针！因为声明语句中用到pstring时，基本数据类型是char*，但是用char*重写了之后数据类型就变成了char。

auto类型说明符

C++11引入，目的是让编译器替我们去分析表达式所属的类型。

auto定义的变量必须有初始值。

auto可以在一条语句中声明多个变量，但是该语句中所有变量的初始基本数据类型必须都一样。

auto i = 0, *p = &i;
auto sz = 0, pi = 3.14;  //错误，sz和pi类型不一样。因为前面是auto，所以不会进行类型转换让pi=3。如果auto换成int，这句话没错

引用被用作auto变量的初始值，那么真正参与初始化的是他引用的对象的值。

auto一般会忽略掉顶层const，底层const会保留。

int i = 0, &r = i;
const int ci = i, &cr = ci;
auto b = ci;   //b是整数，ci的const是顶层const，被忽略掉
auto c = cr;  //c是整数，cr是引用，用引用作为初始值，真正参与初始化的是他引用的对象的值
auto d = &i;  //d是一个整型指针
auto e = &ci;  //e是指向整数常量的指针，取地址是一种底层const，保留

auto类型正常不会是顶层const，除非明确指出：

const auto f = ci;   //f是const int

定义auto的引用，顶层const仍然保留

auto &g = ci;   //ci是整型常量引用
auto &h = 42;  //错误，不能为非常量引用绑定字面值，常量引用可以绑定字面值
const auto &j = 42;  //正确，常量引用可以绑定字面值

一条语句中可以定义多个变量，包括指针和引用，但是&和*只属于某个声明符，不是基本数据类型的一部分，因此初始值必须是同一种类型。

auto k = ci, &l = i;
auto &m = ci, *p = &ci;
auto &n = i, *p2 = &ci;  //i的类型是int，ci的类型是const int

decltype类型指示符

decltype作用是选择并返回操作数的数据类型。decltype(f()) sum = x; sum的类型就是函数f的返回类型。

decltype使用的表达式是一个变量：

如果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;        //错误，z是引用，必须初始化

引用从来都作为其所指对象的同义词出现，只有在decltype处是个例外。
decltype使用的表达式不是一个变量：

如果decltype使用的表达式不是一个变量，则decltype返回表达式结果对应的类型。如果该表达式的结果对象能作为一条赋值语句的左值，则decltype返回一个引用类型。注意，把变量外面加上括号，将看做表达式。

int i = 42, *p = &i, &r = i;
decltype(r + 0) b;     //r+0的结果的类型是int，所以b是一个int
decltype(*p) c;         //错误！c的类型是int&，必须初始化
decltype((i)) d;         //错误！d是int&，必须初始化
decltype(i) e;            //正确。e是一个int

如果表达式的内容是解引用操作，则decltype将得到引用类型。所以decltype(*p)的类型是int& 而不是 int。

decltype((variable))的结果永远是引用，而decltype(variable)的结果只有当variable本身就是一个引用时才是引用。