数组边界问题

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

#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 4
int main()
{
    int i;
    int arr[SIZE]；

    for (i = 0; i < SIZE; i++)
    {
        .... //内容
    }
}

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

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

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