c语言数组越界的避免方法

1、尽量显式地指定数组的边界

#define MAX 10

int a[MAX]={1,2,3,4,5,6,7,8,9,10};

在 C99 标准中,还允许我们使用单个指示符为数组的两段“分配”空间,如下面的代码所示:
int a[MAX]={1,2,3,4,5,[MAX-5]=6,7,8,9,10};

在上面的 a[MAX] 数组中,如果 MAX 大于 10,数组中间将用 0 值元素进行填充(填充的个数为 MAX-10,并从 a[5] 开始进行 0 值填充);如果 MAX 小于 10,“[MAX-5]”之前的 5 个元素(1,2,3,4,5)中将有几个被“[MAX-5]”之后的 5 个元素(6,7,8,9,10)所覆盖。

2、对数组做越界检查,确保索引值位于合法的范围之内
传递数组参数的时候,一定要带上传入数组的长度,比如:

void Init(int arr[],size_t arr_len)
{
    size_t i=0;
    for(i=0;i<arr_len;i++)
    {
        arr[i]=i;
    }
}


arr_len类型一定要无符号,避免负数的副作用。
3、获取数组的长度时不要对指针应用 sizeof 操作符。
单地讲,sizeof 是一个单目操作符,不是函数。其作用就是返回一个操作数所占的内存字节数
下面的函数中,使用sizeof,以为是对的,其实,arr传进来的时候,已经退化为指针,所以等同于
void Init(int *arr)。

void Init(int arr[])
{
    size_t i=0;
    for(i=0;i<sizeof(arr)/sizeof(arr[0]);i++)
    {
        arr[i]=i;
    }
}

4、除此之外,我们还可以通过指针的方式来解决上面的问题,示例代码如下所示:

void Init(int (*arr)[10])
{
    size_t i=0;
    for(i=0;i< sizeof(*arr)/sizeof(int);i++)
    {
        (*arr)[i]=i;
    }
}
int main(void)
{
    int i=0;
    int a[10];
    Init(&a);
    for(i=0;i<10;i++)
    {
        printf("%d\n",a[i]);
    }
    return 0;
}


现在,Init() 函数中的 arr 参数是一个指向“arr[10]”类型的指针。

需要特别注意的是,这里绝对不能够使用“void Init(int(*arr)[])”来声明函数,编译器会报错:error: sizeof applied to an incomplete type

而是必须指明要传入的数组的大小,否则“sizeof(*arr)”无法计算。但是在这种情况下,再通过 sizeof 来计算数组大小已经没有意义了,因为此时数组大小已经指定为 10 了。

  • 5
    点赞
  • 14
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值