C语言程序运行流程及while循环缺花括号问题咨询

我是C语言编程初学者，此前编写等差数列计算相关C程序时，在while循环结构处遗漏了包裹循环体所需的花括号{}，对应问题代码如下：

int main()
{
    int n ,k;
    float d ;
    printf("please write your arithmetic sequence sentences ");
    scanf("%d",&n);
    printf("\n");
    printf("please write your common differences");
    scanf("%d",&k);
    printf("\n");
    printf("please write your initial element ");
    scanf("%f",&d);
    printf("error 1");
    printf("\n");
    printf("error 2");
    printf("number \t sum");
    printf("erorr 3");
    int i = 0;
    int j = 0;
    int sum = 0;
    while (i < n)
        j = d + i*k;
        sum += j;
        printf("%d\t%d",j,sum);
        i++;

    return 0;
}

调试过程中产生三个核心疑问：

• C语言程序的完整运行流程是怎样的？
• 代码中"error 2"的打印语句位于while循环起始位置之前，为何没有正常输出？
• C语言属于编译型语言，为何编译阶段没有预先指出整个程序的全部错误，反而程序执行到第15行时都没有出现异常？

C语言程序完整运行流程 #

C程序从编写到最终运行分为4个固定阶段：

• 预处理阶段：预处理器处理所有#开头的指令，比如引入头文件、替换宏定义、处理条件编译，生成剔除预处理指令的纯C语法中间文件。
• 编译阶段：编译器对中间文件做逐行的语法、语义检查，检查通过后将C代码翻译为对应硬件平台的汇编代码。
• 汇编阶段：汇编器将汇编代码转换为二进制格式的可重定位目标文件，也就是Windows下常见的.obj、Linux下常见的.o文件。
• 链接阶段：链接器将自定义代码的目标文件、程序依赖的系统库/第三方库代码做拼接，解析所有函数、变量的内存地址，最终生成可直接被操作系统加载运行的可执行文件。
  可执行文件启动后，操作系统会把程序代码、相关资源加载到内存，从main函数入口开始按指令顺序执行，直到走到return语句正常退出，或是触发运行时异常被系统强制终止。

"error 2"无法正常输出的原因 #

这个现象是C标准库的输出缓冲机制直接导致的：
printf是标准IO库函数，默认采用行缓冲策略——调用printf时传入的内容不会立刻打印到屏幕，会先暂存在内存的输出缓冲区中，只有满足以下任意一个条件，缓冲区内容才会被刷新到显示终端：

• 输出内容中包含换行符\n
• 输出缓冲区被填满
• 程序主动调用缓冲区刷新接口，或是程序正常退出
  你写的printf("error 2");语句后没有拼接换行符，语句执行后内容只是存入了缓冲区，并没有实际打印。而你漏写while循环的花括号后，循环体仅包含紧跟在while判断后的第一条语句j = d + i*k;，循环内没有任何修改循环变量i的逻辑，只要你输入的项数n是大于0的正整数，i < n的判断条件就永远成立，程序会卡在这个无限循环里，既不会执行后续代码，也不会走到正常退出的流程，缓冲区里暂存的"error 1""error 2""error 3"等内容永远没有机会被刷新到屏幕，自然看不到对应输出。

编译阶段未报错、前15行运行无异常的原因 #

漏写while循环花括号的写法在C语法规则中是完全合法的，不属于编译错误，编译器不会主动报错。
C语言对循环、分支类控制结构的语法规则非常明确：如果没有用花括号显式包裹代码块，控制结构的作用范围仅覆盖紧跟在结构后的第一条语句。你写的代码完全符合这个规则，编译器只会判定你就是要让while循环只执行j = d + i*k;这一行，后续的sum +=j;、打印语句、i++都是循环执行完毕后才会顺序运行的代码，语法层面没有任何问题，编译阶段自然不会报错。部分编译器可能会给出“建议添加花括号”的风格类警告，但警告不属于阻断编译的错误。
至于前15行运行没有异常，是因为这部分代码本身就是顺序执行的变量声明、终端输入输出调用，除了输出内容暂存在缓冲区未刷新之外，没有触发内存越界、非法算术运算等任何运行时错误，自然不会提前抛出异常，直到进入死循环卡住，才会表现出程序运行异常的状态。

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