C++ auto类型和decltype类型简介

1. 处理类型

1.1 类型别名

1. typeof

typedef double a;
typedef wages base,*p; //等价于 double base ，*p;

2. using

using SI = Sales_item;
SI item;//等价于 Sales_item item;

1.2 auto 类型

1. auto 让编译器通过初始值来推断变量的类型，显然,auto定义的变量必须由初始值
2. 使用auto也能在一条语句中声明多个变量。因为一条声明语句只能有一个基本数据类型，所以该语句中所有变量的初始基本数据类型必须一样。
3. 编译器推断出来有时候和初始值类型并不完全一样，编译器会适当地改变结果使其更符合初始化规则。
4. auto一般会忽略掉顶层const同时底层const则会保留下来(如果希望推断出来的auto类型是一个顶层const,需要明确指出

例:const int ci = 0;
const auto f = ci;

5. 还可将引用类型设为auto，此时原来的初始化规则任然适用

auto &g = ci; // g是一个整型常量引用，绑定到ci
auto &h = 42 // 错误: 不能为非常量引用绑定字面值
const auto &j = 42; // ok: we can bind a const reference to a literal

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

1.3 decltype类型

1. 作用是选择并返回操作数的数据类型。在此过程中，编译器分析表达式并得到它的类型，却不实际计算表达式的值。
2. decltype使用表达式一个变量，则返回该变量的类型(包括顶层const 和 引用在内);

const int ci = 0, & cj = ci;
decltype (ci) x = 0; // const int
decltype (cj) y = x; // const int &
decltype (cj) z;// 错误引用必须有初始化

3. 引用从来都是作为其所指对象的同义词出现，只有用在decltype处是一个列外
4. 如果decltype使用表达式不是一个变量，则返回表达式结果对于的类型

int i = 42, * p = &i, & r = i;
decltype(r + 0) b;// 加法的结果是int ，b是一个未初始化的int
decltype(*p) c; // 错误： c 是int& 解引指针可以得到指针所指的对象，而且还能给这个对象赋值,因此结果为int &

5. 如果在名字前面加上了一对括号，则得到与不加括号时会不一样,如果名字加上一层或多层括号的时编译器将会把它当成一个表达式，因为变量是一种可以作为赋值语句左值的特殊表达式

decltype((val)) 的结果永远时引用
decltype(val)结果只有当val本身就是一个引用的时才是引用

6. 赋值是会产生引用的一类典型表达式,引用的类型就是左值类型