为何这段存在数组越界操作的C程序未触发错误却正常运行？

首先看你给出的C代码：

#include <stdio.h>
int main() {
    int a[]={1,-2,3,0,-5};
    int i=0;
    while(i++<5){
        a[i]=a[i]>a[i-1]?-1:1;
    }
    for(i=0;i<5;i++) printf("%d",a[i]);
    return 0;
}

你指出的数组越界确实存在：当i初始值为4时，i++<5的逻辑是先判断4<5（成立），再将i自增为5，此时访问a[i]即a[5]，而数组a的有效索引范围是0~4，这属于C标准明确的未定义行为。

为什么程序还能输出预期结果？ #

未定义行为的核心是：C语言标准不对这类操作的结果做任何保证，程序可能崩溃、输出乱码，也可能刚好输出你想要的内容——这完全取决于编译器的内存布局、栈空间分配等偶然因素。具体到这个例子：

1. 有效索引的修改已完成：
   前4次循环中，i从0到3，i++后分别变为1到4，修改的是a[1]到a[4]这些数组有效索引，修改逻辑完全符合预期：

   • a[1]：原-2 < 1 → 赋值为1
   • a[2]：原3 > 1 → 赋值为-1
   • a[3]：原0 > -1 → 赋值为-1
   • a[4]：原-5 < -1 → 赋值为1
     此时数组a的有效元素已经变为[1,1,-1,-1,1]，刚好是你看到的输出内容。

2. 越界操作未影响有效输出：
   最后一次循环修改的是a[5]，而后续for循环只输出a[0]到a[4]，完全不涉及这个越界位置。只要这次越界赋值没有破坏栈上的关键数据（比如后续for循环会直接重置i的值），程序就会正常执行输出步骤。

3. 栈内存的偶然布局：
   越界访问的a[5]对应的内存位置，可能是栈上未被使用的空间，或是其他不影响当前程序执行的变量内存。即便这个位置的赋值操作修改了某个变量，只要后续逻辑不依赖该变量的原有值，就不会影响最终输出。

重要提醒 #

这种“正常输出”完全是巧合，绝对不能依赖未定义行为编写代码。换个编译器、操作系统，甚至只是调整代码中的变量顺序，都可能导致程序崩溃、输出错误结果，或是出现其他不可预料的问题。

内容的提问来源于stack exchange，提问作者enis serifi