c++primer学习笔记-----2.5处理类型

随着程序越来越复杂，程序中用到的类型也越来越复杂，这种复杂性体现在两个方面：

第一，  一些类型难于“拼写”，有时其名字难于体现其构造目的和含义；

第二，  有时候根本搞不清所需的是哪种类型。

 

2.5.1 类型别名（新标准）

 

【类型别名是一个名字，它是某种类型的同义词，有两种方法可以定义类型别名。】

 

【传统的方法是使用关键字typedef，关键字typedef 作为声明语句中的基本数据类型的一部分出现，该声明语句定义的不再是变量而是类型别名。

该声明语句中的声明符也可包含类型修饰，从而也能由基本数据类型构造出复合类型来（可以不通过基本类型而直接定义指向该类型的指针）。

大部分情况下类型别名和类型的名字等价，但当如果类型别名指代的是复合类型或常量时，再把两者视为等价进行理解就是错误的。

typedef char *pstring;
const pstring cstr = 0;//cstr 是指向char 的常量指针
const char *cstr = 0;//单纯的把类型别名对应的原名替换，是对类型别名的一种错误理解

】

 

【c++ 新标准规定了一种新方法，使用别名声明：

使用关键字using 作为别名声明的开始，其后紧跟别名和等号，其作用是把等号左侧的名字规定成右侧类型的别名。

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

】

 

2.5.2 auto 类型说明符（新标准）

 

【在复杂的程序中，有时判断表达式的类型是一件很难的事，c++11 新标准引入了auto 类型说明符，用它来让编译器去分析表达式所属的类型。

auto 类型通过初始值来推算变量的类型，显然auto 定义的变量必须有初始值。】

 

【使用auto 说明符的一条声明语句也可以声明多个变量，但必须保证这些变量对应的基本数据类型是相同的。

auto i = 0, *p = &i;//正确，基本数据类型都是int
auto sz = 0, pi = 3.14;//错误，前者基本数据类型是int，后者是double

】

 

【在auto 声明语句中，当引用被用作初始值时，参与初始化的对象实际上是引用所绑定的对象。

int i = 0, &s= i;
auto a = r;//a 是一个整形

】

 

【auto 类型声明中，通常会忽略掉声明类型的顶层const，但会保留声明类型的底层const（为了类型操作的一致性）（对于引用类型，有底层const 一定也有顶层const。）

int i = 0;//i 是一个整形非常量
const int ci = i, &cr = ci;//ci 是一个整型常量，cr 是一个绑定到ci 上的常量引用
auto b = ci;//b 是一个整形非常量（忽略了b的顶层const）
auto c = cr;//c 是一个整形非常量（先把引用替换成原值，之后同上）
auto d = &i;//d 是一个指向整形非常量的指针（整数地址的类型就是指向整数的指针）
auto e = &ci;//e 是一个指向整数常量的指针（保留了&ci 的底层const 以保证操作的一致性）
auto &f = ci;//f 是一个绑定在整数常量上的常量引用（保留了f 的底层const 以保证操作的一致性，实际上也保留了ci 的顶层const）

】

 

【如果希望auto 推断出的类型保留对应的顶层const，需要加const 关键字指出。

const int ci = 0;//ci 是一个整型常量
const auto g = ci;//通过const 关键字定义出了整型常量g
auto &h = 42;//错误，42 的类型是int 但int & 类型不能绑定在字面值上
const auto &j = 42;//正确，const int &可以绑定在字面值上
const auto *k = &ci;//k 是一个指向整型常量ci 的常量指针

】

 

2.5.3 decltype 类型指示符（新标准）

 

【当希望从表达式的类型推断出要定义的变量类型，却不想用该表达式的值初始化变量时，可以使用c++ 新标准引入的decltype 类型说明符。

decltype(f()) sum = x;//编辑器并不实际调用函数f，只是使用当调用f 时返回值的类型

】

 

【decltype 在处理const 和引用时，是严格的按照原样返回的，这点与auto 不同。

const int ci = 0, &cj = ci;//ci 是一个整型常量，cj 是一个常量引用
decltype(ci) x = 0;//x 是一个整型常量，保留了x 该有的顶层const
decltype(cj) y = x;//y 是一个常量引用，保留了cj的引用类型（引用从来只作为其绑定对象的同义词，只在decltype 中不作为同义词使用）

】

 

【如果decltype 使用的表达式是一个变量，则decltype返回该变量的类型。

如果decltype 使用的表达式不是一个变量，则decltype返回表达式结果的类型：

有些表达式将向decltype 返回一个引用类型（4.1.1），通常此时该表达式的结果能作为一条赋值语句的左值。

int i = 42, *p = &i, &r = i;
decltype(r + 0) b;//该加法表达式的结果是int类型，所以b 是int 类型的变量
decltype(*p) c;//错误，*p 表达式返回的是引用类型，引用类型c 必须初始化
decltype((i)) d;//错误，变量加上一层括号之后，编译器会认为它是一个表达式，而该表达式返回的是引用类型，必须进行初始化（少一层括号的话，该语句就没有错了）

】