浅谈C语言编译+链接

前言：程序环境分为翻译环境和执行环境，仅以本文分享笔者对以上两种环境的认识。

一.翻译环境

二.编译过程

程序编译过程

• 组成一个程序的每个源文件通过编译过程分别转化为目标代码
• 每个目标文件由链接器（linker）捆绑在一起，形成单一而完整的可执行程序
• 链接器同时可以引入标准C函数库中任何被该程序所用到的函数，同时它可以搜索程序员个人的数据库，将需要的函数也链接到程序中 

ps：例如库函数，存放在静态库中，后缀为.LIB。操作系统会将链接库和程序链接。

①预处理阶段 gcc -E test.c -o test.i

预处理完成后就停下来，结果都放在test.i文件中。

预处理阶段进行了注释的删除、#include头文件的包含、#define符号的替换。（以上都是文本操作）

②编译 gcc -S test.c

编译完成之后就停下来，结果保存在test.s中

编译将C语言翻译成汇编指令，主要进行语法分析、词法分析、语义分析、符号汇总

符号汇总：add.c文件中的符号为Add，test.c中的文件是Add和main

③汇编 

汇编完成后就停下来，结果保存在test.o文件中。

1.形成符号表（符号及其地址），例如：

2.将汇编指令转化为二进制指令。

注：以上结果都是在Linux环境下运行得出

三.链接过程

Linux环境下，gcc生成的test.o,可执行程序test都是按ELF（段表）这种文件存储的，也就是数据是分段存储的。

1.合并段表

2.符号表的合并和符号表的重定义

符号表的合并顾名思义就是以少合多，重定位可以理解为摒弃无效的数据，只留下有效的并保存下来。例如：add.c中的Add有具体地址，而test.c中的Add是声明而来，无有效地址，故在链接过程中会重定义Add的地址为add.c中的地址。