类型别名，auto，decltype

Posted 2021-01-24 acgame

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 }