【C语言】编译和链接、预处理详解

已于 2025-04-24 15:43:42 修改
阅读量1.3k 收藏 13
点赞数 24
CC 4.0 BY-SA版权
分类专栏： 【C语言及数据结构】学习分享 文章标签： c语言 开发语言 编译 链接 深度解析
于 2025-03-13 21:31:18 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/2401_86785052/article/details/146176328

hi，各位，让我们开启今日份博客~

小编个人主页点这里~

目录

一、翻译环境和运行环境

在ANSI C(ANSI C 是美国国家标准协会创立的一套C标准，于1989年完成，这个版本的语言常被叫做C89.) 的任何一种实现中，存在两个不同的环境。
第一种是翻译环境，在这个环境中，源代码被转换成可执行的机器指令（二进制指令）。
第二种是运行环境，它用于实际执行代码。
在这里插入图片描述

1、翻译环境

翻译由编译和链接两大部分组成，其中编译又分为预处理、编译、汇编三个过程。

在编译器中一个C语言的项目可能有多个.c文件一起构建，那多个.c文件如何生成可执行程序呢？

  • 首先多个.c文件单独经过编译器，编译处理成对应的目标文件（在Windows环境下的目标文件后缀是.obj，Linux环境下目标文件的后缀是.o）
  • 然后多个目标文件和编译库一起经过链接器处理生成最终的可执行程序（链接库是指运行时库【它是支持程序运行的基本函数集合】或者第三方库）。

如果我们再把编译器分成预处理、编译、汇编这三个过程，那就变成了以下过程：
在这里插入图片描述

1.1预处理（预编译）

在预处理阶段，源文件和头文件会被处理成.i为后缀的文件.
在gcc下观察对test.c文件预处理后的test.i文件，命令如下：

gcc test.c -E -o test.i

  • -E选项：提示编译器执行完当前命令后就停下来，后面的编译、汇编和链接暂不执行
  • -S选项：提示编译器执行完编译停下来，汇编、链接暂不执行
  • -c选项：提示编译器执行完汇编就停下来

预处理过程进行的操作：
1、对#include 头文件进行包含
2、删除代码中的注释（使用空格替换）
3、#define 定义的符号进行替换，使用完后，符号删除

1.2编译

编译是将C语言程序转换成了汇编代码
在gcc下观察对test.i文件编译后的test.s文件，命令如下：

gcc test.i -S -o test.s

1.2.1词法分析

词法分析是使用一种叫做lex的程序实现词法扫描，它会按照用户之前描述好的词法规则将输入的字符串分割成一个个记号。产生的记号一般分为：关键字、标识符、字面量（包含数字、字符串等）和特殊符号（运算符、等号等），然后他们放到对应的表中。

我们以以下表达式为例进行词法分析：

array[index] = (index+4)*(2+6);

在这里插入图片描述

1.2.2语法分析

语法分析器根据用户给定的语法规则，将词法分析产生的记号序列进行解析，然后将它们构成一棵语法树。这些语法树是以表达式为节点的树，对于不同的语言，只是其语法规则不一样。

如下：
在这里插入图片描述

1.2.3语义分析

语义分析是由语义分析器来完成的，即对表达式的语法层⾯分析。编译器所能做的分析是语义的静态分析。静态语义分析通常包括声明和类型的匹配，类型的转换等。这个阶段还会报告错误的语法信息。

如下：
在这里插入图片描述

1.3汇编

汇编过程是通过汇编器来完成的，汇编器将汇编代码转变成机器可执⾏的指令（2进制的指令），每⼀个汇编语句⼏乎都对应⼀条机器指令。它是根据汇编指令和机器指令的对照表一一 的进行翻译的，不做指令优化。
gcc下汇编命令如下：

gcc -c test.s -o test.o

1.4链接

链接是⼀个复杂的过程，链接的时候需要把⼀堆⽂件链接在⼀起才⽣成可执⾏程序。链接过程主要包括：地址和空间分配，符号决议和重定位等。

