编译、链接与库

最新推荐文章于 2022-04-27 11:43:28 发布

perception_

最新推荐文章于 2022-04-27 11:43:28 发布

阅读量759

点赞数

分类专栏：计算机科学基础文章标签：库编译链接

本文链接：https://blog.csdn.net/perception_/article/details/77601352

版权

计算机科学基础专栏收录该内容

4 篇文章 1 订阅

订阅专栏

一. 常见的编译链接过程

将一个程序编译成可执行程序的步骤如下图所示:
这里写图片描述

我们通过如下的以下两段代码，来详细展示的编译，链接过程：

// code/link/main.c
int sum(int *a, int n);

int array[2] = {1, 2}
int main(){
  int val = sum(array, 2);
  return val;
}


//code/link/sum.c
int sum(int *a, int n){
  int i, s = 0;
  for(i = 0; i < n; i++){
    s += a[i];
  }
  return s;
}

预处理器(cpp)：将 C 语言代码*.c翻译成一个ASCII 码的中间文件 *.i 文件。主要处理那些源代码文件中以# 开始的预编译指令。
```
$ gcc -E main.c -o tmp/main.i
```
编译器 (ccl)：主要是把预处理完的文件*.i进行一系列的词法分析、语法分析、语义分析和优化后生成相应的汇编代码文件*.s。
```
$ gcc -S tmp/main.i -o tmp/main.s
```
汇编器(as)：将汇编代码*.s经过汇编器的处理转换成机器可以执行的目标文件代码*.o。
```
$ gcc -c tmp/main.s -o tmp/main.o
```
链接器(ld)：将目标文件*.o以及所需静态库lib.a经过链接器的处理生成可执行文件(*.out)。

在此我们对 sum.c 执行相同的命令，生成对应的sum.o，然后将两者链接起来，创建一个可执行目标文件。
```
$ gcc -o prog tmp/main.o tmp/sum.o
```
加载器(loader)：将可执行程序加载到内存并运行。
```
$ ./prog
```

二. 链接(Linking)

链接是将各种代码和数据片段收集并组合成为一个单一文件的过程，这个文件可以被加载(复制)到内存并执行。链接可以执行与编译时(compile-time)，加载时(load-time)，运行时(run-time)。链接在软件开发中扮演了一个关键的决策，因为它使得分离编译(separate compilation)成为可能。

连接器主要完成两个主要任务：

符号解析(symbol resolution)：

目标文件定义和引用符号，每个符号对应于一个函数，一个全局变量或一个静态变量。符号解析的目的是将每个符号引用正好和一个符号定义关联起来
重定位(relocation)
编译器和汇编器生成从地址0开始的代码和数据节。连接器把每个符号定义和内存位置关联起来，从来重新定位这些节，然后修改这些符号的引用，使得它们指向这个内存位置。

目标文件纯粹是字节块的几何。这些块中有些包含程序代码，有些包含程序数据，而其他的则包含引导连接器和加载器的数据结构。链接器将这些块链接起来，确定被链接块的运行时的位置，并且修改代码和数据块中的各种位置。连接器对目标及其了解甚少，编译器和汇编器已经完成了大部分工作。