C 语言数组越界导致死循环问题

今天朋友问我一道 C 语言的题目，如下图：

看到这题一开始也比较纳闷，arr[10] 不是越界了吗？怎么会死循环？怎么 arr[10] 就是 m？这是什么意思？

我们先来看一个简单的例子：

int i, a[];

for(i = ; i <= ; i++)
     a[i] = ;

这段代码本意是要设置数组 a 中所有的元素为 0，却产生了一个出人意料的 “副作用 ”。在  for 语句的比较部分本来是 i < 10,却写成了 i <= 10，因此实际上并不存在的 a[10] 被设置为 0，也就是内存中在数组 a 之后的一个字（word）的内存被设置为 0。如果用来编译这段程序的编译器按照内存地址递减的方式来给变量分配内存，那么内存中数组 a 之后的一个字（word）实际上是分配给了整形变量  i。此时，本来循环计数器 i 的值为 10，循环体内将并不存在的 a[10] 设置为 0，实际上是将计数器 i 的值设置为 0，这就陷入了一个死循环。

上例摘抄自《C陷阱与缺陷》3.6节 边界计算与不对称边界，画了张图更容易理解：

编译器按照内存地址递减的方式来分配内存，也就是先分配了 i 的地址，再分配数组a的地址，所以当循环计数器 i 的值为 10 时，其实指向的是 i 的地址，a[10] 就是 i，所以将 i 赋值为了0，进而这个例子将会产生死循环，不断地给这个数组的每个数赋值为 0。相似的，我们开头的那个题目也是一样的原理。