在C++中,类似于const int *a=(int*)b
这种非常量转化为常量是允许的,但是如果两边都再加一个星号就不允许了。
int *p;
const int **a=&p;//报错
为什么要这样设计呢?其实这是C++才加入的规则用来弥补之前的一个漏洞,这个漏洞就是这种双重常量指针可能会发生中间指针被篡改的事情,我们可以看下面这个代码
const int x=1;
int *p;
const int **a=&p;
*a=&x;
*p=2;
这串代码就是如果允许双重指针间常量和非常量的转换会发生的奇怪的事。仔细看这个代码,a 起先指向 p ,此时 p 没有指向任何东西,然后 p 通过 a 的解引用指向了 x ,这里看上去应该是没有问题的,因为 a 本身是底层常量,底层指向 x 这个常量没有问题,最后问题来了,因为 p 已经实质指向了 x ,而 p 本身不是常量,所以可以解引用改变指向的值,但 x 是常量啊,怎么可以更改值呢?
这就是问题所在了,因为夹在中间的 p 不是常量,所以如果直接用 p=&x
这个很明显是不合法的,因为底层指针不支持这样的转换,但是如果通过指向 p 的 a 来做这个操作那么编译器就无法发现问题,因为在解引用时只知道 a 最底层应该是常量,中间那个是什么并不知道,所以 C++ 就强行加了这个规定,填补掉这个漏洞。