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

引言：

在C语言编程中，经常会遇到数组越界访问的问题。本文将介绍一个经典的例子，展示了如何在循环中引发死循环，以及如何通过正确的数组索引来避免这个问题。

问题描述：

考虑以下C语言代码片段：

#include <stdio.h>

#define N 10

int main() {
    int i;
    int a[N];

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

    return 0;
}

尝试编译和执行上述代码会导致程序陷入死循环，而不是按预期的方式终止。下面将解释为什么会出现这种情况。

问题分析：

问题出在for循环的终止条件上：

for(i = 0; i <= N; i++)

在循环的每次迭代中，i 的值从0递增到N。然而，数组 a 的有效索引范围是从0到N-1，而不是从0到N。因此，当 i 的值等于N时，循环会尝试访问 a[N]，这超出了数组 a 的有效范围。在C语言中，数组越界的行为是未定义的（Undefined Behavior, UB），意味着编译器不必对此类错误进行检查，且实际发生什么取决于编译器、运行时环境等因素。在某些情况下，程序可能会恰好在数组的末尾之后有一些未使用或可写的内存，此时对a[N]的写入可能不会立即导致程序崩溃。但是，这也可能导致覆盖掉紧随数组之后的内存区域的数据，如果那个区域存储的是循环控制变量（在这个例子中是i），则可能会无意中修改循环条件，从而导致死循环。

修复方法：

为了避免数组越界访问和死循环，我们应该将for循环的终止条件修改为 i < N，使得循环迭代次数从0到N-1，与数组索引的有效范围相匹配。

修复后的代码：

#include <stdio.h>

#define N 10

int main() {
    int i;
    int a[N];

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

    return 0;
}

结论：

在C语言编程中，要时刻注意数组的索引范围，避免出现越界访问的问题。通过正确的索引控制，可以有效地避免导致程序崩溃或陷入死循环的情况发生。