1. 处理类型
1.1 类型别名
- typeof
typedef double a;
typedef wages base,*p; //等价于 double base ,*p;
- using
using SI = Sales_item;
SI item;//等价于 Sales_item item;
1.2 auto 类型
- auto 让编译器通过初始值来推断变量的类型,显然,auto定义的变量必须由初始值
- 使用auto也能在一条语句中声明多个变量。因为一条声明语句只能有一个基本数据类型,所以该语句中所有变量的初始基本数据类型必须一样。
- 编译器推断出来有时候和初始值类型并不完全一样,编译器会适当地改变结果使其更符合初始化规则。
- auto一般会忽略掉顶层const同时底层const则会保留下来(如果希望推断出来的auto类型是一个顶层const,需要明确指出
例:const int ci = 0;
const auto f = ci;
- 还可将引用类型设为auto,此时原来的初始化规则任然适用
auto &g = ci; // g是一个整型常量引用,绑定到ci
auto &h = 42 // 错误: 不能为非常量引用绑定字面值
const auto &j = 42; // ok: we can bind a const reference to a literal
- 设置一个类型为auto的引用时,初始值中的顶层常量属性仍然保留。
1.3 decltype类型
- 作用是选择并返回操作数的数据类型。在此过程中,编译器分析表达式并得到它的类型,却不实际计算表达式的值。
- decltype使用表达式一个变量,则返回该变量的类型(包括顶层const 和 引用在内);
const int ci = 0, & cj = ci;
decltype (ci) x = 0; // const int
decltype (cj) y = x; // const int &
decltype (cj) z;// 错误引用必须有初始化
- 引用从来都是作为其所指对象的同义词出现,只有用在decltype处是一个列外
- 如果decltype使用表达式不是一个变量,则返回表达式结果对于的类型
int i = 42, * p = &i, & r = i;
decltype(r + 0) b;// 加法的结果是int ,b是一个未初始化的int
decltype(*p) c; // 错误: c 是int& 解引指针可以得到指针所指的对象,而且还能给这个对象赋值,因此结果为int &
- 如果在名字前面加上了一对括号,则得到与不加括号时会不一样,如果名字加上一层或多层括号的时编译器将会把它当成一个表达式,因为变量是一种可以作为赋值语句左值的特殊表达式
decltype((val)) 的结果永远时引用
decltype(val)结果只有当val本身就是一个引用的时才是引用
- 赋值是会产生引用的一类典型表达式,引用的类型就是左值类型