《C++ Primer 第五版》第二章(第5小节）——using和typedef，auto和decltype总结

1.using和typedef（作用：定义类型别名）

        1)typedef和using都可以用来定义一个类型别名，二者在类型别名上定义没有区别。只是需要注意的是类型和类型别名的顺序，使用typedef定义类型别名的结构为 typedef 类型 类型别名；使用using定义类型别名的结构为using 类型别名=类型；

        2）但在定义类型模板的情况下，只能使用using。

        typedef的四大用途和两大陷阱(参考博客：https://blog.csdn.net/ameyume/article/details/6326278#commentsedit）：博主介绍的特别详细。

        typedef使用功能强大，主要分为一下四个方面的用途：1）定义一种类型别名，不等同于宏替换，特别是定义复杂结构类型的时候，如typedef char *Pstring; const Pstring mystring;这里定义的是一个常量指针mystring(由于typedef定义类型别名是一个指向char类型的指针，因此加上const之后只是说指针变成了常量指针)，如果采用宏替换的话，得到的结果就是mystring是一个指向常量的指针。2）typedef可以帮助C中简化结构体的定义；没有使用typedef定义的结构体为：struct student_info{ int age; int ID;};struct student_info zhangsan;使用typedef定义的结构体为：typedef struct student_info{ int age; int ID;}Student_info; Student_info zhangsan;(这里的Student_info就是 struct student_info的别名，在C++结构体定义对象时可以不用使用typedef,因为C++定义对象不需要写struct）3）用typedef可以用来定义与平台无关的类型，标准库中的size_t就是采用这种方法，在做跨平台代码移植的时候，typedef的用途更加明显，只需要修改typedef本身的类型，而不需要修改源码）4）使用typedef可以简化复杂的声明，简化的规则是从外到里，逐层使用typedef替换，最后可以得到原声明的最简化版本。

       typedef的两大陷阱在于：1）typedef是定义一个类型别名，分析代码的时候需要使用类型别名的含义去分析，而不能做类型替换去分析。2）typedef 就像 auto，extern，mutable，static，和 register 一样，是一个存储类关键字,在定义类型别名的时候，不能同时出现两个存储类的关键字。

2.auto和decltype（作用：获取对象或者表达式的类型）

       为了方便在编程中了解某个对象或者表达式的类型，C++11提供了auto和decltype来得到表达式或者对象的类型。在此之前复习一下上一节中所述的顶层const和底层const的概念：1）顶层const:定义的变量本身是一个常量，如常量内置类型数据和常量指针；2）底层const：指针指向的数据或者引用绑定的数据是一个常量，如指针常量和常量引用；

       使用auto类型说明符应注意以下几个规则：1）auto可以在一条语句中声明多个变量，但是多个变量的类型必须一致；2）使用auto时，编译器一般会忽略顶层const,保留底层的const，也就是要分析左侧auto的类型，右侧的顶层const属性去掉。3）在2）的基础上，如果希望保留右侧对象的顶层const属性，只需要在auto前面加上const即可；4）当使用auto来得到引用类型时，如果右侧是字面值常量时，需要在auto前面加上const，如 3）中介绍。使用auto类型说明符的结论是采用 1）2）来分析auto的类型，然后再使用句法来分析赋值是否正确。

        使用decltype类型指示符需要注意一下几个规则：1）当decltype括号中的是一个变量，则返回的是变量的类型(包含顶层const和引用），可以使用decltype去获取引用(对象的别名)的类型，这里对于引用来说是个例外；2）当decltype括号中的类型是一个表达式时，则返回的是表达式结果的类型。3）如果括号中的是一个解引用或者给变量加多层括号，则返回的是引用类型(引用类型和解引用的结果或括号中的变量结果相同)，因为变量是一种可以作为左值的特殊表达式（只有括号中是变量才是这种情况，否则多个括号情况就按表达式来分析）；

       auto和decltype的区别在于：auto是获取右侧数据的类型，并对变量进行赋值操作；而decltype只是为了获取括号中的表达式的类型，其结果类型和表达式的形式有关。