当分配的字符数组溢出时，为什么我的C程序不会崩溃？

Question

我有一个简单的C文件输入/输出程序，它演示了逐行读取文本文件，并将其内容输出到控制台：

/**
* simple C program demonstrating how
* to read an entire text file
*/

#include <stdio.h>
#include <stdlib.h>

#define FILENAME "ohai.txt"

int main(void)
{
    // open a file for reading
    FILE* fp = fopen(FILENAME, "r");

    // check for successful open
    if(fp == NULL)
    {
        printf("couldn't open %s\n", FILENAME);
        return 1;
    }

    // size of each line
    char output[256];

    // read from the file
    while(fgets(output, sizeof(output), fp) != NULL)
        printf("%s", output);

    // report the error if we didn't reach the end of file
    if(!feof(fp))
    {
        printf("Couldn't read entire file\n");
        fclose(fp);
        return 1;
    }

    // close the file
    fclose(fp);
    return 0;
   }

看起来我已经为每行256个字符（1024 <罢工> 字节数 即使我在第一行用超过1000个字符的文本填充ohai.txt，程序也不会分段错误，我假设它会这样做，因为它溢出了由输出[]数组指定的分配给它的可用空间量。

我的假设是，当操作系统有额外的可用内存时，它会为程序提供额外的内存。这意味着只有当ohai中的一行文本占用内存时，程序才会崩溃。txt导致堆栈溢出。

有更多C和内存管理经验的人可以支持或反驳我的假设，即为什么这个程序不会崩溃，即使文本文件的一行中的字符量远大于256？




Answer 1

fgets（输出， sizeof（输出）， fp）在这种情况下读取（sizeof（输出）-1）字符数（否则它读取到换行符或文件末尾）

Answer 2

OP的程序没有崩溃，因为没有发生缓冲区溢出。

while(fgets(output, sizeof(output), fp) != NULL)
  printf("%s", output);

fgets（）很好地读取一组char，最多为count或255或\n。然后printf（"%s"...很好地将它们打印出来。这重复直到没有更多数据/

无崩溃、无溢出、无运行、无命中、无错误。

Answer 3

这里没有溢出任何内容：fgets不会向缓冲区写入超过sizeof（输出）字符，因此不会溢出任何内容（请参阅留档）。

然而，如果确实使缓冲区溢出，则会出现未定义的行为。根据C规范，程序可能会执行任何操作：崩溃，而不是崩溃，无声地销毁重要数据，意外调用rm-rf等。因此，如果调用UB，不要期望程序崩溃。