因为淋过雨,所以懂的为别人撑伞;因为迷茫过,所以懂得为别人指路。
我们都知道写好代码后,编译器会帮助我们把代码生成可执行程序,细加了解又会知道程序的生成又分为四步:预处理、编译、汇编、链接。那么这四步具体都在干什么?
本文目录
程序翻译之四个步骤
我们本文以C语言讲解:
在程序生成过程中每一个C语言源文件都会通过编译过程,分别转化为目标文件(.obj),这些目标为文件会由链接器捆绑在一起,形成一个单一完整的整体,链接器同时也会引入标准C函数库中任何被该程序所用到的函数,且可以搜索程序员个人的程序库,将其需要的函数也链接到程序中,形成可执行程序。
思维导图:
![](https://i-blog.csdnimg.cn/blog_migrate/3a1cf080d6ae5bbf0682e9f89fb7e6cd.png)
注:Linux命令中加-o,指定输出文件名(自定义),该文件为可执行文件,不加-o会默认生成a.out。 gcc/g++是一个编译器 常见选项: -c 汇编完成后停止; -E 预处理完成后停止; -S 编译完成后停止; -o 用于指定目标文件名称; -g 生成debug程序。向程序中添加调试符号信息
预处理阶段(进行宏替换等)
预处理阶段是在正式的编译阶段之前进行。预处理是C语言的一个重要的功能,它由预处理程序单独完成,当对一个源文件进行编译时,系统自动引用预处理程序,预处理在源代码编译之前根据内置预处理指令对其进行的一些文本性质的操作,对源程序编译之前做一些处理,生成扩展的C源程序(本质还是C语言代码)
- 头文件包含:如#include "FileName"或者#include 等。 该指令将头文件中的定义统统都加入到它所产生的输出文件中,以供编译程序对之进行处理。
- 宏替换:如 #define a b 对于这种伪指令,预编译所要做的是将程序中的所有a用b替换,但作为字符串常量的 a则不被替换。还有 #undef,则将取消对某个宏的定义,使以后该串的出现不再被替换。
- 去注释:删除源代码中掉注释的过程,注释不会被带入到编译阶段
- 条件编译:如#ifdef,#ifndef,#else,#elif,#endif等。 这些伪指令的引入使得程序员可以通过定义不同的宏来决定编译程序对哪些代码进行处理。预编译程序将根据有关的文件,将那些不必要的代码过滤掉
图示:
![](https://i-blog.csdnimg.cn/blog_migrate/e1109704b284be0ffe0b2b7c426b68ac.png)
![](https://i-blog.csdnimg.cn/blog_migrate/45e390bdd672f5dd7362cb917700c5fb.png)
可以看到在进行了预处理之后生成.i文件后,文件体积变大了很多,代码由几行变成了八百多行,并且进行了宏替换,去注释等操作。
预处理程序对源程序进行上述“文本替换工作”后,输出的文件(还是C语言代码)中将不再包含宏定义、文件包含、条件编译等指令,源文件相比功能相同,形式不一样。
编译阶段(生成汇编)
编译阶段,gcc会将C语言代码转换成汇编代码文件(.s)。在这个阶段中,gcc 首先要检查代码的规范性、是否有语法错误等,以确定代码的实际要做的工作,在检查无误后,gcc 把代码翻译成汇编语言。
- 编译过程为 扫描程序-->语法分析-->语义分析-->源代码优化-->代码生成器-->目标代码优化;
- 扫描程序进行词法分析,从左向右,从上往下扫描源程序字符,识别出各个单词,确定单词类型
- 语法分析是根据语法规则,将输入的语句构建出分析树,或者语法树,也就是我们答案中提到的分析树parse tree或者语法树syntax tree
- 语义分析是根据上下文分析函数返回值类型是否对应这种语义检测,可以理解语法分析就是描述一个句子主宾谓是否符合规则,而语义用于检测句子的意思是否是正确的
- 目标代码生成指的是,把中间代码变换成为特定机器上的低级语言代码。
图示:
我们可以看到在执行命令后我们生成了一个汇编文件,将C语言源代码转化成了汇编代码
汇编(生成机器可识别代码)
汇编过程是将汇编语言代码翻译生成目标文件(.obj)-二进制文件的过程。目标文件由机器码组成。通常它至少有代码段和数据段两部分。前者包含程序指令,后者存放程序中用到的各种全局/静态数据。
图示:
在这里可以看到,生成的文件是二进制文件,显示一片乱码我们完全看不明白。这是因为汇编过程还会生成一个符号表,因为这个二进制文件是elf格式的,我们可以通过Linux的readelf工具来阅读二进制文件:
汇编阶段生成了可重复定位目标二进制文件,此文件是不可以被执行的。同时通过符号表打印件我们可以看到,一个类似表格的东西,里面有main,printf等符号,这个就是生成的符号表 :在符号表中,程序源代码中的每个标识符都和它的声明或使用信息绑定在一起,比如其数据类型、作用域以及内存地址。
链接(生成可执行文件或库文件)
链接阶段将我们生成的.obj文件和库文件某种合并,生成可执行程序。链接程序要解决外部符号访问地址问题,就是将一个文件中引用的符号与该符号在另一个文件中的定义连接起来,从而使有关的目标文件连成一个整体,最终成为可被操作系统执行的可执行文件。
我们的C程序中,并没有定义“printf”的函数实现,且在预编译中包含的“stdio.h”中也只有该函数的声明,而没有定义函数的实现,那么,是在哪里实“printf”函数的呢?最后的答案是 : 系统把这些函数实现都被做到名为 libc.so.6 的库文件中去了 , 在没有特别指定时 ,gcc 会到系统默认的搜索路径“/usr/lib” 下进行查找 , 也就是链接到 libc.so.6 库函数中去 , 这样就能实现函数“printf” 了 , 而这也就是链接的作用。
当你们在安装VS2019、VS2022的时候,实际上最重要的一个工作是什么呢?就是帮我们下载并安装语言的头文件和库文件!
其实我们用的Linux指令(命令),有相当一部分就是用C写的!如何看到指令呢?通过linux命令:ldd
命令(用于打印程序或者库文件所依赖的共享库列表)可以查看,指令就是程序。
- 静态库:指编译链接时,把静态库文件中我们所需要的代码全部加入到可执行文件中,因此生成的文件比较大,但在运行时也就不再需要库文件了。其后缀名一般为“.a”
- 动态库:指编译链接时,拷贝动态库中我们所需要的代码的地址到我们可执行文件中的相关位置,在程序执行时由运行时链接文件加载库,这样可以节省系统的开销。动态库一般后缀名为“.so”,如 libc.so.6 就是动态库。gcc 在编译时默认使用动态库。完成了链接之后,gcc 就可以生成可执行文件。
- 优缺点:
- 静态库:链接成功后,我们的程序不依赖任何库,自己可以独立运行;但是因为自身拷贝问题,比较浪费内存空间
- 动态库:链接成功后,我们的程序还是依赖动态库(共享),程序内部只有地址,比较节省内存空间;但是一旦动态库缺失,我们的程序将无法运行!
- 对于Linux: 静态库 vs 动态库,Linux中默认使用的事动态链接和动态库!
- 二者本质区别:一个是拷贝内容,一个是拷贝地址
本节完