为何fgets写入超界缓冲区并非始终触发段错误？

问题背景 #

先看这段测试代码：

int main()
{
    char buffer[5];                   
    fgets(buffer, 8, stdin);

    printf("%s", buffer);

    return 0;
}

运行时发现：不同机器、编译器下，有时触发段错误，有时完全正常。输入12345678时，输出是1234567，没有崩溃——按说char buffer[5]存不下这么长的字符串，本该出错才对。

还有个对比场景：如果用char buffer[5] = "SAYAN";初始化数组后，访问printf("%c", buffer[6]);会立即触发段错误。为什么两种越界情况的表现天差地别？

具体解析 #

1. 栈内存的实际布局 #

局部变量（比如buffer）存在栈上，栈帧里除了你的变量，还有不少其他东西：函数返回地址、栈基指针、编译器为内存对齐加的空白填充、其他临时数据等等。

• 第一种场景里，buffer是未初始化的局部数组，它后面的栈内存大概率是操作系统允许访问的闲置区域（比如填充的空白字节，或者暂时没用到的栈空间）。fgets写入8字节内容时，除了占满buffer的5字节，还会覆盖后面3字节的闲置内存——只要没踩到栈的保护页（栈顶专门用来防越界的不可访问区域），也没破坏返回地址这种关键数据，程序就不会崩溃。你输入12345678时，fgets实际只写7个字符加一个\0（因为第二个参数是8，要留一个字节存终止符），刚好没碰关键数据，所以printf能正常输出到\0为止。

2. 初始化带来的内存布局变化 #

对比场景里，显式初始化char buffer[5] = "SAYAN";会让编译器调整内存布局：

• 编译器对显式初始化的局部变量，可能会把它放在栈帧里更紧凑的位置，减少空白填充；或者buffer[6]直接指向了栈帧之外的保护页——这个区域是操作系统标记为不可访问的，一旦读写就会触发段错误。
• 另外，全局/静态初始化的数组（如果是全局变量的话）会放在数据段，数据段的边界保护比栈更严格，越界访问更容易触发错误。

3. 未定义行为的表现差异本质 #

虽然两种情况都是C标准里的未定义行为，但具体表现取决于三个核心因素：

• 栈帧结构：不同编译器、系统的栈帧布局不一样，闲置内存的位置和大小有差异；
• 编译器优化：O0和O3优化级别下，栈的填充、变量排列会变化；
• 内存保护机制：操作系统的栈随机化、保护页位置不同，决定了越界后是否踩雷。

简单说：两种越界操作访问的内存区域性质不同——一种是栈上能正常读写的闲置内存，另一种是被操作系统锁死的不可访问内存，所以一个没事，一个直接崩溃。

内容的提问来源于stack exchange，提问作者Jeet Shaw