《C++ Primer》第2章 变量和基本类型

2.3.1 引用

定义引用时，程序把引用和它的初始值绑定(bind)在一起，而不是将初始值拷贝给引用。一旦初始化完成，引用将和它的初始值对象一直绑定在一起。因为无法令引用重新绑定到另一个对象，因此引用必须初始化。
引用并非对象，相反的，它只是为一个已经存在的对象所起的另一个名字
为引用赋值，实际上是把值赋给了引用绑定的对象。获取引用的值，实际上是获取了与引用绑定的对象的值。因为引用本身不是一个对象，所以不能定义引用的引用。
一般情况下，所有引用的类型都要与其绑定的对象的类型严格匹配。

2.4.1 const的引用

可以把引用绑定到const对象上，我们称之为对常量的引用。常量引用初始化时允许用任意表达式作为初始值，只要改表达式的结果能装换成引用的类型即可。

int i = 42；//允许将const int&绑定到一个普通int对象上
const int &r1 = i;//正确：r1是一个常量引用
const int &r2 = 42;//正确：r3是一个常量引用
const int &r3 = r1 * 2;//错误：r4是一个普通的非常量引用
int &r4 = r1 * 2;//
double dval = 3.14;//
const int &r1 = dval;//

2.3.2 指针

• void* 指针：void是一种特殊的指针类型，可用于存放任意对象的地址。一个void指针存放着一个地址，这一点和其他指针类似。不能直接操作void*指针所指向的对象，因为我们并不知道这个对象到底是什么类型，也无法确定能在这个对象上做哪些操作。

2.4.3 顶层const

用名词顶层const表示指针本身是个常量，而用名词底层const表示指针所指向的对象是一个常量。

2.4.4 constexpr和常量表达式

常量表达式是指值不会改变并且在编译过程中就能得到计算结果的表达式。
一般来说，如果你认定变量是一个常量表达式，那就把它声明成constexpr类型。
常量表达式的值需要在编译时就得到计算，因此对声明constexpr时用到的类型必须有所限制。

2.5.2 auto类型说明符

C++11新标准引入了auto类型说明符，用它就能让编译器替我们去分析表达式所属的类型。和原来那些只对应一种特定类型的说明符不同，auto让编译器用过初始值来推算变量的类型。

//由vall和val2相加的结果可以推断出item的类型
auto item = val1 + val2；//item初始化为val1和val2相加的结果

使用auto也能在一条语句中声明多个变量。因为一条声明语句只能有一个基本数据类型，所以该语句中所有变量的初始基本数据类型都必须一样。
auto一般会忽略掉顶层const，同时底层const则会保留下来。如果希望推断出的auto类型是一个顶层const，需要明确指出。
还可以将引用的类型设为auto，设置一个类型为auto的引用时，初始值中的顶层常量属性仍然保留。

2.5.3 decltype类型指示符

decltype处理顶层const和引用的方式与auto有些许不同。如果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是一个引用，必须初始化

decltype和引用
如果decltype使用的表达式不是一个变量，则decltype返回表达式结果对应的类型。但有些表达式返回一个引用类型。
如果表达式的内容是解引用操作，则decltype将得到引用类型。
decltype((variable))的结果永远是引用。