了解linux系统的gcc编译器

一、前言

本文主要以helloworld的C语言代码来举例说明linux系统下gcc编译器对于程序的具体的构建编译过程。

二、GCC相关简介

GCC:GNU C Compiler 经过了这么多年的发展，GCC 已经不仅仅能支持 C 语言；它现在还支持 Ada 语言、C++ 语言、Java 语言、Objective C 语言、Pascal 语言、COBOL 语言，以及支持函数式编程和逻辑编程的 Mercury 语言，等等。而 GCC 也不再单只是 GNU C 语 言编译器的意思了，而是变成了 GNU Compiler Collection 也即是 GNU 编译器家族的意思了。另 一方面，说到 GCC 对于操作系统平台及硬件平台支持，概括起来就是一句话：无所不在。

Binutils:一组二进制程序处理工具，包括：addr2line、ar、objcopy、objdump、as、ld、 ldd、readelf、 size 等。这 一组工具 是开发和 调试不可 缺少的工具 ，分别简 介 如下：
(1) addr2line：用 来将程序 地址转 换成其所 对应的程 序源文 件及所对 应的代 码 行，也可以得到所对应的函数。该工具将帮助调试器在调试的过程中定位对 应的源代码位置。
(2) as：主要用于汇编，有关汇编的详细介绍请参见后文。
(3) ld：主要用于链接，有关链接的详细介绍请参见后文。
(4) ar：主要用于创建静态库。为了便于初学者理解，在此介绍动态库与静态库 的概念：
–> 如果 要将 多个 .o 目标 文件 生成 一个 库文 件， 则存 在两 种类 型的 库， 一种 是 静态库，另一种是动态库。
–> 在 windows 中 静态 库是 以 .lib 为 后缀 的文 件 ，共 享库 是以 .dll 为 后缀 的 文 件 。 在 linux 中 静 态 库 是 以 .a 为 后 缀 的 文 件 ， 共 享 库 是 以 .so 为 后 缀 的文件。
–> 静 态 库 和 动 态 库 的 不 同 点 在 于 代 码 被 载 入 的 时 刻 不 同 。 静 态 库 的 代 码 在 编 译 过 程 中 已 经 被 载 入 可 执 行 程 序 ， 因 此 体 积 较 大 。 共 享 库 的 代 码 是 在 可 执 行 程 序 运 行 时 才 载 入 内 存 的 ， 在 编 译 过 程 中 仅 简 单 的 引 用 ， 因 此 代 码 体 积 较 小 。 在 Linux 系 统 中 ， 可 以 用 ldd 命 令 查 看 一 个 可 执 行 程 序 依 赖 的 共 享 库。
–> 如 果 一 个 系 统 中 存 在 多 个 需 要 同 时 运 行 的 程 序 且 这 些 程 序 之 间 存 在 共 享 库，那么采用动态库的形式将更节省内存。
(5) ldd：可以用于查看一个可执行程序依赖的共享库。
(6) objcopy：将一种对象文件翻译成另一种格式，譬如将.bin 转换成.elf、或 者将.elf 转换成.bin 等。
(7) objdump：主要的作用是反汇编。有关反汇编的详细介绍，请参见后文。
(8) readelf：显示有关 ELF 文件的信息，请参见后文了解更多信息。
(9) size：列出可执行文件每个部分的尺寸和总尺寸，代码段、数据段、总大小 等，请参见后文了解使用 size 的具体使用实例

三、helloworld实例

1.准备工作

由于 GCC 工具链主要是在 Linux 环境中进行使用，因此本文也将以 Linux 系统作 为工作环 境。为了能够 演示编译的整个 过程，先创建一 个工作目录 test0,

mdir test0
cd test0

然后 用文本编辑器生成一个 C 语言编写的简单 Hello.c 程序为示例，其源代码如下所 示：

#include <stdio.h> //此程序很简单，仅仅打印一个 Hello World 的字符串。 
int main()
 {
  printf("Hello World! \n"); 
  return 0;
 }

2.编译过程

①.预处理

预处理的过程主要包括以下过程：
(1) 将所有的#define 删除，并且展开所有的宏定义，并且处理所有的条件预编 译指令，比如#if #ifdef #elif #else #endif 等。
(2) 处理#include 预编译指令，将被包含的文件插入到该预编译指令的位置。
(3) 删除所有注释“//”和“/* */”。
(4) 添加行号和文件标识，以便编译时产生调试用的行号及编译错误警告行号。
(5) 保留所有的#pragma 编译器指令，后续编译过程需要使用它们。
使用 gcc 进行预处理的命令如下：

