数组边界问题

先来看一段程序吧，在程序中讲问题

#include <stdio.h>int prime(int x);int main(){    int n;    int a[301];//设置数组长度是301    int b[300];    int i = 0;    int j;    int sum;    int *p;    int count = 0;    printf("there are following primes sequences in first row:\n");    for (n = 1; n <= 1993; n++)    {        if (prime(n))        {            do            {                a[i] = n;                i++;                break;            }while (i < 301);        }    }    for (i = 0; i < 300; i++)    {        b[i] = a[i+1]-a[i];    }    for (i = 0; i < 300; i++)    {        sum = 0;        count = 0;        for (p = &b[i]; sum < 1898; p++)        {            sum = sum + *p;            count++;        }        if (1898 == sum)        {            if(301 > i+count)    //            {                printf("%d ...... %d\n", a[i], a[i+count]);//原本应该答应301个数，第301个数应该是1993，可是第一个版本（就是没有if(301 > i+count)这个限制条件的时候）打印的是302个数，第302个数还是1994            }        }    }    return 0;}int prime(int x){    int count = 0;    int i;    for (i = 1; i <= x; i++)    {        if (0 == x%i)        {            count++;        }    }    if (2 == count)    {        return 1;    }    else    {        return 0;    }}

for (i = 0; i < 300; i++)
{
sum = 0;
count = 0;
for (p = &b[i]; sum < 1898; p++)
{
sum = sum + *p;
count++;
}
if (1898 == sum)
{
if(301 > i+count) // {
printf(“%d …… %d\n”, a[i], a[i+count]);//原本应该答应301个数，第301个数应该是1993，可是第一个版本（就是没有if(301 > i+count)这个限制条件的时候）打印的是302个数，第302个数还是1994
}
}
}
在使用数组时，要防止数组下标超出边界。也就是说，必须确保下标是有效的值。例如：假设有下面的声明：
int arr[20];

那么在使用该数组的过程中，就要确保程序中使用的数组下标在0~19的范围内，因为编译器不会检查出这种错误（但是，有些编译器会发出警告，然后继续编译程序）。

编译器不会检查数组下标是否得当。在c标准中，使用越界下标的结果是未定义的。这就意味着程序看上去是可以执行的，但是运行结果就会很奇怪，或者是异常终止。就拿我的程序来说，突然冒出来一个1994这个看上去符合逻辑的一个没有用的值。

C语言为什么会允许这种麻烦发生呢？这是要归功于c信任程序员的原则。不检查边界，c程序可以运行得更快。编译器没有必要去捕获所有的下标错误，因为在程序运行之前，数组的下标值可能尚未被确定。因此，为了安全起见，编译器必须在运行的时候添加额外代码检查数组的每个下标值，这会降低程序的运行速度。所以，c相信程序员能够编写出正确的代码，这样的程序跑的速度更快。这样却在无形之中给我们这些苦逼的程序员带来了负担。比如的我程序，在没有完全搞懂BUG的原因之前，只能加一个限制条件来得到我想要的结果。

还要记住一点，数组的元素编号是从0开始的，最好是在声明数组时使用符号常量来表示数组的大小：

#define SIZE 4int main(){    int i;    int arr[SIZE]；    for (i = 0; i < SIZE; i++)    {        .... //内容    }}

这样做能确保整个程序中的数组大小始终一致。

但是关于数组边界问题所产生的未知的BUG只能靠程序员聪明的大脑，自己去解决了。

                                  ————一个现在的菜鸟，一个以后的程序员。