??这几天项目组遇到了一个bug,DCI信息解不对最后定位了2天,发现是因为上层發过来的索引出了问题访问了需要访问数组的后一个数组中的数组元素,导致出错笔者之前一直认为数组下标越界一定会使得程序奔潰,报越界错误但这次的bug超出了我之前的认知范围,出于好奇笔者搜索了相关博客,并且用程序做了测试同时为以后规避这一问题提出了一些预防措施,也算是继续补足了自己对于指针、声明的了解现总结如下,欢迎各位指正
?? ??先来看段程序,为了构造符合目的的场景我们构造了两个全局变量数组,确保地址连续(网上查了下这种说法是不对的,但是在我使用的IDE–vs2013中貌似是这样的,还请大神指正)
?? ??上述程序没有报错,同时bb[1]的数据的确变成了10这说明数组下标越界不一定会引起程序运行失败。
?? ??这就奇怪了呀数组为什么会越界有时候,当下标越界时会产生运行错误而这种情况下却没有问题呢?原来啊是因为两个數组在内存地址上是连续的。我们在声明int aa[5]和int
bb[5]时其实是声明了10个变量这些变量在地址上连续。声明变量的作用就是申请了一块地址然后當我们操作这块地址时,就被认为是合法的但是当我们操作一块未被声明地址时,就会发生运行时错误所以aa[6]这块内存,其实就是bb[1]是巳经声明过的合法内存,我们可以像操作普通int类型变量一样对他进行处理
?? ??再看我们注释的地方,如果取消注释运行程序时就會报错。这是因为那些地址没有声明是非法的,不能进行写操作想想我们过去运用指针,都是进行了如下的操作:
意思是我们的程序中,在某个变量附近的内存被破坏了还有一点需要注意的是,通过debug可以发现抛出异常的地方大多不是越界访问的地方。)
?? ??上述内容讲了数组越界不会产生运行时错误的原因这节讲讲该如何预防。很简单就是每次获得数组下标时,都先判断该下标徝是不是在数组的正确的下标范围内这样可以有效地降低错误。