符号解析： 目标文件中可能包含一些未定义的符号引用，如函数调用、全局变量引用等。链接器会在所有的目标文件和库文件中查找这些符号的定义，将符号引用与对应的符号定义进行匹配，确保每个符号都有正确的定义。
重定位：编译生成的目标文件中的地址通常是相对地址或未确定的地址。链接器会根据最终可执行文件或库文件的布局，对目标文件中的代码和数据进行重定位，将相对地址转换为绝对地址，使程序在运行时能够正确地访问代码和数据。
合并段：目标文件通常包含多个段，如代码段、数据段、只读数据段等。链接器会将各个目标文件中的相同类型的段进行合并，形成最终可执行文件或库文件中的相应段，并为每个段分配合适的内存地址。

在生成输出文件时，还会添加一些必要的头部信息，如程序入口点、段的属性等，以便操作系统能够正确的加载和执行程序。

2.运行环境

程序必须载入内存中，在有操作系统的环境中，一般由操作系统来完成，在独立的环境中，程序的载入必须由手工安排，也可能是通过可执行代码置入只读内存来完成。程序载入内存之后，执行才能开始，开始后首先调用main函数，开始执行程序代码。这个时候程序将使用一个运行时堆栈（stack），储存函数的局部变量和返回的地址，程序同时也可以使用静态（static）内存，储存于静态内存中的变量在程序的整个执行过程一直保留他们的值，正常终止main函数时，程序终止，也有可能是意外终止。
在这里插入图片描述
如上图，我们双击以.exe结尾的可执行文件就会进入运行环境，此时程序已经被加载到内存中。

二、预处理

1、预定义符号

C语言设置了⼀些预定义符号，可以直接使用，预定义符号也是在预处理期间处理的。

__FILE__ //进行编译的源文件
__LINE__ //文件当前的行号
__DATE__ //文件被编译的日期
__TIME__ //文件被编译的时间
__STDC__ //如果编译器遵循ANSI C，其值为1，否则未定义

这些预定义符号直接在C语言中就可以使用:
在这里插入图片描述
这些预定义符号也的确是在预处理阶段就被替换掉的：
在这里插入图片描述
图片的右侧是在预处理阶段生成的test.i文件，我们可以看到这些预定义符号的位置已经被替换展开了。

2、#define定义常量

#define是一种预处理指令，它定义的符号在预处理阶段就会被替换展开。

基本语法：#define name stuff

  • name是常量的名字
  • stuff是常量的内容

基本用法：

#define MAX 100

int main()
{
	printf("%d\n", MAX);

	return 0;
}

在这里插入图片描述
图片的右侧依旧是预处理阶段产生的test.i的文件，可以看出已经MAX被替换掉了。

在#define定义标识符的时候，不要在最后加上;，因为这样很容易造成问题。
假设你定义了#define MAX 100;并且执行了语句int a=MAX;此时就会替换成int a=100;;替换之后会产生一个空语句;这是很容易造成语法错误的，比如：

if(a>0)
	max = MAX;
else
	max = 0;

如果是加了分号的情况，等替换后，if和else之间就是2条语句，而没有大括号的时候，if后边只能有⼀条语句。这里会出现语法错误。

3、#define定义宏

规范用法示例：

#include <stdio.h>

#define MAX(x,y) (x)*(y)

int main()
{
	printf("%d", MAX(3, 5));

	return 0;
}

结果：
在这里插入图片描述

这就是宏的规范用法了，有人很疑惑为什么要加那么多的括号，这是因为它是直接替换的，如果不加括号可能会造成我们不想要的后果，例如我要计算MAX(2+1,3+2)，假设没有加括号，直接是x*y，它进行替换会变成2+1*3+2，这就不是我们想要的结果了，所以我们要多加括号，保证正确性。

