C/C++|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的值


【C/C++|C++中的const,引用,和指针】

    推荐阅读