Bjarne 在他的 The C++ Programming Language
里面给出过一个助记的方法:把一个声明从右向左读。
1 | char * const cp; ( * 读成 pointer to ) |
同上因为C++
里面没有const*
的运算符,所以const
只能属于前面的类型。
C++
标准规定,const
关键字放在类型或变量名之前等价的。
1 | const int n=5; //same as below |
说到这里,我们可以看一道以前Google的笔试题:
1 | const char *p="hello"; |
- A.函数foo()不能改变p指向的字符串内容。
- B.函数foo()不能使指针p指向malloc生成的地址。
- C.函数foo()可以使p指向新的字符串常量。
- D.函数foo()可以把p赋值为 NULL。
至于这道题的答案是众说纷纭。针对上面这道题,我们可以用下面的程序测试:
1 |
|
结论如下:
- 在foo函数中,可以使main函数中p指向的新的字符串常量。
- 在foo函数中,可以使main函数中的p指向NULL。
- 在foo函数中,可以使main函数中的p指向由
malloc
生成的内存块,并可以在main
中用free
释放,但是会有警告。但是注意,即使在foo中让p指向了由malloc
生成的内存块,但是仍旧不能用p[1]='x'
;这样的语句改变p指向的内容。 - 在foo中,不能用
(*pp)[1]='x'
;这样的语句改变p的内容。
所以,感觉gcc
只是根据const
的字面的意思对其作了限制,即对于 const char*p
这样的指针,不管后来p实际指向 malloc
的内存或者常量的内存,均不能用 p[1]='x'
这样的语句改变其内容。但是很奇怪,在foo里面,对p指向malloc
的内存后,可以用 snprintf
之类的函数修改其内容。