处理类型（Dealing with Types）

类型别名

1.类型别名（type alias）是一个名字，是某种类型的同义词。由2种方法用于定义类型别名：

（1）传统方法使用关键字typedef:

typedef double wages;  //wages是double的同义词
typedef wages base, *p;//base是double的同义词，p是double*的同义词

（2）C++11新标准规定了 一种新的方法，使用别名声明（alias declaration）来定义类型的别名：

using SI = Sales_item; //SI是Sales_item的同义词

2.遇到使用类型别名的声明语句时，人们往往会错误地尝试把类型别名替换成它本来的样子，以理解语义：

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

不能替换如下来理解：

const char *cstr = 0;  //是对const pstring cstr的错误理解

auto类型说明符

1.C++新标准引入auto类型说明符，auto让编译器通过初始值来推算变量的类型，显然，auto定义的变量必须有初始值：

//由val1和val2相加的结果可以推断item的类型
auto item = val1 + val2; // item初始化为val1和val2相加的结果

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

auto i = 0, *p = &i;
auto sz = 0, pi = 3.14;//错误：sz和pi的类型不一样

2.auto一般会忽略顶层cosnt（但auto的引用不会），底层const则会保留下来，例如当初始值是一个指向常量的指针时：

const int ci = i, &cr = ci;
auto b = ci;    //b是一个整数（ci的顶层const特性被忽略掉了）
auto c = cr;    //c是一个整数（cr是ci的别名，ci本身是一个顶层const）
auto d = &i;    //d是一个整型指针（整数的地址就是指向整数的指针）
auto e = &ci;   //e是一个指向整数常量的指针（对常量对象取地址是一种底层const）

若希望推断出auto类型是一个顶层const，需要明确指出：

const auto f = ci;  //ci的推演类型是int，f是const int

也可以将引用的类型设为auto：

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

3.设置一个类型为auto的引用时，初始值中的顶层常量属性仍然保留。若给初始值绑定一个引用，则此时的常量就不是顶层常量了（const引用都是底层const）。

auto k = ci, &l = i;   //k是一个整数（ci的顶层const特性被忽略掉了）,l是整型引用
auto &m = ci, *p = &ci;//m是对整型常量的引用，p是指向整形常量的指针
auto &n = i, *p2 = &ci;//错误：i的类型是int而&ci的类型是const int

decltype类型指示符

1.有时希望从表达式的类型推断出要定义的变量的类型，但是不想用该表达式的值初始化变量，于是C++新标准引入了第二种类型说明符decltype，其作用是选择并返回操作数的数据类型。在此过程中，编译器分析表达式并得到它的类型，却不实际计算表达式值的：

decltype(f()) sum = x;  //sum的类型是函数f的返回类型，编译器为sum指定f被调用返回的类型

2.decltype处理顶层const和引用的方式和auto有些许不同。

（1）若decltype使用的表达式是一个变量，则decltype返该回变量的类型（包括顶层const和引用在内）：

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

note：引用从来都作为其所指对象的同义词出现，只有用在decltype处是一个例外。

（2）若decltype使用的表达式不是一个变量，则返回表达式结果对应的类型。

//decltype的结果可以是引用类型
int i = 4, *p = &i, &r = i;
decltype(r + 0) b;    //正确：加法的结果是int, 因此b是一个（未初始化的）int
decltype(*p) c;       //错误：c是int&，必须初始化

因为r是一个引用，因此decltype(r)的结果是引用类型。若想让结果类型是r所指的类型，可以把r作为表达式的一部分，如上述r+0。

另一方面，若表达式的内容是解引用操作，则decltype将得到引用类型。所以decltype(*p)的结果类型是int&。

(3)decltype和auto的另一重要区别是，decltype的结果类型与表达式形式密切相关。其中，对于decltype所用的表达式来说，若变量名加上了一层或多层括号，编译器就会把它当作一个表达式。变量是一种可以作为赋值语句左值的特殊表达式，所以这样的decltype就会得到引用类型：

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

note：decltype((variable))（注意是双层括号）的结果永远是引用