《c++ primer》第二章 const限定符

1.const对象的初始化：有时我们希望定义这样一种变量，它的值不能够被改变。此时我们可以用const限定符。由于const对象一旦创建之后值不能够再改变，因此const对象必须初始化。如果用一个对象去初始化另一个对象，那么它们是不是const都无所谓。

2.默认状态下，const对象仅在文件内有效。但如果希望别的文件都能够引用该const对象，那么对于const变量不管声明还是定义都添加extern关键字。

3.const的引用。把引用绑定到const对象上，就像绑定到其他对象上一样，我们称之为对常量的引用。对const的引用可能引用一个非cosnt的对象。

int i=42;
int &r1=i;
const int &r2=i;
r1=0;
r2=0;//错误，但是将r2绑定到i是合法行为。只是由于r2是const类型的引用，因此不能通过r2改变i的值。

4.指针和const

(1)指向常量的指针不能够用于改变其对象的值。（const double * ptr）//指的是常量

想要存放常量的地址，只能使用指向常量的指针。 （也就是说指向const double的类型的指针必须是const double类型）

指向常量的指针没有规定所指的对象必须是一个常量。（也就是说const double类型的指针不一定指向 const double类型的常量）

const double* ptr指向的是不是const 类型的都可以。但是 const double类型的常量必须用cosnt double* 的指针。

(2)常量指针 必须初始化，初始化完成，它的值就不能再改变了。把 *放在const前，说明指针是一个常量。（double *const ptr）

const指针不能赋值给普通指针。

5.顶层const

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

执行拷贝操作时，顶层const不受什么影响。

另一方面，底层const的限制不能忽视。拷入与拷出对象必须具有相同的底层const资格。

6.constexpr和常量表达式

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

一般来说，如果你认定变量是一个常量表达式，那就把他声明成为constexpr类型。

7.auto说明符：能够让编译器替我们分析表达式所属的类型。

8.decltype类型指示符：当用户希望从表达式中推断出指示符类型的时候，使用该关键字。

decltype(fun()) x; //x的类型是 fun()的返回类型

decltype使用的是一个不加括号的变量或者表达式，则得到的结果就是该变量或者表达式的类型。

如果是加了括号的变量或者表达式，得到的结果是该变量或者表达式的引用类型。