file.c file.h ——> file.i——> file.s——> file.o libc.a——> file.out
1. 预编译 file.c /file.h——>file.i
(处理文本)
- 处理所有的注释,以空格代替
- 将所有的#define删除,并且展开所有的宏定义
- 处理条件编译指令#if ,#ifdef , #elif , #else, #endif
- 处理#include,展开被包含的文件
- 保留编译器需要使用的#pragma指令
预编译指令:
gcc -E file.c -o hello.i
2. 编译 file.i ——>file.s
(把C语言代码转换为汇编代码)
对于处理文件进行:
- 词法分析:主要分析关键字,标示符,立即数等是否合法
- 语法分析:主要分析表达式是否遵循语法规则
- 语义分析:在语法分析的基础上进一步分析表达式是否合法
分析结束后进行代码优化,生成相应的汇编代码文件
编译指令:
gcc -S file.c -0 hello.s
3. 汇编 file.s——>file.o
把汇编代码转换为二进制代码
- 汇编器将汇编代码转变为机器可以执行的指令
- 每个汇编语句几乎都对应一条机器指令
汇编指令:
gcc -c file.s -0 hello.o
链接器
将编译的目标文件file.o 与 使用的库函数的文件libc.a 装载到一块,生成可执行文件 file.out
连接器的主要作用是把各个模块之间相互引用的部分处理好,使得各个模块之间能够正确的衔接,链接为可执行程序。
静态链接
直接拼在一起
如果运行两遍,重合的文件会运行多个拷贝,很占内存空间
动态链接
把stub给链接器,说明有这个文件,运行时用到了在调用。
即使运行了多个运行程序、多份拷贝,占用的空间会比较少,只是寻找的话还是占用时间的,效率低一点。
静态链接在编译期完成,动态链接在运行期完成