其实此时还会存在错误，假设我们要计算15/MAX(2+1,3+2)时，它会替换成15/(2+1)*(3+2)这也不是我们想要的结果，我们想的是15除以MAX计算出的整体结果，所以我们在外部还应该加上括号。即#define MAX(x,y) ((x)*(y))
所以用于对数值表达式进行求值的宏定义都应该用这种方式加上括号，避免在使用宏时由于参数中的操作符或邻近操作符之间不可预料的相互作用。

3.1 带有副作用的宏参数

当宏参数在宏的定义中出现超过⼀次的时候，如果参数带有副作用，那么你在使用这个宏的时候就可能出现危险，导致不可预测的后果。副作用就是表达式求值的时候出现的永久性效果。例如x+1;不带副作用，x++;带有副作用，假设我们以上面的宏为例子，我们执行下面的代码：

#include <stdio.h>

#define MAX(x,y) (x)*(y)

int main()
{
	int a = 2;
	printf("%d\n", MAX(a + 1, a + 1));
	printf("%d\n", MAX(a++, a++));//((a++)*(a++))
	printf("a=%d\n", a);

	return 0;
}

运行结果：
在这里插入图片描述
这就是执行的结果，在执行第二步的时候虽然a的确加了两次但和我们预想的不一样，最终结果不是9，也不是6，而是4。这就是上面所说的不可预料的后果。

3.2 宏参数可以出现类型

#include <stdio.h>
#include <stdlib.h>

#define MALLOC(n,type) (type*)malloc(n*sizeof(type))

int main()
{
	//int* p = (int*)malloc(10 * sizeof(int));
	int* p = MALLOC(10, int);
	//int* p = (type*)malloc(n*sizeof(type));

	return 0;
}

这是函数所不能比的。
宏一般的使用场景：执行的运算比较简单。

4、#和##运算符

#运算符将宏的⼀个参数转换为字符串字面量。它仅允许出现在带参数的宏的替换列表中。#运算符所执行的操作可以理解为字符串化。

假设我写了这样的代码：

int a = 10;
printf("the value of a is %d\n", a);
double h = 3.14;
printf("the value of h is %f\n", h);

我们发现这两句话很像，我们这时候就可以借助宏实现这样的打印。

#define PRINT(n,he) printf("the value of " #n " is " he "\n",n)

#n就是将n字符串化，假设我们调用PRINT(a, "%d");此时#n它会被替换成"a"，而he会被替换成"%d"。printf中的多个字符串会被拼接在一起。
相关代码：

int a = 10;
printf("the value of a is %d\n", a);
double h = 3.14;
printf("the value of h is %f\n", h);
PRINT(a, "%d");
PRINT(h, "%f");

执行结果：
在这里插入图片描述
## 可以把位于它两边的符号合成⼀个符号，它允许宏定义从分离的文本片段创建标识符。 ## 被称为记号粘合。这样的连接必须产生⼀个合法的标识符。否则其结果就是未定义的。

##的简单用法：

#include <stdio.h>

#define AD(X,Y) X##Y

int main()
{
	int heihei = 100;
	//AD(hei,hei)-》heihei
	printf("%d\n", AD(hei, hei));

	return 0;
}

运行结果：
在这里插入图片描述
##的复杂用法：
假设我们现在要写两个函数，一个比较int类型中的较大值，一个比较double类型中的较大值。我们会这样书写：

int int_max(int x, int y)
{
	return x > y ? x : y;
}
double double_max(double x, double y)
{
	return x > y ? x : y;
}

但是有了##我们就可以用宏来实现了。

#include <stdio.h>

//  \是续行符
//产生函数的模具
#define BIGMAX(type) \
type type##_max(type x,type y)\
{                             \
	return x>y?x:y;           \
}
//产生一个比较int类型的函数
BIGMAX(int)
//产生一个比较double类型的函数
BIGMAX(double)

int main()
{
	printf("%d\n", int_max(2, 3));
	printf("%f\n", double_max(1.5, 3.5));

	return 0;
}

运行结果：
在这里插入图片描述

5、命名约定

