C程序编译运行原理

C语言作为高级语言，无法被计算机直接识别。那么计算机是如何理解C语言代码，进而执行程序，给出运行结果的呢？事实上，在开发工具中直接运行代码后，代码并不会直接被执行，而是在经过预处理、编译、汇编和链接这4步之后，才生成可执行代码，其过程如图1-19所示。

（1）预处理预处理主要处理代码中以“#”开头的预处理语句（预处理语句将在第9章讲解），预处理完成后，会生成*.i文件。预处理操作具体包括以下几项：①展开所有宏定义（#define），进行字符替换。②处理所有条件编译指令（#ifdef、#ifndef、#endif等）。③处理文件包含语句（#include），将包含的文件直接插入到语句所在处。需要注意的是，代码中的编译器指令（#pragma）会被保留。除此之外，预处理还会进行以下操作：④删除所有注释。⑤ 添加行号和文件标识，以便在调试和编译出错时快速定位到错误所在行。
（2）编译编译操作对预处理文件*.i进行词法分析、语法分析、语义分析后生成汇编文件*.s。
（3）汇编汇编操作指将生成的汇编文件*.s翻译成计算机能够识别的二进制文件。在Linux系统中的二进制文件是“.o”文件，Windows系统中是“.obj”文件。
（4）链接生成二进制文件后，文件尚不能运行，若想运行文件，需要将二进制文件与代码中用到的库文件进行绑定，这个过程称为链接。链接操作完成后将生成可执行文件。