声明的数组越界,为何还能正确运行,很怪,没有几行代码,大家看看!!!!

hntkyq

#include <stdio.h>
#include <stdlib.h>

#define BIGNUM 50

void index_to_the_moon(int arr[]);

int main(void)
{
  int intary[10];
  index_to_the_moon(intary);

  exit(EXIT_SUCCESS);
}

void index_to_the_moon(int arr[])
{
  int i;
  for(i=0;i<BIGNUM;i++)
  {
      arr[i]=i;
      printf("%d\n",arr[i]);
  }
}

我用make debugme命令编译此程序后,然后键入./debugme来执行该程序,应该产生一个段错误(segmentation default).为何我的程序还能显示出来个50个数子,从0到49????

hntkyq

Sigh!我的程序来源于GNU/Linux编程指南,难道书上弄错了,书上用这个例子讲了一章呀.

hntkyq

但是编译器（根据不同的实现方式）可能会在数组后面放一些附加信息，以便在调试的时候检测数组下标越界错误。

啥意思，举举例子！