gcc 的过程及原理 -o

本文详细介绍了GCC编译器的工作流程,包括预处理、编译、汇编和连接等步骤,并展示了如何通过不同的编译选项来优化编译过程,以及如何处理多个源文件和外部库的链接。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

以前错误理解了-o的含义,其实-o只是指定阶段中的目标文件的文件名。


转载自:http://www.cnblogs.com/ggjucheng/archive/2011/12/14/2287738.html


1简介

2简单编译

2.1预处理

2.2编译为汇编代码(Compilation)

2.3汇编(Assembly)

2.4连接(Linking)

3多个程序文件的编译

4检错

5库文件连接

5.1编译成可执行文件

5.2链接

5.3强制链接时使用静态链接库

1简介

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

2简单编译

示例程序如下:

复制代码
//test.c
#include <stdio.h>
int main(void)
{
    printf("Hello World!\n");
    return 0;
}
复制代码

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

gcc test.c -o test



实质上,上述编译过程是分为四个阶段进行的,即预处理(也称预编译,Preprocessing)、编译(Compilation)、汇编 (Assembly)和连接(Linking)。

2.1预处理
gcc -E test.c -o test.i 或 gcc -E test.c

 

可以输出test.i文件中存放着test.c经预处理之后的代码。打开test.i文件,看一看,就明白了。后面那条指令,是直接在命令行窗口中输出预处理后的代码.

gcc的-E选项,可以让编译器在预处理后停止,并输出预处理结果。在本例中,预处理结果就是将stdio.h 文件中的内容插入到test.c中了。

2.2编译为汇编代码(Compilation)

预处理之后,可直接对生成的test.i文件编译,生成汇编代码:

gcc -S test.i -o test.s

gcc的-S选项,表示在程序编译期间,在生成汇编代码后,停止,-o输出汇编代码文件。

2.3汇编(Assembly)

对于上一小节中生成的汇编代码文件test.s,gas汇编器负责将其编译为目标文件,如下:

gcc -c test.s -o test.o
2.4连接(Linking)

gcc连接器是gas提供的,负责将程序的目标文件与所需的所有附加的目标文件连接起来,最终生成可执行文件。附加的目标文件包括静态连接库和动态连接库。

对于上一小节中生成的test.o,将其与C标准输入输出库进行连接,最终生成程序test

gcc test.o -o test

 

在命令行窗口中,执行./test, 让它说HelloWorld吧!

3多个程序文件的编译

通常整个程序是由多个源文件组成的,相应地也就形成了多个编译单元,使用GCC能够很好地管理这些编译单元。假设有一个由test1.c和 test2.c两个源文件组成的程序,为了对它们进行编译,并最终生成可执行程序test,可以使用下面这条命令:

gcc test1.c test2.c -o test

如果同时处理的文件不止一个,GCC仍然会按照预处理、编译和链接的过程依次进行。如果深究起来,上面这条命令大致相当于依次执行如下三条命令:

gcc -c test1.c -o test1.o
gcc -c test2.c -o test2.o
gcc test1.o test2.o -o test



4检错
gcc -pedantic illcode.c -o illcode

-pedantic编译选项并不能保证被编译程序与ANSI/ISO C标准的完全兼容,它仅仅只能用来帮助Linux程序员离这个目标越来越近。或者换句话说,-pedantic选项能够帮助程序员发现一些不符合 ANSI/ISO C标准的代码,但不是全部,事实上只有ANSI/ISO C语言标准中要求进行编译器诊断的那些情况,才有可能被GCC发现并提出警告。

除了-pedantic之外,GCC还有一些其它编译选项也能够产生有用的警告信息。这些选项大多以-W开头,其中最有价值的当数-Wall了,使用它能够使GCC产生尽可能多的警告信息。

gcc -Wall illcode.c -o illcode

GCC给出的警告信息虽然从严格意义上说不能算作错误,但却很可能成为错误的栖身之所。一个优秀的Linux程序员应该尽量避免产生警告信息,使自己的代码始终保持标准、健壮的特性。所以将警告信息当成编码错误来对待,是一种值得赞扬的行为!所以,在编译程序时带上-Werror选项,那么GCC会在所有产生警告的地方停止编译,迫使程序员对自己的代码进行修改,如下:

gcc -Werror test.c -o test

 

5库文件连接

开发软件时,完全不使用第三方函数库的情况是比较少见的,通常来讲都需要借助许多函数库的支持才能够完成相应的功能。从程序员的角度看,函数库实际上就是一些头文件(.h)和库文件(so、或lib、dll)的集合。。虽然Linux下的大多数函数都默认将头文件放到/usr/include/目录下,而库文件则放到/usr/lib/目录下;Windows所使用的库文件主要放在Visual Stido的目录下的include和lib,以及系统文件夹下。但也有的时候,我们要用的库不再这些目录下,所以GCC在编译时必须用自己的办法来查找所需要的头文件和库文件。

