在C语言中,访问数组时编译器并不会检查数组下标是否越界。
这种不加检查的行为的好处是不需要浪费时间对有些已知正确的数组下标进行检查,坏处是会导致错误地访问别的地址空间。
#include <stdio.h>
//数组访问越界
int main() {
int a[5]={1,2,3,4,5},i=20,j=10;
a[5]=6; //越界访问
a[6]=7; //越界访问
printf("%d",j);
return 0;
}
进行debug,在内存视图中可以看到 a[6] 是访问了变量 j 所在的空间,明明未对变量 j 赋值,其值却发生了变化。
一个良好的经验法则是:如果下标值是通过那些已知正确的值计算得来,那么就无需检查。如果下标值是用户输入的数据产生的,就需要进行检查以确保下标位于有效范围内,