C语言程序数组下标超限却可以正常运行的情况

共阴LED数码管，0，1，2，3，4，5，6，7依次从右向左移动，直至留在最左侧。显示满屏后清空。例程如下：

/*-----------------------------------------------
  名称：多位数码管动态扫描显示变化数据
  修改：无
  内容：多位数码管分别显示不同数字，这种扫描显示方式成为动态扫描，并不停变化赋值
------------------------------------------------*/
#include<reg52.h> //包含头文件，一般情况不需要改动，头文件包含特殊功能寄存器的定义

unsigned char code DuanMa[10]={0x3f,0x06,0x5b,0x4f,0x66,0x6d,0x7d,0x07,0x7f,0x6f};// 显示段码值0~9
unsigned char code WeiMa[]={0xfe,0xfd,0xfb,0xf7,0xef,0xdf,0xbf,0x7f};//分别对应相应的数码管点亮,即位码
unsigned char TempData[8]; //存储显示值的全局变量
void Delay(unsigned int t); //函数声明
void Display(unsigned char FirstBit,unsigned char Num);
/*------------------------------------------------
                    主函数
------------------------------------------------*/
main()
{

 unsigned int i,k,j;
 unsigned char s;
 while(1)
      {
	   j++;
	   if(j==20)			 
	     {
		  j=0;
		 if(0==k)
	     {
	     for(s=0;s<8;s++) //完全循环完成后清零所有缓冲区
			TempData[s]=0;
		  }
          TempData[8-i]=DuanMa[k]; //把需要显示的字符依次送缓冲区    
	  TempData[8+1-i]=0;  //不需要显示的区域清零
		  if(i==(8-k))
		    {
		    i=0;
            k++;
			if(k==8)
			   k=0;
			}
		  i++;
		 }
	   Display(0,8);//从第一位显示，共显示8位
      }
}
/*------------------------------------------------
 延时函数，含有输入参数 unsigned int t，无返回值
 unsigned int 是定义无符号整形变量，其值的范围是
 0~65535
------------------------------------------------*/
void Delay(unsigned int t)
{
 while(--t);
}
/*------------------------------------------------
 显示函数，用于动态扫描数码管
 输入参数 FirstBit 表示需要显示的第一位，如赋值2表示从第三个数码管开始显示
 如输入0表示从第一个显示。
 Num表示需要显示的位数，如需要显示99两位数值则该值输入2
------------------------------------------------*/
void Display(unsigned char FirstBit,unsigned char Num)
{
      unsigned char i;
	  
	  for(i=0;i<Num;i++)
	   { 
	    P0=0;   //清空数据，防止有交替重影
        P2=WeiMa[i+FirstBit]; //取位码 
        P0=TempData[7-i]; //取显示数据，段码
	    Delay(200); // 扫描间隙延时，时间太长会闪烁，
                   //太短会造成重影

       }

}

这里TempData[8-i]为TempData[8];TempData[8+1-i]为TempData[9],下标均超限。但程序可以得到预期的结果。经分析，是因为TempDatap[8],[9]的地址与 int i的地址相同。

如上图，TempData的内存地址为D：0x0008H至D:0x000FH,共8个字节。调试后发现，TempData[8],[9]的地址分别为D:0x0010H,D:0x0011H,而int i 的起始地址为D:0x0010H,所以地址重合了。在程序中将TempData[8],[9]置0的时候，相当于一并将变量 i 进行了置零，所以程序可以正常运行。

我尝试将8改成9，程序运行后无法得到想要的结果，因为TempData[10]的地址为D:0x0012H,与变量k的内存地址相同。所以变量 i，一直无法清零，并且一直累加。所以程序运行结果不符合预期。

不会这种操作，所以我将程序改成了下标没有超限的方式。程序while循环段如下。

while(1)
      {
	j++;
	if(j==20)
	 {
	  j=0;
	  if(0==k)
	   {
	     for(s=0;s<8;s++) //完全循环完成后清零所有缓冲区
	     TempData[s]=0;
	   }
	  TempData[7-i]=DuanMa[k]; //把需要显示的字符依次送缓冲区
	  if(i>0)
	    TempData[7+1-i]=0;  //不需要显示的区域清零
	  if(i++==(7-k))      //若i=7-k则进入循环，判断完后i++
	   {
	     i=0;
	     //k++;
	     if(k++==7)
	       k=0;
	   }
//i++;
        }
Display(0,8);//动态循环显示，从第一位显示，共显示8位
}

程序运行后，结果同预期一致。