在CSDN上的论坛中,我已经发表过两篇关于const的用法以及修饰方式。这里想更深入地探究const的本质问题。
我们都这么用过:
![](https://i-blog.csdnimg.cn/blog_migrate/6810355c2f78c12e91b7997a8e8c583a.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/6810355c2f78c12e91b7997a8e8c583a.gif)
也就是说char*可以转为const char*。这个是合法的,因为const char*意味着该指针变量指向char类型变量的地址,任何通过p来指向变量a地址的指针变量只能用const*来修饰,也就是说,它们无法对a的值进行修改。
下面来解释一下为什么char**无法转为const char**。下面以C99标准规格说明书中的一个样例作为例子说明:
![](https://i-blog.csdnimg.cn/blog_migrate/6810355c2f78c12e91b7997a8e8c583a.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/6810355c2f78c12e91b7997a8e8c583a.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/6810355c2f78c12e91b7997a8e8c583a.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/6810355c2f78c12e91b7997a8e8c583a.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/6810355c2f78c12e91b7997a8e8c583a.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/6810355c2f78c12e91b7997a8e8c583a.gif)
从上面代码中我们可以看出,一开始p处于悬挂状态,它是char*类型的指针变量。然后cpp指向p的地址,然后通过*cpp = &c的操作将指针p的值赋为常量c的地址。这样,做最后一个语句后,即*p=0,常量c的值就会变为0。这样就间接地修改常量c的值。
如果将const char** cpp改为const char * const *cpp;的话就可以安全地指向p的地址了。因为此时,cpp无法通过使用*cpp = &c来修改p的值,因为此时cpp的类型中char*类型被const修饰了。
C/C++标准所指定的规则还是非常可靠的。