【C C++内功心法】剖析编译链接的过程,探究源文件是如何一步步变成可执行程序,提升C C

80 阅读12分钟

img img

网上学习资料一大堆,但如果学到的知识不成体系,遇到问题时只是浅尝辄止,不再深入研究,那么很难做到真正的技术提升。

需要这份系统化资料的朋友,可以戳这里获取

一个人可以走的很快,但一群人才能走的更远!不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人,都欢迎加入我们的的圈子(技术交流、学习资源、职场吐槽、大厂内推、面试辅导),让我们一起学习成长!

  • 集成开发环境(IDE,Integrated Development Environment )是用于提供程序开发环境的应用程序,一般包括代码编辑器、编译器、调试器和图形用户界面等工具。集成了代码编写功能、分析功能、编译功能、调试功能等一体化的开发软件服务套。所有具备这一特性的软件或者软件套(组)都可以叫集成开发环境。

  • 而在Linux下就是把这些工具都裁开,一个工具只负责一个功能。所以在Linux下编写代码就用vim,编译代码就用gcc/g++,调试代码就用gdb,运行或者自动化构建程序就用make和makefile。


如果你去vs2019的安装路径下找一定能找到vs2019的编译器和链接器。

  • vs2019的编译器 —— cl.exe

  • vs2019的链接器 —— link.exe

95a0f810cd5c49de998104931ef2eb32.png

01fd4c96d28040639f0ce69b07e72752.png


 2 编译本身也分为几个阶段

  • 由于vs2019是集成开发环境,不方便观察每个阶段的细节,所以我下面将会使用Linux下的gcc为大家演示编译和链接的过程。

  • 温馨提示:就算没有Linux基础也能看懂哦,所以不用担心没有Linux基础而看不懂。

  • 最后我们将刚刚写的 test.c、add.c、sub.c 这三个文件的代码复制到Linux下。

test.c文件

13e754fd8e3a4f42ac3ce840a3a38a43.png


add.c文件

36c20abef25e43fdb6463a9ca94bf3dd.png


 sub.c文件

ca50f3216e71485887546957338ad7f4.png


2.1 预编译(预处理)

在预处理阶段编译器会做以下几个动作

  1. 将源文件中包含的头文件展开。例如:#include<stdio.h>,其中#include被称为预处理指令。

  2. #define 定义符号的替换。例如:#define Max 100,其中#define也被称为预处理指令。

  3. 删除注释。

Linux下的命令。

  • 预处理选项 gcc -E test.c -o test.i

  • 预处理完成之后就停下来,预处理之后产生的结果都放在test.i文件中。

我们将执行下面这三个命令,让编译器对这三个.c文件预处理完后就停下来。

命令1:gcc -E test.c -o test.i
命令2:gcc -E add.c -o add.i
命令3:gcc -E sub.c -o sub.i

预处理后,当前目录下就会出现三个.i文件。 

7fa5243d0e3b4492905808be881d3c92.png


进入test.i文件。

 大家注意观察行数,我们将test.c文件预处理后,得到的test.i文件的代码比源文件多了800多行(这就是因为预处理后,源文件中包含的头文件被展开)。并且我们刚才写的所有注释也都被删除。

764239dcd2c247ac9d70d232c1a2084e.png


验证头文件展开。

在Linux环境下,头文件是放在 /usr/include 这个路径下的,我们可以到这个路径下去找到相应的头文件。

命令:cd /usr/include

我们在 /usr/include 路径下可以看到有很多头文件,包括我们刚刚在test.c文件里面包含过的stdio.h文件。

2acbb091b5dd425dae9b825041b21af7.png


进入stdio.h这个文件。

18960c8f29de439a8ea48482bb8dbbdf.png


我们注意观察就可以发现test.i文件里面的增加内容基本上都是来自stdio.h文件。

c932e125db2e47ffaf2982f58bf622b0.png


验证#define 定义符号的替换。

我们添加一行宏定义。

904b5443dad14d40aafe6771ee4132c5.png


然后再对test.c文件进行预处理后,进入test.i文件观察。这时就可以观察到刚刚定义的Max被替换掉了。

34c50217e86840f08b526b112150cb2a.png


 2.2 编译

在编译阶段编译器会做以下几个动作

编译器会对你写的代码进行:

  1. 语法分析

  2. 词法分析

  3. 语义分析

  4. 符号汇总(与后面的汇编、链接有关)

  5. 最后把你写的代码翻译成汇编语言。

Linux下的命令

  • 编译 选项 gcc -S test.c

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

我们将执行下面这三个命令,让编译器对这三个.i文件编译完后就停下来。

命令1:gcc -S test.i -o test.s
命令2:gcc -S add.i -o add.s
命令3:gcc -S sub.i -o sub.s

注意:这里的 -S 选项是大写的哦!

编译后,当前目录下就会出现三个.s文件。 

e33608b3fd86491587ff7b2838b40229.png


 进入test.s文件。

这时我们写的代码就已经被完全转化为了汇编语言。

a534da0bb9fd4035b10bd6d3e96dd8c5.png


详解符号汇总

什么是符号?

  • 其实符号就是程序中的变量名、函数名
  • 就比如test.i文件里面的main、Add、Sub、printf都是符号,编译过程中编译器会将它们汇总起来,为后面的汇编和链接阶段做准备。(由于变量a、b、c、d都是局部变量,局部变量只有在当前作用域里才可以用,所以不用统计,一般汇总的符号都是全局的)
  • 在add.i文件里面可以汇总到符号Add
  • 在sub.i文件里面可以汇总到符号Sub
  • 在编译阶段看不出什么,符号汇总的作用主要体现在汇编和链接阶段,所以我们后面讲汇编和链接的时候会详细讲解。

