[C++知识库]C++Primer第5版 Const auto decltype

如果想多个文件之间共享const对象，必须在变量的定义之前添加extern关键字

初始化和对const的引用:引用的类型必须与其所引用对象的类型一致，但是有两个例外。第一种例外情况就是在初始化常量 允许使用任意表达式作为初始值。只要表达式的结果能转换成引用的类型即可，允许一个常量引用绑定非常量的对象，字面值，甚至是一个一般表达式

double dval=3.14;

const int & ri=dval;

此处ri引用了一个int形的数，对ri的操作应该是整数运算，但dval却是一个双精度浮点数而非整数，因此为了ri绑定一个整数，编译器会自动变成以下形式。

const int temp=dval;

const int &ri=temp;

在这种情况下，ri绑定了一个临时量，所谓临时量对象就是当编译器需要一个空间来暂存表达式的求值结果时临时创建的一个未命名的对象。程序员们经常把临时对象简称为临时量。 当ri不是常量是，就允许对ri赋值，这样就会改变ri所引用对象的值，但是引用对象是一个临时量，c++把这种行为归为非法

顶层const:表示指针本身是个常量(不可以改变值)? ? 底层const:表示指针所指向的对象是一个常量(可以改变值)

constexpr和常量表达式:

常量表达式是指不会改变并且在编译过程就能得到计算结果的表达式。

指针和引用都能定义称constexpr，但他们的初始值受到限制，constexpr指针的初始值必须是nullptr或者0，或者是储存于某个固定地址中的对象，函数体内定义的变量一般处于非固定地址中，函数体之外的对象地址固定不变。

constexpr如果定义了一个指针，仅对指针有效，与指针所指向的对象无关。

const int *p=nullptr;//p是一个指向整形常量的指针

constexpr int*q=nullptr;//q是一个指向整数的常量指针

auto类型说明

让编译器通过初始值来推算变量的类型，auto定义的变量必须有初始值

auto能在一条语句中声明多个变量。因为一条声明语句中只能有一个基本数据类型，所以该语句中所有的变量的初始基本数据类型都必须一样

auto在推断初始值是会忽略const顶层，留下const底层

auto的自动类型推断发生在编译期，所以使用auto并不会造成程序运行时效率的降低。例如上面的代码，编译的时候，就会把a变量转换为int类型 auto和其他变量类型有明显的区别：

1.auto声明的变量必须要初始化，否则编译器不能判断变量的类型。

2.auto不能被声明为返回值，auto不能作为形参，auto不能被修饰为模板参数 如果初始化表达式为const或volatile（或者两者兼有），则除去const/volatile语义。 如果auto关键字带上&号，则不去除const语意。

decltype类型说明

decltype:只推断出定义变量的类型，但是不用于表达式的值初始化变量 可以不用初始化 decltype(a)sum;//sum的类型就是函数a的返回类型

返回值包括顶层const和引用在内