指针和const

指向常量的指针,不能用于改变其所指对象的值,要想存放常量对象的地址,只能使用指向常量的指针:

const double pi = 3.14;//pi是一个常量,它的值不能改变
double *ptr = π//错误:ptr是一个普通指针
const double *cptr = π//正确:cptr可以指向一个双精度常量
*cptr = 42;//错误:不能给*cptr赋值

指针的类型必须与其所指对象的类型一致,但是有两个例外

  • 允许令一个指向常量的指针指向一个非常量对象:
double dval = 3.14;//dval是一个双精度浮点数,它的值可以改变
cptr = &dval;//正确:但是不能通过cptr改变dval的值

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

简单理解:所谓指向常量的指针或引用,不过是指针或引用“自以为是”罢了,它们觉得自己指向了常量,所以自觉地不去改变所指对象的值。

const指针

指针是对象而引用不是,因此就像其他对象类型一样,允许把指针本身定义为常量。

常量指针:必须初始化,而且一旦完成初始化,则它的值(也就是存放在指针中的那个地址)就不能改变了。

把*放在const关键词之前用以说明指针是一个常量,这样的书写形式隐含着一层意味,即不变的是指指针本身的值而非指向的那个值:

int errNumb = 0;
int *const curErr = &errNumb;//errNumb将一直指向errNum
const double pi = 3.14159;
const double *const pip = π//pip是一个指向常量的常量指针

要想弄清楚这些声明的含义最行之有效的办法是从右向左阅读:

离curErr最近的符号是const,意味着curErr本身是一个常量对象,对象的类型由声明符的其余部分确定,声明符的下一个符号是*,意思是curErr是一个常量指针,最后,该声明的语句基本数据类型确定了常量指针指向一个int对象。

指针本身是一个常量并不意味着不能通过指针修改其所指对象的值,能否这样做完全依赖于指针对象的类型。

pip是一个指向常量的常量指针,则不论pip所指的对象值还是pip自己存储的那个地址都不能改变。

相反,curErr指向的是一个一般的非常量整数,那么就完全可以用curErr去修改errNumb的值。

 

posted @ 2019-03-26 17:15  CodeWithMe  阅读(301)  评论(0)    收藏  举报