1、类型别名
类型别名是某种类型的同义词。
1 int main() 2 { 3 typedef char *ps; // ps是类型char*的别名 4 const ps p1 = 0; // p1是指向char的常量指针 5 const ps *p2; // p2是一个指针，它的对象是指向char的常量指针 6 return 0; 7 }
注意：遇到使用了类型别名的声明语句时，人们往往会错误地尝试把类型别名替换成它本来的样子去理解，这种理解方法是错误的；要将类型别名看成是一个基本数据类型去理解。
2、auto类型说明符
使用auto类型说明符能让编译器替我们去分析表达式所属的类型。编译器推断出来的auto类型有时候和初始值的类型并不完全一样，编译器会适当地改变结果类型使其更符合初始化规则。
1 int main() 2 { 3 /* 4 当引用被用作初始值时，真正参与初始化的其实是引用的对象的值， 5 此时编译器以引用对象的类型作为auto的类型。 6 */ 7 auto i = 0, &r = i; 8 auto a = r; // a是一个整数 9 /* 10 auto一般会忽略掉顶层const，底层const会保留下来 11 */ 12 const int ci = i, &cr = ci; 13 auto b = ci; // b是一个整数（ci的顶层const特效被忽略掉了） 14 auto c = cr; // c是一个整数（cr是ci的别名，ci本身是一个顶层const） 15 auto d = &i; // d是一个整型指针 16 auto e = &ci; // e是一个指向常量的指针（对常量对象取地址是一种底层const） 17 /* 18 如果希望推断出的auto类型是一个顶层const，需要明确指出 19 */ 20 const auto f = ci; // ci的推演类型是int，f是const int 21 /* 22 可以将引用的类型设为auto，此时原来的初始化规则仍然使用；设置一个类型 23 为auto的引用时，初始值中的顶层const仍然保留。如果我们给初始值绑定一个引用， 24 则此时的常量就不是顶层const了。 25 */ 26 auto &g = ci; // g是一个整型常量引用，绑定到ci 27 //auto &h = 42; // 错误：不能为非常量引用绑定字面值 28 const auto &j = 42; // 可以为常量引用绑定字面值 29 return 0; 30 }
3、decltype类型说明符
decltype的作用是选择并返回操作数的数据类型。在此过程中，编译器分析表达式并得到它的类型，却不实际计算表达式的值。
如果decltype使用的表达式是一个变量，则decltype返回该变量的类型（包括顶层const和引用在内）。
1 int main() 2 { 3 const int ci = 0, &cj = ci; 4 decltype(ci) x = 0; // x的类型是const int 5 decltype(cj) y = x; // y的类型是const int &，y绑定到变量x 6 //decltype(cj) z; // 错误：z是个引用，必须初始化 7 return 0; 8 }
如果decltype使用的表达式不是一个变量，则decltype返回表达式结果对应的类型。有些表达式将向decltype返回一个引用类型。一般来说，当这种情况发生时，意味着该表达式的结果对象能作为一条赋值语句的左值。如果表达式的内容是解引用操作，则decltype将得到引用类型。
1 int main() 2 { 3 int i = 42, *p = &i, &r = i; 4 decltype(r + 0) b; // 加法的结果是int，因此b是一个未初始化的int 5 //decltype(*p) c; // 错误：c是int&，必须初始化 6 return 0; 7 }
对于decltype所用的表达式来说，如果变量名加了一对括号，则得到的类型和不加括号时会有不同。如果decltype使用的是一个不加括号的变量，则得到的结果就是该变量的类型；如果给变量加上了一层或多层括号，编译器就会把它当成是一个表达式。变量是一种可以作为赋值语句左值的特殊表达式，所以这样的decltype就会得到引用类型。
1 int main() 2 { 3 int i = 42; 4 //decltype((i)) d; // 错误：d是int&，必须初始化 5 decltype(i) e; // e是一个未初始化的int 6 return 0; 7 }