关键词：
文章目录
1. 前言
今天我们来学习C语言中程序的编译和链接是如何进行的。
在ANSI C的任何一种实现中，存在两个不同的环境。
第1种是翻译环境，在这个环境中源代码被转换为可执行的机器指令。 第2种是执行环境，它用于实际执行代码。
本文主要是介绍预编译阶段的相关知识。
2. 翻译环境和运行环境
2.1 翻译环境
1.组成一个程序的每个源文件通过编译过程分别转换成目标代码（object code）。
2.每个目标文件由链接器（linker）捆绑在一起，形成一个单一而完整的可执行程序。
3.链接器同时也会引入标准C函数库中任何被该程序所用到的函数，而且它可以搜索程序员个人的程序库，将其需要的函数也链接到程序中。
如下图所示：
而编译本身又分为三个阶段 - 预编译，编译，汇编
预编译（预处理） - 1.头文件的包含，#include是预处理指令 2.#define定义符号的替换，#define是预处理指令 3.删除注释，最终生成.i文件
编译 - 把c语言代码翻译成汇编代码，1.语法分析 2.词法分析 3.语义分析 4.符号汇总，最终生成.s文件
汇编 - 把汇编指令翻译成二进制的指令，形成符号表，最终生成.o文件
链接 - 1.合并段表 2.符号表的合并和重定位
2.2 运行环境
程序执行的过程：
1.程序必须载入内存中。在有操作系统的环境中：一般这个由操作系统完成。
在独立的环境中，程序的载入必须由手工安排，也可能是通过可执行代码置入只读内存来完成。
2.程序的执行便开始。接着便调用main函数。
3.开始执行程序代码。这个时候程序将使用一个运行时堆栈（stack），存储函数的局部变量和返回地址。程序同时也可以使用静态（static）内存，存储于静态内存中的变量在程序的整个执行过程一直保留他们的值。
4.终止程序。正常终止main函数；也有可能是意外终止。
3. 预处理详解
接下来主要介绍预处理阶段的相关操作。
3.1 预定义符号
预定义符号 - 这些预定义符号都是语言内置的。
FILE 进行编译的源文件
LINE 文件当前的行号
DATE 文件被编译的日期
TIME 文件被编译的时间
STDC 如果编译器遵循ANSI C，其值为1，否则未定义
使用方法：
int main()
int i = 0;
for (i = 0; i < 5; i++)
printf("name:%s file:%s line:%d date:%s time:%s i=%d\\n", __func__, __FILE__, __LINE__, __DATE__, __TIME__, i);
return 0;
3.2 #define定义的标识符常量和宏
3.2.1 #define定义的标识符常量
#define的语法是：#define name stuff
如：#define MAX 1000 #define reg register
如果定义的 stuff过长，可以分成几行写，除了最后一行外，每行的后面都加一个反斜杠(续行符)。
使用方法：
#define MAX 10
#define STR "abcdef"
int main()
int n = MAX;
char* str = STR;
printf("%d\\n", n);
printf("%s\\n", str);
return 0;
3.2.2 #define定义的宏
#define 机制包括了一个规定，允许把参数替换到文本中，这种实现通常称为宏（macro）或定义宏（definemacro）。
#define name( parament-list ) stuff
注意： 参数列表的左括号必须与name紧邻。 如果两者之间有任何空白存在，参数列表就会被解释为stuff的一部分。
用于对数值表达式进行求值的宏定义都应该用这种方式加上括号，避免在使用宏时由于参数中的操作符或邻近操作符之间不可预料的相互作用。
使用方法：
#define ADD(x,y) ((x)+(y))
int main()
int a = 10;
int b = 20;
int c = ADD(a, b);
printf("%d\\n", c);
return 0;
3.2.3 #define替换规则
在程序中扩展#define定义符号和宏时，需要涉及几个步骤。
1.在调用宏时，首先对参数进行检查，看看是否包含任何由#define定义的符号。如果是，它们首先被替换。
2.替换文本随后被插入到程序中原来文本的位置。对于宏，参数名被他们的值替换。
3.最后，再次对结果文件进行扫描，看它是否包含任何由#define定义的符号。如果是，就重复上述处理过程。
注意：
1.宏参数和#define定义中可以出现其他#define定义的变量。但是对于宏，不能出现递归。
2.当预处理器搜索#define定义的符号的时候，字符串常量的内容并不被搜索。
3.2.4 #和##
使用 # ，把一个宏参数变成对应的字符串
使用##，可以把位于##两边的符号合成一个符号。它允许宏定义从分离的文本片段创建标识符。
注： 这样的连接必须产生一个合法的标识符。否则其结果就是未定义的。
使用方法：
#define PRINT(VALUE,FORMAT) printf("the value of " #VALUE " is " FORMAT "\\n", VALUE);
int main()
int a = 10;
int b = 20;
PRINT(a+b, "%d");
return 0;
3.2.5 带副作用的宏参数
当宏参数在宏的定义中出现超过一次的时候，如果参数带有副作用，那么你在使用这个宏的时候就可能出现危险，导致不可预测的后果。副作用就是表达式求值的时候出现的永久性效果。
例如：
x + 1;//不带副作用
x++;//带有副作用
例如如下代码：
#define MAX(a,b) ((a) > (b) ? (a) : (b))
int main()
int x = 5;
int y = 8;
int z = MAX(x++, y++);
printf("%d %d %d\\n", x, y, z);
return 0;
结果是：
3.3 宏和函数的对比
优点：
1.用于调用函数和从函数返回的代码可能比实际执行这个小型计算工作所需要的时间更多。
所以宏比函数在程序的规模和速度方面更胜一筹。
2.更为重要的是函数的参数必须声明为特定的类型。所以函数只能在类型合适的表达式上使用。
反之宏可以适用于整形、长整型、浮点型等类型。宏是类型无关的。
缺点：
1.每次使用宏的时候，一份宏定义的代码将插入到程序中。除非宏比较短，否则可能大幅度增加程序的长度。
2.宏是没法调试的。
3.宏由于类型无关，也就不够严谨。
4.宏可能会带来运算符优先级的问题，导致程序容易出错。
以下是详细对比：
代码长度：
#define定义的宏：每次使用时，宏代码都会被插入到程序中。除了非常小的宏之外，程序的长度会大幅度增长。
函数：函数代码只出现于一个地方；每次使用这个函数时，都调用那个地方的同一份代码。
执行速度：
#define定义的宏：更快
函数：存在函数的调用和返回的额外开销，所以相对慢一些
操作符优先级：
#define定义的宏：宏参数的求值是在所有周围表达式的上下文环境里，
除非加上括号，否则邻近操作符的优先级可能会产生不可预料的后果，所以建议宏在书写的时候多些括号。
函数：函数参数只在函数调用的时候求值一次，它的结果值传递给函数。表达式的求值结果更容易预测。
带有副作用的参数：
#define定义的宏：参数可能被替换到宏体中的多个位置，所以带有副作用的参数求值可能会产生不可预料的结果。
函数：函数参数只在传参的时候求值一次，结果更容易控制。
参数类型：
#define定义的宏：宏的参数与类型无关，只要对参数的操作是合法的，它就可以使用于任何参数类型。
函数：函数的参数是与类型有关的，如果参数的类型不同，就需要不同的函数，即使他们执行的任务是不同的。
调试：
#define定义的宏：宏是不方便调试的。
函数：函数是可以逐语句调试的。
递归：
#define定义的宏：宏是不能递归的。
函数：函数是可以递归的。
4. 条件编译
在编译一个程序的时候我们如果要将一条语句（一组语句）编译或者放弃是很方便的。因为我们有条件编译指令。
4.1 常见的条件编译指令
1.
#if 常量表达式
...
#endif
//常量表达式由预处理器求值。
//2.多个分支的条件编译
#if 常量表达式
...
#elif 常量表达式
...
#else
...
#endif
//3.判断是否被定义
#if defined(symbol)
#ifdef symbol
#if !defined(symbol)
#ifndef symbol
//4.嵌套指令
#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
使用方法：
int main()
int arr[10] = 0;
int i = 0;
for (i = 0; i < 10; i++)
arr[i] = i;
#if 1
printf("%d ", arr[i]);
#endif
return 0;
4.2 文件包含
#include指令可以使另外一个文件被编译。就像它实际出现于#include指令的地方一样。
本地头文件包含：#include “filename”
查找策略：
先在源文件所在目录下查找，如果该头文件未找到，编译器就像查找库函数头文件一样在标准位置查找头文件。如果找不到就提示编译错误。
库文件包含：#include <filename.h>
查找策略：
查找头文件直接去标准路径下去查找，如果找不到就提示编译错误。
4.3 嵌套文件包含
如果出现以下场景：
此时，comm.h和comm.c是公共模块。test1.h和test1.c使用了公共模块。test2.h和test2.c使用了公共模块。test.h和test.c使用了test1模块和test2模块。这样最终程序中就会出现两份comm.h的内容。这样就造成了文件内容的重复。
这时候我们就可以使用条件编译的办法来解决这个问题：
每个头文件的开头写：
#ifndef __ TEST_H __
#define __ TEST_H __
头文件的内容…
#endif __ TEST_H __
或者：
#pragma once
就可以避免头文件的重复引入。
5. 结尾
本文到这里就结束了，如果有什么问题或者文中有错误，欢迎大家在评论区留言讨论，感谢大家耐心阅读，如果帮助到大家的话，请各位大佬点赞收藏关注一波，十分感谢！
c/c++程序编译过程详解
...编代码，源文件的编译过程包含两个主要阶段：1.1.1编译预处理读取c源程序，对其中的伪指令（以#开头的指令）和特殊符号进行处理。伪指令主要包括以下四个方面：宏定义指令，如#defineNameTokenString，#undef等。对于前一个伪指... 查看详情
c语言进阶六.预处理
（1）程序的翻译环境和执行环境在ANSIC的任何一种实现中，存在两个不同的环境。第1种是翻译环境，在这个环境中源代码被转换为可执行的机器指令。包含编译加链接第2种是执行环境，它用于实际执行代码。（2）详解编译... 查看详情
c语言进阶学习笔记——程序环境和预处理(代码片段)
...翻译环境和执行环境详解编译+链接翻译环境运行环境预处理详解预定义符号#define#define定义标识符#define定义宏#define替换规则#和##带副作用的宏参数宏和函数宏和函数的对比命名约定#undef命令行定义条件编译文件包含头文件被... 查看详情
c语言预处理和程序环境
...译阶段 汇编阶段 链接阶段（不属于编译阶段）预处理详解预定义符号 #define#define定义标识符#define定义宏#define的替换规则 #和##的使用 带副作用的宏参数 宏和函数的对比一些命名的规则 #undef命令行的定义条件编译... 查看详情
c语言——程序环境和预处理
程序的翻译环境和执行环境编译+链接预处理一.程序的翻译环境和执行环境在ANSIC标准的任何一种实现中，存在两种不同的环境：翻译环境：该环境中源代码会被转换为可执行的机器指令 执行环境：其用于实际执行代码二.编... 查看详情
c语言预处理(代码片段)
预处理(或称预编译)是指在进行编译的第一遍扫描(词法扫描和语法分析)之前所作的工作。预处理指令指示在程序正式编译前就由编译器进行的操作，可放在程序中任何位置。当我们写了一个代码，从一个文本文件的代码... 查看详情
c进阶⚡-07程序的编译（预处理操作）+链接
我知道的只是 “肉随便加 ”和 “要加多少加多少 ” 这些词。 ————路飞 阶段2目标：此阶段开始大量刷题，多多参加编程类竞赛，在实战中锻炼编程思维和本领，并且要在不断复习夯实初阶的基础... 查看详情
刨析c语言的程序环境
C语言程序运行的环境1、程序的翻译环境和执行环境2、详解编译+链接编译过程链接过程翻译过程详解3、运行环境1、程序的翻译环境和执行环境在ANSIC的任何一种实现中，存在两个不同的环境。第1种是翻译环境，在这... 查看详情
刨析c语言的程序环境
C语言程序运行的环境1、程序的翻译环境和执行环境2、详解编译+链接编译过程链接过程翻译过程详解3、运行环境1、程序的翻译环境和执行环境在ANSIC的任何一种实现中，存在两个不同的环境。第1种是翻译环境，在这... 查看详情
源代码到可执行程序的过程详解：预编译编译汇编链接(代码片段)
...(gcc)处理，得到.s汇编文件，现在文件内容已经从C语言编程了汇编语言；(3).s汇编文件经过汇编器(as)处理变成.o文件，此时的.o文件已经 查看详情
在linux里，c程序的编辑、编译、调试的详细步骤是啥？
...序的编译：而编译则是对编辑好的c语言程序进行一个，预处理，编辑，汇编和链接的过程，一般格式为: 编译器名-参数目标文件名源文件名；一般工作在命令行模式；c程序的调试：调试阶段则是建立在c程... 查看详情
linux下如何用g++编c++,给一个详细的实例就好
...的c&c++编译器gcc/g++在执行编译工作的时候，总共需要4步1.预处理,生成.i的文件[预处理器cpp]2.将预处理后的文件不转换成汇编语言,生成文件.s[编译器egcs]3.有汇编变为目标代码(机器代码)生成.o的文件[汇编器as]4.连接目标代码,生成... 查看详情
c语言文件的编译与执行的四个阶段并分别描述
...C源代码就可以编译并连接到目标二进制文件上运行。1、预处理：导入源程序并保存（C文件）。2、编译：将源程序转换为目标文件（Obj文件）。3、链接：将目标文件生成为可执行文件（EXE文件）。4、运行：执行，获取运行结果... 查看详情
梦开始的地方——c语言预处理+编译过程(代码片段)
文章目录C语言程序的编译(预处理)1.编译和链接1)编译的几个阶段预编译阶段编译阶段汇编阶段2)链接2.预处理1)预定义符号2)#define3)#和##4)带副作用的宏参数5)宏和函数对比3.常见预处理命令1)#undef2)命令行定义3)条件编译4)文件包含5... 查看详情
c语言条件编译（ifdefifndefendif）
条件编译是指预处理器根据条件编译指令，有条件地选择源程序代码中的一部分代码作为输出，送给编译器进行编译。主要是为了有选择性地执行相应操作，防止宏替换内容（如文件等）的重复包含。常见的... 查看详情
c程序的编译和链接
...序从源代码到目标文件所经过的步骤，介绍了编译系统，预处理、编译、汇编和链接的相关知识。一、编译系统 一个C程序的生命周期从高级C语言程序开始。想要在系统上执行.c程序，每条C语句都必须翻译为低级的机器... 查看详情
linux编译工具：gcc温习
...件。3.gcc编译程序的过程gcc编译程序主要经过四个过程：预处理（Pre-Processing）编译（Compiling）汇编（Assembling）链接（Linking）预处理实际上是将头文件、宏进行展开。编译阶段，gcc调用不同语言的编译器，例如c语言调用编译器cc... 查看详情
c语言篇——程序的编译(代码片段)
...翻译环境和执行环境编译和链接翻译环境编译的几个阶段预处理编译汇编链接运行环境程序的翻译环境和执行环境在ANSIC的任何一种实现中，存在两个不同的环境：第1种是翻译环境,在这个环境中源代码被转换为可执行的... 查看详情