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

Posted on | In | Visitors:

const的引用

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

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

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

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

1
2
3
4
5
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是一个普通的非常量引用

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

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

指针和 const

  • 指向常量的指针（const typename name）
    与引用一样，也可以令指针指向常量或者非常量。类似于常量引用（const typename &name）指向常量的指针（const typename     name）不能用于改变其所指对象的值。要想存放常量对象的地址，只能使用指向常量的指针：
    1
    2
    3
    4
    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的值

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

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

总结

可以这样理解，先定义的数据有绝对的权利，比作boss，后来定义的引用，指针等等比作下属

  • boss说这个数据不能修改:
    const int i = 0
    下属说可以:
    int *r = &i; int &s = i;
    那肯定不行呀，会被炒的（编译报错），
  • 如果boss说这个数据可以修改:
    int i = 0
    下属说不行:
    const int *r = &i; const int &s = i;
    这样只是下属自以为是认为这个数据不能修改故不去主动修改(r,s不可以“主动”改变数据)，但不会被炒（编译不会报错）
  • boss说这个数据不可以改，下属也说不可以改，那么就一起盯着原有数据就好
  • boss说这个数据可以改，下属也说可以，那么就一起愉快的修改吧^_^