例如我们的程序test.c是在linux上使用c连接mysql,这个时候我们需要去mysql官网下载MySQL Connectors的C库,下载下来解压之后,有一个include文件夹,里面包含mysql connectors的头文件,还有一个lib文件夹,里面包含二进制so文件libmysqlclient.so

其中inclulde文件夹的路径是/usr/dev/mysql/include,lib文件夹是/usr/dev/mysql/lib

 

5.1编译成可执行文件

首先我们要进行编译test.c为目标文件,这个时候需要执行

gcc –c –I /usr/dev/mysql/include test.c –o test.o
5.2链接

最后我们把所有目标文件链接成可执行文件:

gcc –L /usr/dev/mysql/lib –lmysqlclient test.o –o test

Linux下的库文件分为两大类分别是动态链接库(通常以.so结尾)和静态链接库(通常以.a结尾),二者的区别仅在于程序执行时所需的代码是在运行时动态加载的,还是在编译时静态加载的。

5.3强制链接时使用静态链接库

默认情况下, GCC在链接时优先使用动态链接库,只有当动态链接库不存在时才考虑使用静态链接库,如果需要的话可以在编译时加上-static选项,强制使用静态链接库。

在/usr/dev/mysql/lib目录下有链接时所需要的库文件libmysqlclient.so和libmysqlclient.a,为了让GCC在链接时只用到静态链接库,可以使用下面的命令:

gcc –L /usr/dev/mysql/lib –static –lmysqlclient test.o –o test

 

静态库链接时搜索路径顺序:

1. ld会去找GCC命令中的参数-L
2. 再找gcc的环境变量LIBRARY_PATH
3. 再找内定目录 /lib /usr/lib /usr/local/lib 这是当初compile gcc时写在程序内的

动态链接时、执行时搜索路径顺序:

1. 编译目标代码时指定的动态库搜索路径
2. 环境变量LD_LIBRARY_PATH指定的动态库搜索路径
3. 配置文件/etc/ld.so.conf中指定的动态库搜索路径
4. 默认的动态库搜索路径/lib
5. 默认的动态库搜索路径/usr/lib

有关环境变量:
LIBRARY_PATH环境变量:指定程序静态链接库文件搜索路径
LD_LIBRARY_PATH环境变量:指定程序动态链接库文件搜索路径



