由于数组赋值超过定义的范围造成的错误

你好

这是ccf中的一道试题：

我使用c语言按照样例输入做了尝试：

#include <stdio.h> 
struct hello
{
 int x1;
 int y1; 
 int x2;
 int y2;
};
main()
{
 int NUM=2;
 struct hello a[NUM];
 
 a[0].x1=1;
 a[0].y1=1;
 a[0].x2=4;
 a[0].y2=4;
 
 a[1].x1=2;
 a[1].y1=3;
 a[1].x2=6;
 a[1].y2=5;
 //printf("1  a[0].x1=%d a[0].x2=%d\n",a[0].x1,a[0].x2);
 
 int max_x=0;
 int max_y=0;
 
 //printf("2  a[0].x1=%d a[0].x2=%d\n",a[0].x1,a[0].x2);
 int i;
 for(i=0;i<NUM;i++)
 {
  if(a[i].x2>max_x)
  {
   max_x=a[i].x2;
  }
  if(a[i].y2>max_y)
  {
   max_y=a[i].y2;
  }
 }
 //printf("max_x=%d max_y=%d\n",max_x,max_y);
 
 //printf("3  a[0].x1=%d a[0].x2=%d\n",a[0].x1,a[0].x2);
 int b[max_x][max_y];
 int j;
 int k;
 //printf("4  a[0].x1=%d a[0].x2=%d\n",a[0].x1,a[0].x2);
 //printf("\n");
 //printf("\n");
 for(j=0;j<=max_x;j++)
 {
  for(k=0;k<=max_y;k++)
  {
   b[j][k]=0;
   //printf("%d  %d  a[0].x1=%d a[0].x2=%d\n",j,k,a[0].x1,a[0].x2);
  }
 }
 
 //printf("5  a[0].x1=%d a[0].x2=%d\n",a[0].x1,a[0].x2);
 for(i=0;i<NUM;i++)
 {
  //printf("i=%d\n",i);
  //printf("6  a[%d].x1=%d a[%d].x2=%d\n",i,a[i].x1,i,a[i].x2);
  for(j=a[i].x1;j<=a[i].x2;j++)
  {
   for(k=a[i].y1;k<=a[i].y2;k++)
   {
    b[j][k]=1;
    //b[j][k]=99;
   // printf("b[%d][%d]=%d\n",j,k,b[j][k]);
   }
  }
 }
 //printf("\n");
 
 for(j=0;j<=max_x;j++)
 {
  for(k=0;k<=max_y;k++)
  {
   printf("b[%d][%d]=%d\n",j,k,b[j][k]);
  }
 }
}

二维数组b为1代表被涂上颜色。运行时结果不对：

b[0][0]不应该等于1。

我在上面代码的注释位置加了一条printf语句：

printf("6  a[%d].x1=%d a[%d].x2=%d\n",i,a[i].x1,i,a[i].x2);

运行，结果为：

第一行a[0].x1与a[0].x2的值与我认为的输出值不服，我认为应该输出a[0].x1=1 a[0].x2=4。

为了找到问题，我又添加了几行printf语句：

#include <stdio.h> 
struct hello
{
 int x1;
 int y1; 
 int x2;
 int y2;
};
main()
{
 int NUM=2;
 struct hello a[NUM];
 
 a[0].x1=1;
 a[0].y1=1;
 a[0].x2=4;
 a[0].y2=4;
 
 a[1].x1=2;
 a[1].y1=3;
 a[1].x2=6;
 a[1].y2=5;
 printf("1  a[0].x1=%d a[0].x2=%d\n",a[0].x1,a[0].x2);
 
 int max_x=0;
 int max_y=0;
 
 printf("2  a[0].x1=%d a[0].x2=%d\n",a[0].x1,a[0].x2);
 int i;
 for(i=0;i<NUM;i++)
 {
  if(a[i].x2>max_x)
  {
   max_x=a[i].x2;
  }
  if(a[i].y2>max_y)
  {
   max_y=a[i].y2;
  }
 }
 printf("max_x=%d max_y=%d\n",max_x,max_y);
 
 printf("3  a[0].x1=%d a[0].x2=%d\n",a[0].x1,a[0].x2);
 int b[max_x][max_y];
 int j;
 int k;
 printf("4  a[0].x1=%d a[0].x2=%d\n",a[0].x1,a[0].x2);
 printf("\n");
 printf("\n");
 for(j=0;j<=max_x;j++)
 {
  for(k=0;k<=max_y;k++)
  {
   b[j][k]=0;
   printf("%d  %d  a[0].x1=%d a[0].x2=%d\n",j,k,a[0].x1,a[0].x2);
  }
 }
 
 printf("5  a[0].x1=%d a[0].x2=%d\n",a[0].x1,a[0].x2);
 for(i=0;i<NUM;i++)
 {
  printf("i=%d\n",i);
  printf("6  a[%d].x1=%d a[%d].x2=%d\n",i,a[i].x1,i,a[i].x2);
  for(j=a[i].x1;j<=a[i].x2;j++)
  {
   for(k=a[i].y1;k<=a[i].y2;k++)
   {
    b[j][k]=1;
    //b[j][k]=99;
    printf("b[%d][%d]=%d\n",j,k,b[j][k]);
   }
  }
 }
 printf("\n");
 
 for(j=0;j<=max_x;j++)
 {
  for(k=0;k<=max_y;k++)
  {
   printf("b[%d][%d]=%d\n",j,k,b[j][k]);
  }
 }
}

运行结果如下：

以上运行结果中的下图处：

a[0].x1和a[0].x2为什么会由1和4变为0和0哪？

如果是覆盖又是怎么发生的哪？

经过思考我发现在定义二维数组b时有错误。将源代码中的

int b[max_x][max_y];

改为

int b[max_x+1][max_y+1];

再运行就没有a[0].x1和a[0].x2变为0的现象了。

我觉得可能是：由于数组赋值超过定义的范围造成的错误。

谢谢您的阅读。

再见。