我们知道，在 C 语言中，只要不是访问受限的内存，所有的内存空间都是可以自由访问的。根据数组寻址方式（线性连续），a[3] 也会被定位到某块不属于数组的内存地址上，而这个地址正好是存储变量 i 的内存地址，那么 a[3]=0 就相当于 i=0，所以就会导致代码无限循环。