gcc -E Hello.c -o Hello.i
// 将源文件 hello.c 文件预处理生成 hello.i 
// GCC 的选项-E 使 GCC 在进行完预处理后即停止

②.编译

编译过程就是对预处理完的文件进行一系列的词法分析，语法分析，语义分析及 优化后生成相应的汇编代码。
使用 gcc 进行编译的命令如下：

gcc -S Hello.i -o Hello.s
// 将预处理生成的 hello.i 文件编译生成汇编程序 hello.s 
// GCC 的选项-S 使 GCC 在执行完编译后停止，生成汇编程序

③.汇编

汇编过程调用对汇编代码进行处理，生成处理器能识别的指令，保存在后缀为.o 的目标文件中。由于每一个汇编语句几乎都对应一条处理器指令，因此，汇编相 对于编译过程比较简单，通过调用 Binutils 中的汇编器 as 根据汇编指令和处理 器指令的对照表一一翻译即可。
当程序由多个源代码文件构成时，每个文件都要先完成汇编工作，生成.o 目标 文件后，才能进入下一步的链接工作。注意：目标文件已经是最终程序的某一部 分了，但是在链接之前还不能执行。
使用 gcc 进行汇编的命令如下：

gcc -c Hello.s -o Hello.o 
// 将编译生成的 hello.s 文件汇编生成目标文件 hello.o 
// GCC 的选项-c 使 GCC 在执行完汇编后停止，生成目标文件 
//或者直接调用 as 进行汇编 
as -c Hello.s -o Hello.o 
//使用 Binutils 中的 as 将 hello.s 文件汇编生成目标文件 

注意：hello.o 目标文件为 ELF（Executable and Linkable Format）格式的可 重定向文件。

④.链接

链接也分为静态链接和动态链接，其要点如下：

(1) 静态链接是指在编译阶段直接把静态库加入到可执行文件中去，这样可执行 文件会比较大。链接器将函数的代码从其所在地（不同的目标文件或静态链 接库中）拷贝到最终的可执行程序中。为创建可执行文件，链接器必须要完 成的主要任务是：符号解析（把目标文件中符号的定义和引用联系起来）和 重定位（把符号定义和内存地址对应起来然后修改所有对符号的引用）。

(2) 动态链接则是指链接阶段仅仅只加入一些描述信息，而程序执行时再从系统 中把相应动态库加载到内存中去。
–> 在 Linux 系 统中，gcc 编 译链 接时 的动 态库 搜索 路径 的 顺序 通常 为：首 先从 gcc 命 令的 参 数-L 指 定的 路径 寻找 ；再 从环 境变 量 LIBRARY_PATH 指 定的 路径 寻址；再 从默 认路 径 /lib、/usr/lib、 /usr/local/lib 寻找 。
–> 在 Linux 系 统中，执 行二 进制 文件 时的 动态 库搜 索路 径的 顺序 通常 为：首 先搜 索编 译目 标 代码 时指 定的 动态 库搜 索路 径；再 从环 境变 量 LD_LIBRARY_PATH 指 定的 路径 寻址；再 从 配置 文件/etc/ld.so.conf 中 指定 的动 态库 搜索 路径 ；再 从默 认路 径/lib、/usr/lib 寻找 。
–> 在 Linux 系统 中， 可以 用 ldd 命令 查看 一个 可执 行程 序依 赖的 共享 库。

由于链接动态库和静态库的路径可能有重合，所以如果在路径中有同名的静态库文件和动 态库文件，比如 libtest.a 和 libtest.so，gcc 链接时默认优先选择动态库，会链接 libtest.so，如果要让 gcc 选择链接 libtest.a 则可以指定 gcc 选项-static，该选项会强 制使用静态库进行链接。以 Hello World 为例,

如果使用命令“gcc Hello.c -o Hello”则会使用动态库进行链接，生成的 ELF 可执行文件的大小（使用 Binutils 的 size 命令查看）和链接的动态库 （使用 Binutils 的 ldd 命令查看）如下所示：

gcc Hello.c -o Hello
size Hello //使用 size 查看大小
ldd Hello //可以看出该可执行文件链接了很多其他动态库，主要是 Linux 的 glibc 动态库

如果使用命令 “ gcc -static Hello.c -o Hello”则会使用静态库进行链接,生成的 ELF 可执行文件的大小（使用 Binutils 的 size 命令查看）和链接的 动态库（使用 Binutils 的 ldd 命令查看）如下所示：

gcc -static Hello.c -o Hello
size Hello //可以看出 text 的代码尺寸 变得极大
ldd Hello //说明没有链接动态库

3.一步到位代码

这个程序，一步到位的编译指令是:

gcc test.c -o test