⼀般来讲函数、宏的使用语法很相似。所以语言本身没法帮我们区分二者。
那我们平时的⼀个习惯是：把宏名全部大写，函数名不要全部大写
特例：offsetof也是宏但是是小写。

6、#undef

这条指令用于移除⼀个宏定义。

#include <stdio.h>

#define MAX 100

int main()
{
#undef MAX
	int n = MAX;

	return 0;
}

在这里插入图片描述

7、条件编译

#if 常量表达式
//...
#endif

两个必须配对使用。

#include <stdio.h>

int main()
{
#if 1+1==2//条件为真
	printf("heihei");
#endif

	return 0;
}

结果：
在这里插入图片描述
如果条件为假，就不会打印，其中的表达式必须是常量表达式，因为这些指令是在预处理阶段就处理的，而变量在预处理阶段还没有产生，所以表达式会无效。

多个分支的条件编译：

#if 常量表达式
	//...
#elif 常量表达式
	//...
#else
	//...
#endif

代码：

#include <stdio.h>

#define M 100

int main()
{
#if M<10
	printf("heihei");
#elif M>=50&&M<100
	printf("haha");
#else
	printf("jeijei");
#endif

	return 0;
}

结果：
在这里插入图片描述
判断是否被定义

//两者等价
#if defined(symbol)
#ifdef symbol
//两者等价
#if !defined(symbol)
#ifndef symbol

使用：

#include <stdio.h>

#define M 100

int main()
{
#if defined(M)
	printf("heihei");
#endif

#if !defined(M)
	printf("haha");
#endif

	return 0;
}

在这里插入图片描述
相同的替换：

#include <stdio.h>

#define M 100

int main()
{
#ifdef M
	printf("heihei");
#endif

#ifndef M
	printf("haha");
#endif

	return 0;
}

结果：
在这里插入图片描述
嵌套指令：

#if defined(OS_UNIX)
		#ifdef OPTION1
			unix_version_option1();
		#endif
		#ifdef OPTION2
			unix_version_option2();
		#endif
#elif defined(OS_MSDOS)
		#ifdef OPTION2
			msdos_version_option2();
		#endif
#endif

总结：
以上就是本期博客分享的全部内容啦！技术的探索永无止境。
道阻且长，行则将至！后续我会给大家带来更多博客内容，欢迎关注我的CSDN账号，我们一同成长！
(～￣▽￣)～

