当前位置:  开发笔记 > 编程语言 > 正文

获取超出范围的数组元素的地址是否是未定义的行为?

如何解决《获取超出范围的数组元素的地址是否是未定义的行为?》经验,为你挑选了1个好方法。



1> AProgrammer..:

&buf[10]是一个特例。您可以获取不带UB的数组“最后一个元素”的地址。但是您不能走得更远,也不能走在第一个元素之前。因此&buf[11]&buf[-1]是UB。

根据要求,取自C18的最新可用草案。

6.5.3.2/3解释&buf[10]等效于buf+10

同样,如果操作数是[]运算符的结果,则不会对&运算符或[]所隐含的一元*进行求值,并且结果就好像删除了&运算符并将[]运算符更改为+运算符。

和6.5.6 / 8为我们提供了有关以下行为的信息+

此外,如果表达式P指向数组对象的最后一个元素,则表达式(P)+1指向一个数组对象的最后一个元素,如果表达式Q指向一个数组对象的最后一个元素,表达式(Q)-1指向数组对象的最后一个元素。如果指针操作数和结果都指向同一数组对象的元素,或者指向数组对象的最后一个元素,则求值不应产生溢出;否则,行为是不确定的。

推荐阅读
我我檬檬我我186
这个屌丝很懒,什么也没留下!
DevBox开发工具箱 | 专业的在线开发工具网站    京公网安备 11010802040832号  |  京ICP备19059560号-6
Copyright © 1998 - 2020 DevBox.CN. All Rights Reserved devBox.cn 开发工具箱 版权所有