C++Primer（第二章2.5总计 处理类型）

2.5 处理类型
2.5.1 类型别名
传统法：
关键字：typedef

例如：typedef double wages;//wages现在是double同义词
重点！ typedef wages base,*p//现在base是double的同义词没有问题，注意！p是double * 的同义词

C++后来引入了一种新的方法，别名声明来定义类型的别名。

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

超级重点！！
如果某个类型别名指代的是复合类型或者常量，将他们使用到声明语句中会产生很多意想不到的后果。

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

对于const pstring cstr=0;
正确的理解是：pstring是一个整体，他是一个指向char的指针，因此，const pstring就是指向char的常量指针。而非指向常量字符的指针。

错误的理解：将pstring替换成char*得到const char * cstr=0；这样const就变成修饰char然后再跟其他的，const char成了基础类型数据类型。

为了避免这种错误替换的时候 可以加一个括号来避免误配如const （char*） str=0;,表示const是修饰（char*）这个整体的,这个方法是用来理解的，程序编译无法通过

2.5.2auto类型说明符
关键字：auto类型说明符
作用：auto使编译器通过初始值来推算变量的类型，因此！！！auto必须有初始值。
举例：

 int b=1;
 double c=2.5;
 auto a=b+c//先计算右边，int和double相加，int类型被提升，所以计算结果就为double因而a的类型也为a

注意事项auto允许一行有多个变量声明，但是必须为同一类型
举例：

auto i=0,*p=&i;//正确，i是整型，p是整型指针
auto sz=0,pi=3.14;//错误:sz和pi的类型不一样

需要注意的还有编译器推断出来的auto类型有时候和初始值的类型并不完全一样，编译器会适当地改变结果类型使其更符合初始化规则。
首先正如我们所熟知的，使用引用其实是使用引用的对象，特别是当引用被用作初始值时，真正参与初始化的其实是引用对象的值。

int i=0,&r=i;
auto a=r;//a是一个整型（r是i的别名，而i是一个整数）

而且auto一般会忽略掉顶层const，同时底层const则会保留下来，比如当初始值是一个指针常量时：

const int ci=i,&cr=ci;
auto b=ci;//b是一个整数（ci是顶层const特性被忽略了）
auto c=cr;//c是一个整数（cr是ci的别名，ci本身是一个顶层const）
auto d=&i;//d是一个整型指针（整数的地址就是整数的指针）
auto e=&ci;//e是一个指向整数常量的指针（对常量对象取地址是一种底层const）

如果希望推断出auto的类型是一个顶层cosnt
可以这样写 const auto f=ci;//ci的推断类型是int，f是const int

还可以将引用的类型设为auto，

auto &g=ci;//g是一个整型常量引用，绑定到ci
auto &h=42;//错误：不能为非常量引用绑定字面值
const auto &j=42;//正确：可以为常量引用绑定字面值

切记&和*只从属于某个声明符，而非基本数据类型的一部分，因此初始值必须是同一种类型

auto k=ci,&l=i//k是整数，l是整型引用
auto &m=ci,*pi=&ci;//m是对整型常量的引用，p是指向整型常量的指针
auto &n=i,*pi=&ci;//错误i是int类型，而&ci的类型是const int

关键字：decltype类型指示符

作用：可以从出表达式的类型推断出要定义的变量的类型，与auto的不同之处是它可以不初始化变量。

decltype与auto不同点：
1.decltype处理表达式的变量，则decltype 返回该变量的类型（包括顶层const 和引用在内）：

const int ci=0,&cj=ci;
decltype(ci)x=0;//x的类型是const int
decltype(cj)y=x;//y的类型是const int&，y绑定到变量x
decltype(cj)z;//错误：z是一个引用，必须初始化

在c++中引用从来都是作为其所指对象的同义词出现的，只有用在decltype处是一个例外。

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

int i=42,*p=&i,&r=i;
decltype(r+0)b;//正确：int&+int得到int,因为b是一个未初始化的int
decltype（*p)c;//错误：c是int&，必须初始化，如果表达式的内容是解引用操作，则decltype将得到引用类型

解引用指针可以得到指针所指的对象，而且还能给这个对象赋值，因此，decltype（*p）的结果类型就是int&，而非int。

最难点！！

//decltype的表达式如果加上括号的变量，结果将是引用
decltype（（i))d;//错误：d是int&，必须初始化
decltype (i)e;//正确：e是一个（未初始化的int)

为什么decltype(())这种形式就是引用呢
因为不加括号里面的各种类型就会相加最后统一成一个类型，最后给decltype判断，加上括号后就不会相加了，看成一个整体表达式，因而得到引用类型