9 数组访问越界与数组传递

1 数组访问越界

【例】一维数组的存储及访问越界

#include <cstdio>

//数组越界
int main() {
    int a[5]={1,2,3,4,5};//定义数组时，数组长度必须固定
    int j=20;
    int i=10;
    a[5]=6;//越界访问
    a[6]=7;//越界访问会造成数据异常
    printf("i=%d\n",i);//i发生改变
    return 0;
}

数组另一个值得关注的地方是，编译器并不检查程序对数组下标的引用是否在数组的合法范围内。这种不加检查的行为有好处也有坏处，好处是不需要浪费时间对有些已知正确的数组下标进行检查，坏处是这样做将无法检测出无效的下标引用。如果下标值是通过那些已知正确的值计算得来的，那么就无须检查；如果下标值是由用户输入的数据产生的，那么在使用它们之前就必须进行检查，以确保它们位于有效范围内。

2 数组的传递

#include <cstdio>
//一维数组的传递，数组长度无法传递给子函数
//C语言的函数调用方式是值传递
void print(int b[],int len){
    int i;
    for(i=0;i<len;i++){
        printf("%3d",b[i]);
    }
    b[4]=20;
    printf("\n");
}
//数组越界
//一维数组的传递
#define N 5
int main() {
    int a[5]={1,2,3,4,5};//定义数组时，数组长度必须固定
    print(a,5);
    printf("a[4]=%d\n",a[4]);//a[4]发生改变
    return 0;
}

因为一维数组在传递时，其长度是传递不过去的，所以我们通过len来传递数组中的元素个数。实际数组名中存储的是数组的首地址，在调用函数传递时，是将数组的首地址给了变量b（变量b是指针类型），在b[]的方括号中填写任何数字都是没有意义的。这时我们在print函数内修改元素b[4]=20，可以看到数组b的起始地址和main函数中数组a的起始地址相同，即二者在内存中位于同一位置，当函数执行结束时，数组a中的元素a[4]就得到了修改。