<think>首先,用户的问题是:“我想精简Makefile的写法 请问如何简化Makefile中的重复编译规则”。这涉及到Makefile的优化,以减少重复代码和提高效率。 从系统级指令中,我需要: - 所有行内数学表达式用$...$格式。 - 独立公式用$$...$$格式并单独成段。 - 使用中文回答。 - 生成相关问题。 - 在回答中引用的段落末尾自然地添加引用标识,例如[^1]。 - 回答结构清晰,帮助用户逐步解决问题。 - 参考站内引用:[^1], [^2], [^3], [^4]。 站内引用内容: - [^1]: 关于Makefile的基本功能和优点。 - [^2]: 关于Makefile的模式规则。 - [^3]: 关于避免重复编译的问题和解决方法。 - [^4]: 关于Makefile的优越性和编译规则。 用户的问题是关于简化重复编译规则,所以我应该聚焦在如何减少重复,比如使用模式规则、变量等。 关键点: - Makefile的模式规则(Pattern Rules)可以简化相似目标的规则,避免为每个文件写单独的规则。 - 使用变量(Variables)来定义重复的编译选项。 - 自动化依赖关系生成。 - 避免不必要的重新编译。 我的回答应该结构清晰: 1. 解释问题:为什么需要简化Makefile。 2. 提供解决方案:介绍模式规则、变量等。 3. 给出示例:用代码示例展示如何实现。 4. 总结:强调好处。 5. 生成相关问题:基于主题生成2-3个问题。 在回答中,自然地引用参考内容: - 当提到模式规则时,引用[^2]。 - 当提到避免重复编译时,引用[^3]。 - 当提到Makefile的优越性时,引用[^4]。 确保中文回答。 生成相关问题: 1. 如何自动化生成Makefile依赖关系? 2. Makefile中变量如何定义和使用? 3. 模式规则在大型项目中有什么优势? 最终回答结构: - 开头:简要回应问题。 - 主体:分步解释简化方法。 - 代码块:展示简化后的Makefile示例。 - 结尾:总结和生成相关问题。</think>### 简化Makefile中的重复编译规则 在Makefile编写中,重复编译规则会增加维护难度和编译时间。核心问题在于为每个源文件单独定义规则,导致代码冗余。通过引入模式规则(Pattern Rules)和变量(Variables),可以大幅简化Makefile的结构,避免重复编译。以下是逐步优化方法,基于Makefile的工作原理和站内引用内容。 #### 步骤1: 理解重复编译问题 当为每个源文件(如`file1.c`、`file2.c`)单独定义编译规则时,Makefile会变得冗长。例如: ```makefile file1.o: file1.c gcc -c file1.c -o file1.o file2.o: file2.c gcc -c file2.c -o file2.o # 更多重复规则... ``` 这会导致: - **维护困难**:添加新文件时需手动添加规则。 - **编译效率低**:修改一个文件时,Make可能重新编译所有文件(除非正确处理依赖关系)[^3]。 - **易出错**:选项(如编译标志)不一致。 解决方案的核心是使用**模式规则**,它允许用通配符(如`%`)抽象相似规则,避免重复代码[^2]。 #### 步骤2: 使用模式规则简化 模式规则(Pattern Rules)是Makefile的强大功能,它基于文件名模式自动生成规则。例如,将所有`.c`文件编译为`.o`文件: ```makefile # 定义模式规则:所有.c文件编译为.o文件 %.o: %.c gcc -c $< -o $@ ``` - **解释**: - `%.o: %.c` 表示目标文件(如`file1.o`)依赖于源文件(如`file1.c`)。 - `$<` 是自动变量,代表依赖文件名(如`file1.c`)。 - `$@` 是自动变量,代表目标文件名(如`file1.o`)。 - **优点**: - 只需一行规则,处理所有`.c`文件。 - 添加新文件时,无需修改Makefile。 - 提高可读性和维护性,尤其适合大型项目[^2]。 #### 步骤3: 结合变量减少重复选项 变量(Variables)用于定义重复使用的编译选项,进一步精简代码。例如: ```makefile # 定义变量 CC = gcc CFLAGS = -Wall -O2 # 使用模式规则 %.o: %.c $(CC) $(CFLAGS) -c $< -o $@ # 最终目标(如可执行文件) myapp: file1.o file2.o $(CC) $^ -o $@ ``` - **解释**: - `CC` 和 `CFLAGS` 是变量,定义编译器和标志。 - `$^` 是自动变量,代表所有依赖文件(如`file1.o file2.o`)。 - **好处**: - 修改编译选项时,只需更新变量一处。 - 避免在多个规则中重复书写相同选项[^4]。 #### 步骤4: 自动化依赖关系处理 为避免不必要的重新编译,Makefile应正确处理头文件依赖。使用`-MMD`选项自动生成依赖文件: ```makefile # 添加依赖生成 CFLAGS += -MMD %.o: %.c $(CC) $(CFLAGS) -c $< -o $@ # 包含依赖文件(自动生成.d文件) -include $(wildcard *.d) ``` - **解释**: - `-MMD` 选项让GCC生成`.d`文件(如`file1.d`),包含头文件依赖。 - `-include` 加载这些文件,确保头文件更新时重新编译相关源文件。 - **效果**: - 只有修改的文件及其依赖被重新编译,节省时间[^3]。 - 解决了传统Makefile中“全部重编”的浪费问题[^3]。 #### 完简化示例 以下是一个精简后的Makefile示例,适用于多文件项目: ```makefile # 定义变量 CC = gcc CFLAGS = -Wall -O2 -MMD SRCS = $(wildcard *.c) # 获所有.c文件 OBJS = $(SRCS:.c=.o) # 转换为.o文件 TARGET = myapp # 模式规则:编译所有.c到.o %.o: %.c $(CC) $(CFLAGS) -c $< -o $@ # 最终目标 $(TARGET): $(OBJS) $(CC) $^ -o $@ # 清理规则 clean: rm -f $(OBJS) $(TARGET) *.d # 包含依赖文件 -include $(wildcard *.d) ``` - **使用方式**: - 运行`make` 编译个项目。 - 运行`make clean` 清理生成文件。 - **优势**: - 代码量减少80%以上(相比手动规则)。 - 支持动态添加源文件(无需修改Makefile)。 - 编译过程高效,仅更新必要文件[^4]。 ### 总结 通过模式规则和变量,Makefile的重复编译规则可以被大幅简化。模式规则抽象了相似构建过程,变量统一了编译选项,结合自动依赖生成,确保编译高效且易于维护。这体现了Makefile的优越性:只需简单规则,就能自动化复杂编译流程[^4]。在实际工程中,这种方法能显著提升开发效率,尤其适合大型项目[^2]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值