数组越界的陷阱

以前在项目中，发现了一个由于数组越界访问的BUG。数组越界访问的结果是未定义的，在大多数情况下，会出现空指针异常。

但是如果在结构体中，两个数组的内存分配是连续的。为了示例方便，我将代码做了简化，例如如下面的test结果体中，数组a和数组b的内存是连续的，也就是说a[9]后面跟的就是b[0].

因此在访问a的时候，如果数组越界，就会访问到数组b中，例如a[29]=b[19]; 因此如果不对a的数组访问进行下标校验，将会从b中取得数据，如果在对a赋值时越界，将会对b中的数据进行修改，这将会带来调试的巨大麻烦，表现形式是b数据在某个地方被修改了。

struct test
2

{
3

int a[10];
4

int b[20];
5

};
6

int main()
7

{
8

struct test t;
9

int result;
10

for(int i=0;i<20;i++)
11

{
12

t.b[i]=i+1;
13

}
14

result=*(t.a+29);
15

printf("the result is %d",result);
16

return 0;
17

}

因此，切记在访问或者操作数组时，一定要对数组下标进行校验，例如上面的例子可以修改为:

if(index<10&&index>=0)
2

{
3

result=a[index]);
4

}
5

posted on 2010-07-18 01:31 role0523 阅读(746) 评论(2) 编辑收藏引用

不如用vector代替你的if 回复更多评论

@陈梓瀚(vczh)
嵌入式项目中 vector还是比较慎用的回复更多评论

只有注册用户登录后才能发表评论。




网站导航: 博客园 IT新闻 BlogJava 知识库博问管理

role0523