13e754fd8e3a4f42ac3ce840a3a38a43.png


2.3 汇编

在汇编阶段编译器会做以下几个动作

  1. 形成符号表(与编译过程中的符号汇总有关系)

  2. 最后把汇编指令翻译成二进制指令。(因为计算机只认识二进制指令)

注意:

  • 在Windows环境下的目标文件名是 xxx.obj

  • 在Linux环境下的目标文件名是 xxx.o

Linux下的命令

  • 汇编 gcc -c test.c

  • 汇编完成之后就停下来,结果保存在test.o中。


我们将执行下面这三个命令,让编译器对这三个.s文件汇编完后就停下来。

命令1:gcc -c test.s -o test.o
命令2:gcc -c add.s -o add.o
命令3:gcc -c sub.s -o sub.o

注意:这里的 -c 选项是小写的哦!

汇编完后,当前目录下就会出现三个.o文件。 

d89b37189ec2431ca635ee75d3e5f28c.png


  进入test.o文件。

这时test.i文件里面的汇编语言就已经被完全转化为了二进制指令。

8d215c9d1ba541a1b4e590d9124a6727.png


详解符号表

注意:

  • 在Linux环境下,像 test.o 和 可执行程序 这样的文件的格式是:elf 格式。

  • 虽然我们看不懂这样的二进制文件,但是我们可以通过 readelf工具 来看这些二进制文件。

我们可以通过man手册来查看readelf的功能和所有选项。

命令:man readelf

d00e0085dad842d7af53b8a1a5d5d137.png


这里我们只需要用-s选项来查看符号表信息即可。

a48802d7b8494e4488106e35d3911f98.png

查看test.o文件的符号表。

命令:readelf -s test.o

 我们可以看到test.o文件的符号表里面有main、Add、Sub、printf这些符号。

b416f35b93754265a8618bdab96937b0.png


 查看add.o文件的符号表。

命令:readelf -s add.o

我们可以看到add.o文件的符号表里面有 Add 这个符号。

e42a25ada03a4cdf93304cd27c606ca7.png


  查看sub.o文件的符号表。

命令:readelf -s sub.o

我们可以看到sub.o文件的符号表里面有 Sub 这个符号。

01eaa1adcafd48f4bc50ad86af0f3c03.png


形成符号表

每个.o文件里面都有一个符号表,符号表里面有编译过程中记录的符号,并且还有与符号相关联的地址。

  • 我们在test.i文件里面汇总了Add、Sub、main这些符号。(由于printf是库函数,这里暂时先不考虑)

我们在编译过程中,test.i文件里面通过extern来声明了Add和Sub这两个函数,让编译器知道有这两个符号。

88385aa48417477ebb1fe3962748c278.png


但是由于我们每个文件都是单独编译的,Add和Sub是定义在其他文件里面的,所以我们下面在调用Add和Sub函数的时候我们只知道有这2个函数,但是却找不到它们具体定义在哪里。

d44e2b41f8c6459f8826d1e8f47b22d6.png


所以我们在形成符号表的时候只能给Add和Sub一个无效的地址(也就是随便给一个地址,因为我们找不到它们具体定义在哪)

由于main函数本身就是定义在当前test.o文件里面的,能够明确的找到它,所以我们可以给main一个有效的地址。

25a47a7bf89b4e6398418f3be9dc1210.png


  • 我们在add.i文件里面汇总了Add这个符号。

由于Add函数本身就是定义在当前add.o文件里面的,能够明确的找到它,所以我们可以给Add一个有效的地址。

6e0d953ec65b47fdb3e3c4ee6197a077.png


  • 我们在sub.i文件里面汇总了Sub这个符号。

由于Sub函数本身就是定义在当前sub.o文件里面的,能够明确的找到它,所以我们可以给Sub一个有效的地址。

725132b793ad445fa62989d95de5cbfa.png


3.链接

在链接阶段编译器会做以下几个动作

  1. 合并段表。

  2. 符号表的合并与重定向。

3.1 合并段表

我们知道汇编完后的.o文件与最终的可执行程序都是elf格式的。而每个.o文件都是elf格式,是一段一段的,我们最终的可执行程序也是elf格式,为一段一段的,我们需要将每个.o文件的每一段都合并到最终的可执行程序的每一段里面。

e1380bdca2024928ac28b72966cf4d62.png


3.2 符号表的合并与重定向。

  • 将所有.o文件的符号表合并,形成可执行程序的符号表。

  • 遇到两个.o文件有一样的符号时,保留有效地址,删除无效地址。

  • 如果该符号只有一个无效地址,这时编译器就会报链接错误。

  • 当合并完符号表后,可执行程序的符号表就拥有了所有符号有效地址,这样当其调用某个函数的时候就知道应该去那个文件里面找了。

0ecf25ae762845dd83cdce43391005f2.png


如果调用的函数没有定义(这里用vs2019演示了)

我们这里把加法函数注释掉,然后进行编译。

81febfab8bdb45398ecfb0fc8690811d.png

img img img

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上大数据知识点,真正体系化!

由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频,并且后续会持续更新

需要这份系统化资料的朋友,可以戳这里获取