C语言是如何使链接的
茶不思基
09-13 535
本文指在帮助需要的朋友理解链接的使用 文章目录环境准备源文件 main.c编译文件连接文件编译文件初步连接查看链接库加入System库详细参数说明 环境准备 源文件 main.c #include <stdio.h> int main() { printf("Hello World from t1 Main!\n"); return 0; } 编译文件 gcc -v main.c 生成a.out文件执行 编译日志为： Apple LLVM version 10.
【c语言】详解C语言预处理、编译、链接
烧鸡配油茶的博客
03-15 1615
对于c语言的初学者来说，一上来就会对#include、 #define 这些预处理指令表示摸不着头脑，询问老师，老师便会回答 ：你先不用懂，这个问题先放着吧！.......那么今天终于到了要揭秘的时刻了！完结撒花！语法：ps:！！！在define定义标识符的时候，不要在最后加上;容易出问题#define 机制包括了一个规定，允许把参数替换到文本中，这种实现通常称为宏（macro）或定义 宏（define macro）。下面是宏的申明方式：其中的 parament-list 是一个由逗号隔开的符号表。
c语言链接
qq_42723835的博客
07-20 950
内部链接：内部链接变量从定义开始，只能在本文件内任意使用 #include&lt;stdio.h&gt; static int a=0;//静态定义，只能在本文件使用。   外部链接： main.c max.c min.c 运行结果 10 10 空链接：代码块作用域和函数作用域的变量具有空连接，表示是有代码块或者函数私有的。  ...
C语言链接
weixin_45702470的博客
07-24 269
C语言+（东南大学凌明）: 链接 非常不错的C语言提升（非零基础）
C语言中的链接
Sky*殇的博客
11-28 1596
首先要知道什么是翻译单元： 即你认为的多个文件在编译器中可能以一个文件出现，而这个包含多个文件的单独文件被称为翻译单元。例如，通常在源代码中包含一个或多个头文件。头文件会依次包含其它的头文件，但是C预处理实际上是用包含的头文件内容去替换#include指令。所以，编译器源代码文件和所有的头文件都看成是一个包含信息的单独文件。这个文件被称为翻译单元。 描述一个具有文件作用域的变量时，它的实际可见范围是整个翻译单元，即这个变量不止在一个文件中可以被使用 C变量有3种链接属性：外部链接，内部链接或无链..
c语言中的链接属性
05-07 521
如果程序由多个源文件组成，在不同的源文件中，出现多个同名的标识符，该怎么处理？这个时候需要考虑标识符的链接属性。标识符的链接属性决定如何处理不同文件中出现的标识符。 一共有三种链接属性，分别是：external(外部),internal(内部),none(无)。 none 没有链接属性的标识符被当作单独的个体。 internal 属于internal的标识符在同一个文件内的所有声明都是指向同...
c语言编译过程详解，预处理，编译，汇编，链接
02-24
预处理展开头文件/宏替换/去掉注释/条件编译（test.imain.i）编译检查语法，生成汇编test.smain.s）汇编汇编代码转换机器码(test.omain.o)链接链接到一起生成可执行程序a.out预处理如锲子中所言，是一种展开，下表是...
C语言编译预处理详解
喜欢编程，将自己会的知识分享给大家
10-23 4338
C语言由源代码生成可执行程序的过程：C源程序－>编译预处理－>编译－>优化程序－>汇编程序－>链接程序－>可执行文件其中编译预处理阶段，读取C源程序，对其中的预处理指令（以#开头的指令）和特殊符号进行处理预处理过程先于编译器对源代码进行处理，读入源代码，检查包含预处理指令的语句和宏定义，并对源代码进行转换。预处理过程还会删除程序中的注释和多余的空白字符使用#define命令并不是真正的定义符号常量，而是定义一个可以替换的宏。被定义为宏的标识符称为“宏名”。
c语言编译过程详解，预处理，编译，汇编，链接(干货满满）
热门推荐
编程爱好者的博客
07-27 11万+
锲子 我们在各自的电脑上写下代码，得明白我们代码究竟是如何产生的，不想了解1，0什么的，但这几个环节必须掌握吧。 我们的代码会经过这4个环节，从而形成最终文件，c语言作为编译语言，用来向计算机发出指令。让程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。 预处理， 展开头文件/宏替换/去掉注释/条件编译 （t...
C语言中的链接类型：
章飞 _906285288的博客
12-25 1273
C语言中的链接类型在上一篇博客中，讲到了C的存储类型，存储类型的关键字是auto，static,extern,和register 而在本篇幅中，同样我们也会用到auto,static,extern,但是本篇幅中的这几个关键字不仅仅将用来修饰变量，同样也可以用来修饰函数，在修饰函数的时候，他们将会有不同的意义，当然也会对其修饰变量会有一个更深的理解什么叫链接属性， 在C语言的编译过程中有一个步骤叫
C语言编译、链接简介
杀手的博客
08-23 2632
文章目录一、编译步骤简介二、目标文件的组成1、文件头2、段表3、代码段、数据段、只读数据段、bss段4、重定位表5、符号表三、静态链接1、分配空间与地址2、确定符号地址3、符号重定位四、装载五、动态链接1、动态链接地址无关代码2、延迟绑定3、动态链接器自举 一、编译步骤简介 一个.c文件，是如何“变成一个”可执行文件呢。以main.c为例，如何得到main?你会回答是通过编译器的编译后输出来的，就像以下命令： gcc -o main.c main gcc是一个集合了编译器，链接器的软件集合。将一个输入的C
C语言 编译和链接
lfm1010123的博客
12-05 3412
_FILE__ // 进行编译的源文件__LINE__ // 文件当前的行号__DATE__ // 文件被编译的日期__TIME__ // 文件被编译的时间__STDC__ // 如果编译器遵循 ANSI C，其值为 1，否则未定义100// 预处理后变成：int n = 100;// 预处理后变成：char arr[] = "hello world";return 0;// 输出结果：// 100int a = 10;int b = 20;
编译和链接
2301_78524918的博客
09-26 83
程序同时也可以使⽤静态（static）内存，存储于静态内存中的变量在程序的整个执⾏过程 ⼀直保留他们的值。将源代码程序被输⼊扫描器，扫描器的任务就是简单的进⾏词法分析，把代码中的字符分割成⼀系列 的记号（关键字、标识符、字⾯量、特殊字符等).编译过程就是将预处理后的⽂件进⾏⼀系列的：词法分析、语法分析、语义分析及优化，⽣成相应的 汇编代码文件。·在在Windows环境下的⽬标⽂件的后缀是.obj，在LIUNX环境下的⽬标⽂件的后缀是.o。链接解决的是⼀个项⽬中多⽂件、多模块之间互相调⽤的问题。
C语言——编译与链接
2301_80401288的博客
08-08 988
C语言——编译与链接
C语言—程序的编译和链接
最新发布
life_time_的博客
04-12 910
等这些步骤。
【C语言进阶剖析】20.C语言中的链接过程
老胡的博客
03-11 3052
文件目录 一、链接器的意义 二、模块链接 三、小结 一、链接器的意义 连接器的主要作用是把各个模块之间相互引用的部分处理好，使得各个模块之间能够正确的衔接。 二、模块链接 静态链接 由链接器在链接时将库的内容直接加入到可执行程序中 Linux下静态库的创建和使用 编译静态库源码：gcc -c lib.c -o lib.o 生成静态库文件：ar -q lib.a lib.o 使用静态库编译：gcc main.c lib.a -o main.out ...
C语言的本质（六）：链接详解-定义和声明
叫好与叫座虽然不是对立面，但想在同一个作品中达到双重效果很难。
08-19 410
以上两节关于变量、函数的定义和声明只介绍了最基本的规则，在写代码时掌握这些基本规则就够用了，但其实C语言关于定义和声明还有很多复杂的规则，在维护别人的代码时还是有必要了解这些规则的。首先看关于函数声明的规则，表1和表2出自参考文献[4]，我做了一些修改。前面我说“extern关键字表示这个标识符具有External Linkage”其实是不准确的，准确地说应该是Previous Linkage。
C语言的本质（五）：链接详解
叫好与叫座虽然不是对立面，但想在同一个作品中达到双重效果很难。
08-19 443
每个段的描述格式都是“段名 : { 组成 }”，例如.plt : { *(.plt) *(.iplt) }，左边表示链接生成的文件的.plt段，右边表示所有目标文件的.plt段和.iplt段，意思是链接生成的文件的.plt段由各目标文件的.plt段和.iplt段组成。另外链接脚本还要把一些特殊地址定义成符号，例如__bss_start代表.bss段的起始地址，_end代表.bss段的结束地址，这些符号会出现在可执行文件的符号表中，加载器可以由这些符号得知.bss段的地址范围，以便把它清零。
【C语言学习记录20】链接过程
haibing_x的博客
07-05 370
问题 工程中的每个C语言源文件被编译后生产目标文件，这些文件如何生成最终的可执行程序？ 链接器的意义： 链接器的主要作用是把各个模块之间相互引用的部分处理好，使得模块之间能够争取的衔接。 静态链接 由链接器在链接时将库的内容直接加入到可执行程序中。 在Linux静态库下的创建和使用： 1）编译静态库源码：gcc –c lib.c –o lib.o （目标文件） 2）生成...
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

矢 望

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值