C++ 关于不能将A** 转换为const A**的原因

在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++ 就强行加了这个规定,填补掉这个漏洞。

  • 2
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值