📑 本文目录
- [📖 1. 翻译环境和运行环境](#📖 1. 翻译环境和运行环境)
- [🔄 2. 翻译环境](#🔄 2. 翻译环境)
- [🔍 2.1 预处理（预编译）](#🔍 2.1 预处理（预编译）)
- [🧠 2.2 编译](#🧠 2.2 编译)
- [📝 2.2.1 词法分析](#📝 2.2.1 词法分析)
- [🌲 2.2.2 语法分析](#🌲 2.2.2 语法分析)
- [✅ 2.2.3 语义分析](#✅ 2.2.3 语义分析)
- [🔧 2.3 汇编](#🔧 2.3 汇编)
- [🔗 2.4 链接](#🔗 2.4 链接)
- [🚀 3. 运行环境](#🚀 3. 运行环境)
- [📝 小总结](#📝 小总结)
- [❓ 经典面试题](#❓ 经典面试题)
📖 1. 翻译环境和运行环境
在 ANSI C 的任何一种实现中，存在两个不同的环境：
- 🔧 翻译环境：在这个环境中，源代码被转换为可执行的机器指令（二进制指令）。
- ⚡ 执行环境：它用于实际执行代码。
💡 面试小贴士：这两个环境是C程序从编写到运行必经的两个阶段，面试中常被问到"一个C程序从编写到运行经历了哪些过程"，答案就是先翻译后执行。
🔄 2. 翻译环境
那翻译环境是怎么将源代码转换为可执行的机器指令的呢？这里我们就得展开讲解一下翻译环境所做的事情。
其实翻译环境是由 编译 和 链接 两个大的过程组成的，而编译又可以分解成：预处理（有些书也叫预编译） 、编译 、汇编 三个过程。
一个C语言的项目中可能有多个 .c 文件一起构建，那多个 .c 文件如何生成可执行程序呢？
- 多个
.c文件单独经过编译器，编译处理生成对应的 目标文件 。- ⚠️ 注意 ：在 Windows 环境下目标文件的后缀是
.obj，Linux 环境下目标文件的后缀是.o。
- ⚠️ 注意 ：在 Windows 环境下目标文件的后缀是
- 多个目标文件和 链接库 一起经过链接器处理生成最终的可执行程序。
- 链接库 是指运行时库（它是支持程序运行的基本函数集合）或者第三方库。
下面是整个翻译环境的流程图：
#mermaid-svg-ykfsAyN3KY8kyuOr{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-ykfsAyN3KY8kyuOr .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-ykfsAyN3KY8kyuOr .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-ykfsAyN3KY8kyuOr .error-icon{fill:#552222;}#mermaid-svg-ykfsAyN3KY8kyuOr .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-ykfsAyN3KY8kyuOr .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-ykfsAyN3KY8kyuOr .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-ykfsAyN3KY8kyuOr .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-ykfsAyN3KY8kyuOr .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-ykfsAyN3KY8kyuOr .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-ykfsAyN3KY8kyuOr .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-ykfsAyN3KY8kyuOr .marker{fill:#333333;stroke:#333333;}#mermaid-svg-ykfsAyN3KY8kyuOr .marker.cross{stroke:#333333;}#mermaid-svg-ykfsAyN3KY8kyuOr svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-ykfsAyN3KY8kyuOr p{margin:0;}#mermaid-svg-ykfsAyN3KY8kyuOr .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-ykfsAyN3KY8kyuOr .cluster-label text{fill:#333;}#mermaid-svg-ykfsAyN3KY8kyuOr .cluster-label span{color:#333;}#mermaid-svg-ykfsAyN3KY8kyuOr .cluster-label span p{background-color:transparent;}#mermaid-svg-ykfsAyN3KY8kyuOr .label text,#mermaid-svg-ykfsAyN3KY8kyuOr span{fill:#333;color:#333;}#mermaid-svg-ykfsAyN3KY8kyuOr .node rect,#mermaid-svg-ykfsAyN3KY8kyuOr .node circle,#mermaid-svg-ykfsAyN3KY8kyuOr .node ellipse,#mermaid-svg-ykfsAyN3KY8kyuOr .node polygon,#mermaid-svg-ykfsAyN3KY8kyuOr .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-ykfsAyN3KY8kyuOr .rough-node .label text,#mermaid-svg-ykfsAyN3KY8kyuOr .node .label text,#mermaid-svg-ykfsAyN3KY8kyuOr .image-shape .label,#mermaid-svg-ykfsAyN3KY8kyuOr .icon-shape .label{text-anchor:middle;}#mermaid-svg-ykfsAyN3KY8kyuOr .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-ykfsAyN3KY8kyuOr .rough-node .label,#mermaid-svg-ykfsAyN3KY8kyuOr .node .label,#mermaid-svg-ykfsAyN3KY8kyuOr .image-shape .label,#mermaid-svg-ykfsAyN3KY8kyuOr .icon-shape .label{text-align:center;}#mermaid-svg-ykfsAyN3KY8kyuOr .node.clickable{cursor:pointer;}#mermaid-svg-ykfsAyN3KY8kyuOr .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-ykfsAyN3KY8kyuOr .arrowheadPath{fill:#333333;}#mermaid-svg-ykfsAyN3KY8kyuOr .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-ykfsAyN3KY8kyuOr .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-ykfsAyN3KY8kyuOr .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-ykfsAyN3KY8kyuOr .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-ykfsAyN3KY8kyuOr .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-ykfsAyN3KY8kyuOr .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-ykfsAyN3KY8kyuOr .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-ykfsAyN3KY8kyuOr .cluster text{fill:#333;}#mermaid-svg-ykfsAyN3KY8kyuOr .cluster span{color:#333;}#mermaid-svg-ykfsAyN3KY8kyuOr div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-ykfsAyN3KY8kyuOr .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-ykfsAyN3KY8kyuOr rect.text{fill:none;stroke-width:0;}#mermaid-svg-ykfsAyN3KY8kyuOr .icon-shape,#mermaid-svg-ykfsAyN3KY8kyuOr .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-ykfsAyN3KY8kyuOr .icon-shape p,#mermaid-svg-ykfsAyN3KY8kyuOr .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-ykfsAyN3KY8kyuOr .icon-shape .label rect,#mermaid-svg-ykfsAyN3KY8kyuOr .image-shape .label rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-ykfsAyN3KY8kyuOr .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-ykfsAyN3KY8kyuOr .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-ykfsAyN3KY8kyuOr :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;} 📄 test.c
⚙️ 编译器 cl.exe
📄 add.c
📄 xxx.c
📦 test.obj
📦 add.obj
📦 xxx.obj
🔗 链接器 link.exe
📚 链接库
🚀 可执行程序 xxx.exe
如果再把编译器展开成3个过程，那就变成了下面的过程：
🔍 2.1 预处理（预编译）
在预处理阶段，源文件和头文件会被处理成为 .i 为后缀的文件。
在 gcc 环境下想观察一下，对 test.c 文件预处理后的 .i 文件，命令如下：
bash
gcc -E test.c -o test.i预处理阶段主要处理那些源文件中 # 开始的预编译指令 ，比如：#include、#define，处理的规则如下：
- ✅ 将所有的
#define删除，并展开所有的宏定义。 - ✅ 处理所有的条件编译指令，如：
#if、#ifdef、#elif、#else、#endif。 - ✅ 处理
#include预编译指令，将包含的头文件的内容插入到该预编译指令的位置。这个过程是递归进行的，也就是说被包含的头文件也可能包含其他文件。 - ✅ 删除所有的注释。
- ✅ 添加行号和文件名标识，方便后续编译器生成调试信息等。
- ✅ 或保留所有的
#pragma的编译器指令，编译器后续会使用。
💡 面试小贴士 ：经过预处理后的
.i文件中不再包含宏定义，因为宏已经被展开。并且包含的头文件都被插入到.i文件中。所以当我们无法知道宏定义或者头文件是否包含正确的时候，可以查看预处理后的.i文件来确认。
🧠 2.2 编译
编译过程就是将预处理后的文件进行一系列的：词法分析 、语法分析 、语义分析及优化，生成相应的汇编代码文件。
编译过程的命令如下：
bash
gcc -S test.i -o test.s对下面代码进行编译的时候，会怎么做呢？假设有下面的代码：
c
array[index] = (index+4)*(2+6);📝 2.2.1 词法分析
将源代码程序被输入 扫描器 ，扫描器的任务就是简单的进行词法分析，把代码中的字符分割成一系列的 记号（关键字、标识符、字面量、特殊字符等）。
上面程序进行词法分析后得到了16个记号：
| 记号 | 类型 |
|---|---|
array |
标识符 |
[ |
左方括号 |
index |
标识符 |
] |
右方括号 |
= |
赋值运算符 |
( |
左圆括号 |
index |
标识符 |
+ |
加号 |
4 |
数字字面量 |
) |
右圆括号 |
* |
乘号 |
( |
左圆括号 |
2 |
数字字面量 |
+ |
加号 |
6 |
数字字面量 |
) |
右圆括号 |
🌲 2.2.2 语法分析
接下来 语法分析器 ，将对扫描产生的记号进行语法分析，从而产生 语法树。这些语法树是以表达式为节点的树。
对于 array[index] = (index+4)*(2+6); 这个表达式，语法分析器会构建出如下的语法树结构：
#mermaid-svg-qxrls9T7TAdd0xr0{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-qxrls9T7TAdd0xr0 .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-qxrls9T7TAdd0xr0 .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-qxrls9T7TAdd0xr0 .error-icon{fill:#552222;}#mermaid-svg-qxrls9T7TAdd0xr0 .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-qxrls9T7TAdd0xr0 .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-qxrls9T7TAdd0xr0 .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-qxrls9T7TAdd0xr0 .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-qxrls9T7TAdd0xr0 .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-qxrls9T7TAdd0xr0 .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-qxrls9T7TAdd0xr0 .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-qxrls9T7TAdd0xr0 .marker{fill:#333333;stroke:#333333;}#mermaid-svg-qxrls9T7TAdd0xr0 .marker.cross{stroke:#333333;}#mermaid-svg-qxrls9T7TAdd0xr0 svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-qxrls9T7TAdd0xr0 p{margin:0;}#mermaid-svg-qxrls9T7TAdd0xr0 .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-qxrls9T7TAdd0xr0 .cluster-label text{fill:#333;}#mermaid-svg-qxrls9T7TAdd0xr0 .cluster-label span{color:#333;}#mermaid-svg-qxrls9T7TAdd0xr0 .cluster-label span p{background-color:transparent;}#mermaid-svg-qxrls9T7TAdd0xr0 .label text,#mermaid-svg-qxrls9T7TAdd0xr0 span{fill:#333;color:#333;}#mermaid-svg-qxrls9T7TAdd0xr0 .node rect,#mermaid-svg-qxrls9T7TAdd0xr0 .node circle,#mermaid-svg-qxrls9T7TAdd0xr0 .node ellipse,#mermaid-svg-qxrls9T7TAdd0xr0 .node polygon,#mermaid-svg-qxrls9T7TAdd0xr0 .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-qxrls9T7TAdd0xr0 .rough-node .label text,#mermaid-svg-qxrls9T7TAdd0xr0 .node .label text,#mermaid-svg-qxrls9T7TAdd0xr0 .image-shape .label,#mermaid-svg-qxrls9T7TAdd0xr0 .icon-shape .label{text-anchor:middle;}#mermaid-svg-qxrls9T7TAdd0xr0 .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-qxrls9T7TAdd0xr0 .rough-node .label,#mermaid-svg-qxrls9T7TAdd0xr0 .node .label,#mermaid-svg-qxrls9T7TAdd0xr0 .image-shape .label,#mermaid-svg-qxrls9T7TAdd0xr0 .icon-shape .label{text-align:center;}#mermaid-svg-qxrls9T7TAdd0xr0 .node.clickable{cursor:pointer;}#mermaid-svg-qxrls9T7TAdd0xr0 .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-qxrls9T7TAdd0xr0 .arrowheadPath{fill:#333333;}#mermaid-svg-qxrls9T7TAdd0xr0 .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-qxrls9T7TAdd0xr0 .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-qxrls9T7TAdd0xr0 .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-qxrls9T7TAdd0xr0 .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-qxrls9T7TAdd0xr0 .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-qxrls9T7TAdd0xr0 .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-qxrls9T7TAdd0xr0 .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-qxrls9T7TAdd0xr0 .cluster text{fill:#333;}#mermaid-svg-qxrls9T7TAdd0xr0 .cluster span{color:#333;}#mermaid-svg-qxrls9T7TAdd0xr0 div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-qxrls9T7TAdd0xr0 .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-qxrls9T7TAdd0xr0 rect.text{fill:none;stroke-width:0;}#mermaid-svg-qxrls9T7TAdd0xr0 .icon-shape,#mermaid-svg-qxrls9T7TAdd0xr0 .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-qxrls9T7TAdd0xr0 .icon-shape p,#mermaid-svg-qxrls9T7TAdd0xr0 .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-qxrls9T7TAdd0xr0 .icon-shape .label rect,#mermaid-svg-qxrls9T7TAdd0xr0 .image-shape .label rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-qxrls9T7TAdd0xr0 .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-qxrls9T7TAdd0xr0 .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-qxrls9T7TAdd0xr0 :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;} =
arrayindex
*
+
+
index
4
2
6
✅ 2.2.3 语义分析
由 语义分析器 来完成语义分析，即对表达式的语法层面分析。编译器所能做的分析是语义的 静态分析 。静态语义分析通常包括声明和类型的匹配，类型的转换等。这个阶段会报告错误的语法信息。
💡 面试小贴士：编译的三个阶段（词法分析→语法分析→语义分析）是编译器设计的核心，面试中常被问到"编译器是如何工作的"，回答这三个阶段会显得非常专业。
🔧 2.3 汇编
汇编器 是将汇编代码转变成机器可执行的指令，每一个汇编语句几乎都对应一条机器指令。就是根据汇编指令和机器指令的对照表一一的进行翻译，也不做指令优化。
汇编的命令如下：
bash
gcc -c test.s -o test.o💡 面试小贴士：汇编阶段是最"忠实"的翻译阶段，它不做任何优化，只是简单地将汇编指令翻译成机器码，这也是为什么汇编代码和机器码几乎是一一对应的关系。
🔗 2.4 链接
链接是一个复杂的过程，链接的时候需要把一堆文件链接在一起才生成可执行程序。
链接过程主要包括：地址和空间分配 ，符号决议 和 重定位 等这些步骤。
链接解决的是一个项目中多文件、多模块之间互相调用的问题。
比如：
在一个C的项目中有2个 .c 文件（test.c 和 add.c），代码如下：
test.c
c
#include <stdio.h>
//test.c
//声明外部函数
extern int Add(int x, int y);
//声明外部的全局变量
extern int g_val;
int main()
{
int a = 10;
int b = 20;
int sum = Add(a, b);
printf("%d\n", sum);
return 0;
}add.c
c
int g_val = 2022;
int Add(int x, int y)
{
return x+y;
}我们已经知道，每个源文件都是单独经过编译器处理生成对应的目标文件。
test.c经过编译器处理生成test.oadd.c经过编译器处理生成add.o
我们在 test.c 的文件中使用了 add.c 文件中的 Add 函数和 g_val 变量。
我们在 test.c 文件中每一次使用 Add 函数和 g_val 的时候必须确切的知道 Add 和 g_val 的地址，但是由于每个文件是单独编译的，在编译器编译 test.c 的时候并不知道 Add 函数和 g_val 变量的地址，所以暂时把调用 Add 的指令的目标地址和 g_val 的地址搁置。等待最后链接的时候由 链接器 根据引用的符号 Add 在其他模块中查找 Add 函数的地址，然后将 test.c 中所有引用到 Add 的指令重新修正，让他们的目标地址为真正的 Add 函数的地址，对于全局变量 g_val 也是类似的方法来修正地址。这个地址修正的过程也被叫做：重定位。
#mermaid-svg-yKbgPKJJnzOTqqrY{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-yKbgPKJJnzOTqqrY .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-yKbgPKJJnzOTqqrY .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-yKbgPKJJnzOTqqrY .error-icon{fill:#552222;}#mermaid-svg-yKbgPKJJnzOTqqrY .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-yKbgPKJJnzOTqqrY .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-yKbgPKJJnzOTqqrY .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-yKbgPKJJnzOTqqrY .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-yKbgPKJJnzOTqqrY .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-yKbgPKJJnzOTqqrY .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-yKbgPKJJnzOTqqrY .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-yKbgPKJJnzOTqqrY .marker{fill:#333333;stroke:#333333;}#mermaid-svg-yKbgPKJJnzOTqqrY .marker.cross{stroke:#333333;}#mermaid-svg-yKbgPKJJnzOTqqrY svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-yKbgPKJJnzOTqqrY p{margin:0;}#mermaid-svg-yKbgPKJJnzOTqqrY .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-yKbgPKJJnzOTqqrY .cluster-label text{fill:#333;}#mermaid-svg-yKbgPKJJnzOTqqrY .cluster-label span{color:#333;}#mermaid-svg-yKbgPKJJnzOTqqrY .cluster-label span p{background-color:transparent;}#mermaid-svg-yKbgPKJJnzOTqqrY .label text,#mermaid-svg-yKbgPKJJnzOTqqrY span{fill:#333;color:#333;}#mermaid-svg-yKbgPKJJnzOTqqrY .node rect,#mermaid-svg-yKbgPKJJnzOTqqrY .node circle,#mermaid-svg-yKbgPKJJnzOTqqrY .node ellipse,#mermaid-svg-yKbgPKJJnzOTqqrY .node polygon,#mermaid-svg-yKbgPKJJnzOTqqrY .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-yKbgPKJJnzOTqqrY .rough-node .label text,#mermaid-svg-yKbgPKJJnzOTqqrY .node .label text,#mermaid-svg-yKbgPKJJnzOTqqrY .image-shape .label,#mermaid-svg-yKbgPKJJnzOTqqrY .icon-shape .label{text-anchor:middle;}#mermaid-svg-yKbgPKJJnzOTqqrY .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-yKbgPKJJnzOTqqrY .rough-node .label,#mermaid-svg-yKbgPKJJnzOTqqrY .node .label,#mermaid-svg-yKbgPKJJnzOTqqrY .image-shape .label,#mermaid-svg-yKbgPKJJnzOTqqrY .icon-shape .label{text-align:center;}#mermaid-svg-yKbgPKJJnzOTqqrY .node.clickable{cursor:pointer;}#mermaid-svg-yKbgPKJJnzOTqqrY .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-yKbgPKJJnzOTqqrY .arrowheadPath{fill:#333333;}#mermaid-svg-yKbgPKJJnzOTqqrY .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-yKbgPKJJnzOTqqrY .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-yKbgPKJJnzOTqqrY .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-yKbgPKJJnzOTqqrY .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-yKbgPKJJnzOTqqrY .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-yKbgPKJJnzOTqqrY .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-yKbgPKJJnzOTqqrY .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-yKbgPKJJnzOTqqrY .cluster text{fill:#333;}#mermaid-svg-yKbgPKJJnzOTqqrY .cluster span{color:#333;}#mermaid-svg-yKbgPKJJnzOTqqrY div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-yKbgPKJJnzOTqqrY .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-yKbgPKJJnzOTqqrY rect.text{fill:none;stroke-width:0;}#mermaid-svg-yKbgPKJJnzOTqqrY .icon-shape,#mermaid-svg-yKbgPKJJnzOTqqrY .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-yKbgPKJJnzOTqqrY .icon-shape p,#mermaid-svg-yKbgPKJJnzOTqqrY .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-yKbgPKJJnzOTqqrY .icon-shape .label rect,#mermaid-svg-yKbgPKJJnzOTqqrY .image-shape .label rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-yKbgPKJJnzOTqqrY .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-yKbgPKJJnzOTqqrY .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-yKbgPKJJnzOTqqrY :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;} 链接阶段
编译阶段
重定位过程
❓ test.o中Add地址未知
🔍 链接器在add.o中查找Add
✅ 找到Add地址并修正
📄 test.c
📦 test.o
📄 add.c
📦 add.o
🔗 链接器
🚀 可执行程序
💡 面试小贴士：前面我们非常简洁的讲解了一个C的程序是如何编译和链接，到最终生成可执行程序的过程，其实很多内部的细节无法展开讲解。比如：目标文件的格式elf，链接底层实现中的空间与地址分配，符号解析和重定位等，如果你有兴趣，可以看《程序员的自我修养》一书来详细了解。
🚀 3. 运行环境
程序执行的过程可以分为以下四个步骤：
- 📥 程序必须载入内存中。在有操作系统的环境中：一般这个由操作系统完成。在独立的环境中，程序的载入必须由手工安排，也可能是通过可执行代码置入只读内存来完成。
- ▶️ 程序的执行便开始 。接着便调用
main函数。 - ⚙️ 开始执行程序代码 。这个时候程序将使用一个 运行时堆栈（stack） ，存储函数的局部变量和返回地址。程序同时也可以使用 静态（static）内存，存储于静态内存中的变量在程序的整个执行过程一直保留他们的值。
- ⏹️ 终止程序 。正常终止
main函数；也有可能是意外终止。
#mermaid-svg-ItvUSaPrAlJcmAJ2{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-ItvUSaPrAlJcmAJ2 .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .error-icon{fill:#552222;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .marker{fill:#333333;stroke:#333333;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .marker.cross{stroke:#333333;}#mermaid-svg-ItvUSaPrAlJcmAJ2 svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-ItvUSaPrAlJcmAJ2 p{margin:0;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .cluster-label text{fill:#333;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .cluster-label span{color:#333;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .cluster-label span p{background-color:transparent;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .label text,#mermaid-svg-ItvUSaPrAlJcmAJ2 span{fill:#333;color:#333;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .node rect,#mermaid-svg-ItvUSaPrAlJcmAJ2 .node circle,#mermaid-svg-ItvUSaPrAlJcmAJ2 .node ellipse,#mermaid-svg-ItvUSaPrAlJcmAJ2 .node polygon,#mermaid-svg-ItvUSaPrAlJcmAJ2 .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .rough-node .label text,#mermaid-svg-ItvUSaPrAlJcmAJ2 .node .label text,#mermaid-svg-ItvUSaPrAlJcmAJ2 .image-shape .label,#mermaid-svg-ItvUSaPrAlJcmAJ2 .icon-shape .label{text-anchor:middle;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .rough-node .label,#mermaid-svg-ItvUSaPrAlJcmAJ2 .node .label,#mermaid-svg-ItvUSaPrAlJcmAJ2 .image-shape .label,#mermaid-svg-ItvUSaPrAlJcmAJ2 .icon-shape .label{text-align:center;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .node.clickable{cursor:pointer;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .arrowheadPath{fill:#333333;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-ItvUSaPrAlJcmAJ2 .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-ItvUSaPrAlJcmAJ2 .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-ItvUSaPrAlJcmAJ2 .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .cluster text{fill:#333;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .cluster span{color:#333;}#mermaid-svg-ItvUSaPrAlJcmAJ2 div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-ItvUSaPrAlJcmAJ2 rect.text{fill:none;stroke-width:0;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .icon-shape,#mermaid-svg-ItvUSaPrAlJcmAJ2 .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .icon-shape p,#mermaid-svg-ItvUSaPrAlJcmAJ2 .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .icon-shape .label rect,#mermaid-svg-ItvUSaPrAlJcmAJ2 .image-shape .label rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-ItvUSaPrAlJcmAJ2 .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-ItvUSaPrAlJcmAJ2 .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-ItvUSaPrAlJcmAJ2 :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;} 📥 程序载入内存
▶️ 调用main函数
⚙️ 执行程序代码
📦 使用运行时堆栈
📦 使用静态内存
⏹️ 程序终止
📝 小总结
通过本篇文章的学习，我们完整地了解了C语言程序从源代码到可执行文件的整个生命周期：
| 阶段 | 输入 | 输出 | 核心工作 |
|---|---|---|---|
| 🔍 预处理 | .c 源文件 |
.i 文件 |
处理 # 开头的预编译指令 |
| 🧠 编译 | .i 文件 |
.s 汇编文件 |
词法分析、语法分析、语义分析 |
| 🔧 汇编 | .s 汇编文件 |
.o / .obj 目标文件 |
汇编指令→机器指令 |
| 🔗 链接 | .o / .obj + 链接库 |
可执行程序 | 符号决议、地址重定位 |
| 🚀 运行 | 可执行程序 | 程序输出 | 载入内存、执行代码、终止 |
📚 辅助记忆：各阶段文件后缀 iso ，编译指令选项 esc.
.c文件 -- .i文件：gcc -E test.c test.i
.i文件 -- .s文件：gcc -s test.i test.s
.s文件 -- .o文件：gcc -c test.s test.o
核心要点回顾：
- ✅ 翻译环境 = 编译（预处理+编译+汇编）+ 链接
- ✅ 每个
.c文件独立编译成目标文件 - ✅ 链接解决多文件之间的符号引用问题
- ✅ 重定位是链接阶段修正地址的关键步骤
- ✅ 程序运行需要载入内存、使用堆栈和静态内存
❓ 经典面试题
面试题1：一个C程序从编写到运行经历了哪些过程？
解答： 经历了两个环境、四个阶段：
- 翻译环境 ：将源代码转换为可执行程序
- 预处理：处理
#include、#define等预编译指令 - 编译：进行词法分析、语法分析、语义分析，生成汇编代码
- 汇编：将汇编代码转换为机器指令，生成目标文件
- 链接：将多个目标文件和链接库合并，进行符号决议和重定位，生成可执行程序
- 预处理：处理
- 执行环境 ：运行可执行程序
- 载入内存 → 调用
main函数 → 执行代码 → 终止程序
- 载入内存 → 调用
面试题2：什么是重定位？为什么需要重定位？
解答： 重定位是链接阶段的一个重要步骤。由于每个源文件是单独编译的，在编译 test.c 时，编译器并不知道 add.c 中 Add 函数的地址，所以暂时搁置。链接时，链接器根据引用的符号在其他模块中查找真正的地址，然后修正所有引用该符号的指令，这个过程就是重定位。简单来说，重定位就是"填坑"------把编译时留下的地址空缺，在链接时填上正确的地址。
面试题3：预处理阶段做了哪些工作？
解答： 预处理阶段主要处理以 # 开头的预编译指令，包括：
- 删除
#define并展开宏定义 - 处理条件编译指令（
#if、#ifdef、#elif、#else、#endif） - 处理
#include，将头文件内容递归插入 - 删除所有注释
- 添加行号和文件名标识
- 保留
#pragma指令
面试题4：静态变量和局部变量在内存中的存储位置有什么不同？
解答：
- 局部变量 ：存储在 运行时堆栈（stack） 中，函数调用时分配，函数返回时释放。
- 静态变量 ：存储在 静态内存 中，在程序的整个执行过程中一直保留它们的值，不会随函数调用结束而销毁。
这也是为什么静态变量可以在函数多次调用之间保持值的原因。
面试题5：在Linux环境下，如何查看预处理后的文件内容？
解答： 使用 gcc 的 -E 选项进行预处理，并用 -o 指定输出文件：
bash
gcc -E test.c -o test.i然后可以用 cat、less 或 vim 等工具查看 test.i 文件的内容，确认宏定义是否展开、头文件是否包含正确等。