C++中的const，引用，和指针

1，const的引用

可以把引用绑定到const对象上，就像绑定到其他对象上一样，我们把称之为对常量的引用。与普通引用不同的是，对常量的引用不能被用作修改它所绑定的对象：

const int ci = 1024;
const int &r1 = ci;    //T,引用及其对应的对象都是常量
r1 = 42;    //F,r1是对常量的引用
int &r2 = ci;    //F,不能将一个非常量引用指向一个常量对象

因为不允许直接为ci赋值，当然也不能通过引用去改变ci，故对r2的初始化是错误的

规定引用类型必须与其所引用对象的类型一致，但有例外：在初始化常量引用时，允许任意表达式作为初始值，只要该表达式的结果可以转换成引用的类型即可。尤其，允许为一个常量引用绑定一个非常量对象，字面值，表达式：

int i = 42;
const int &r1 = i;    //T,允许将 const int& 绑定到一个普通的int对象上
const int &r2 = 42;    //T,允许用字面值初始化
const int &r3 = r1*2;    //T，允许用表达式初始化
int &r4 = r1*2;    //F,r4是一个普通的非常量引用

常量引用仅对引用可参与的操作做出了限定，对于引用的对象本身是不是一个常量未做限定。因为对象也可以是一个非常量，所以允许通过其他途径改变它的值：

int i = 42;
int &r1 = i;    /引用r1绑定对象i
const int &r2 = i;    /r2也绑定对象i，但是不允许通过r2修改i的值
r1 = 0;    //修改途径1
i = 0;    //修改途径2

2，指针和 const

2.1 指向常量的指针（const typename *name）

与引用一样，也可以令指针指向常量或者非常量。类似于常量引用（const typename &name）指向常量的指针（const typename *name）不能用于改变其所指对象的值。要想存放常量对象的地址，只能使用指向常量的指针：

const double pi = 3.14;    //pi是个常量，它的值不能改变
double *ptr = &pi    //F,ptr是一个普通指针
const double *cptr = &pi    //T,cptr 可以指向一个双精度常量
*cptr = 42;    //F,不可以给cptr赋值

指针的类型必须与其所指向的对象类型一致，但也有例外：允许一个指向常量的指针指向一个非常量对象：

double dval = 3.14;
const double *ptr = &dval;    //T,但是不能通过cptr改变dval的值

和常量引用一样，指向常量的指针也没有规定其所指向的对象必须是一个常量。所以指向常量的指针仅仅要求不能通过该指针改变对象的值，而没有规定那个对象的值不能通过其他途径改变。

2.2 常量指针（typename *const name）

指针是对象而引用不是，因此就像其他对象类型一样，允许把指针本身定义为常量，即常量指针。常量指针必须初始化，而且一旦初始化完成，则它的值（也就是存放在指针中的地址）就不能再改变了。把*放在const关键字之前说明指针是一个常量，这样可以理解为：不变的是指针本身的值，而非指向的那个值：

int num = 0;
int *const p1 = num   //p1将一直指向num
const double pi =3.14;
const double * const p2 = pi    //p2是指向常量对象的常量指针 

理解声明的含义最好的方法是 从右向左阅读，此例中，离p1最近的是const，意味着p1本身是一个常量对象，对象的类型由声明符的其余部分确定。下一个符号是 * ，说明p1是一个常量指针。最后是int，即常量指针指向一个int对象。

常量指针并不意味着不能通过指针修改所指对象的值，能否这样做完全取决于所指对象的类型，例如此例中的p2，不论是p2所指的对象，还是p2 存储的地址，都不能改变。相反的 p1指向一个一般的int对象，那么完全可以用p1去修改num的值