C++Primer第2章(5)处理类型

2.5 处理类型

2.5.1 类型别名

定义类型别名的传统方法是关键字typedef

typedef double wages;
typedef wages base, *p;

新标准还一种方法,就是用别名声明来定义类型的别名

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

指针,常量和类型别名

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

const是对给定类型的修饰,pstring是指向char的指针,因此const pstring 就是指向char的常量指针,而非指向常量字符的指针.

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

​ 声明语句中用到pstring时,其基本数据类型是指针.可是用char* 重写了声明语句后,数据类型就变成了char，* 成为了声明符的一部分。这样改写的结果是，const char成了基本数据类型。前后两种声明含义截然不同，前者声明了一个指向char的常量指针,改写后的形式则声明了一个指向const char的指针。

2.5.2 auto类型说明符

​ auto类型说明符能让编译器替我们分析表达式的所属类型.

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

复合类型、常量和auto

​ 编译器推断出来的auto类型有时候和初始值的类型并不完全一样，编译器会适当地改变结果类型使其更符合初始化规则。

​ auto一般会忽略掉顶层const,底层const则会保留。

​ 如果希望推断出的auto类型是一个顶层const，需明确指出

​ 设置一个类型为auto的引用时，初始值中的顶层常量属性仍然保留。

2.5.3 decltype类型指示符

​ 为了满足希望从表达式的类型推断出要定义的变量的类型，但是不想用该表达式的值初始化变量。C++11引入了第二种类型说明符decltype,它的作用是选择并返回操作数的数据类型。在此过程中，编译器分析表达式并得到它的类型，但不实际计算表达式的值。

decltype(f()) sum = x; //sum的类型就是函数f的返回类型

编译器并不实际调用函数f,而是使用当调用发生时f的返回值类型作为sum的类型。

​ 如果decltype使用的表达式是一个变量，则其返回该变量的类型(包括顶层const和引用在内)。

decltype和引用

​ 如果decltype使用的表达式不是一个变量，则其返回表达式结果对应的类型。

​ decltype的结果类型与表达式形式密切相关。对于decltype所用的表达式来说，如果变量名加上了一对括号，则得到的类型与不加括号时会有所不同。

decltype精讲:C++ decltype（类型推导）精讲 (biancheng.net)