类型别名,auto,decltype

Posted acgame

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了类型别名,auto,decltype相关的知识,希望对你有一定的参考价值。

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 }

 

以上是关于类型别名,auto,decltype的主要内容,如果未能解决你的问题,请参考以下文章

C++学习笔记——auto/decltype 自动推导类型

C++学习笔记——auto/decltype 自动推导类型

C++学习笔记——auto/decltype 自动推导类型

C++学习笔记——auto/decltype 自动推导类型

auto和decltype

auto+decltype