C语言编译和链接，带你逐步了解程序执行过程，相当于练习内功！！！

ニポポ

已于 2024-04-04 21:24:55 修改

阅读量660

点赞数 21

分类专栏： c语言进阶文章标签：开发语言 c语言

于 2024-04-04 11:59:52 首次发布

本文链接：https://blog.csdn.net/weixin_70873145/article/details/137369161

版权

9 篇文章 0 订阅

订阅专栏

1.翻译环境和运行环境

代码都是文本信息，计算机是不能直接识别的，计算机可以直接执行的是二进制指令
C语言代码是需要经过处理的，怎么处理呢？是通过编译器处理的。
在ANSI C（标准c）的中有两种不同的环境。
1. 翻译环境，这个环境中源代码会被翻译为可执行的（机器指令）二进制指令
2. 运行环境，执行代码
在调试时运行的程序，是通过翻译环境生成的后缀.exe的文件

gcc test.c -E -o test.i
1. -E 意思是在预处理阶段停下来
2. -o 想让它生成的文件是 test.i
编译有可以分为细分为三个过程预处理 ——> 编译 ——> 汇编
完整的过程：C代码 ——> 预处理 ——> 编译 ——> 汇编 ——> 链接 ——> 可执行程序
在预处理阶段，源文件和头文件会被处理成后缀为 .i 的文件。
预处理阶段主要处理 #include #define这样的源文件。处理所有的条件编译比如： #if、#ifedef、#elif、#endif等等
删除所有的#define，并且展开所有的宏定义，用完就会删，通过预处理阶段，MIN被替换，看下面例子，右下角的截图来自test.c的文件
会删除所有的注释，真正运行代码的时候一行注释都没有，注释是给程序员看的
假如有头文件包含头文件，会递归的形式展开。还会添加行号和文件名标识，方便后面编译器生成调试信息
保留所有的#pragma的编译器命令，编译器后续会用，
1. 就好比#pragma pack(),这个可以修改结构体的默认对齐大小
2. 还有一个#pragma once ，这个是防止头文件重复包含
3. 下面的例子就很好的说明了问题，#pragma定义确实会保留

编译过程是预处理之后的，有三个步骤：词法分析，语法分析，语义分析生成对应的汇编代码文件
gcc -S test.i -o test.s
1. -S 对中间文件处理，可以放在test.i前后都没问题，最后生成test.s文件的汇编代码
2. 把C语言代码生成了汇编代码，大家可以去gcc的环境下试试哈

扫描器，就是简单的进行词法分析，把代码分割成不同的记号（关键字、标识符、字面量、特殊字符等），就是把这个一句话拆分成成很多部分，括号，字符，数字，符号，关键字等

1. 对表达式的语法层面分析，分析的是语义的静态分析，大概的分析语义，并没有执行。
2. 如果有语法错误会提前报错，就是好比有时候写代码写着写着突然就会有个红色小波浪。
3. 这个阶段可以知道每个表达式的类型是什么，当然这个过程很复杂的，相当于又是一个专业细分，我们了解一下就ok啦
4. 大家应该还记得，sizeof 操作符吧，sizeof括号内是不可以计算的，为什么能输出4，都是这个阶段分析出来的

链接解决的是⼀个项目中多文件、多模块之间互相调用的问题。

把一堆文件链接在一起生成可执行的目标文件 .exe
每个.c 文件之间都有对应的符号表，符号有对应的地址，把他们整合起来，两个.c文件都有这个地址，但是只能有一个地址，编译器会自己选择有效的地址
所以调用的地方和声明的地方要符号统一才能找到
看报错，没办法解析外部符号，所以符号要一样才行
我们知道，在预处理的时候后有多个.c 文件一起执行，经过编译的过程，生成对应的.o和.obj文件等待被链接，编译器需要通过符号表，引用符号来找到对应正确的地址。因为在等待链接的过程生成了多个地址，编译器需要将相同与之对应符号修正过来成为真正可用的地址。这个过程叫做：重定位

程序必须载入内存中，一般都是系统完成。在独立环境里面，程序的载入需要手工安排。还可以通过可执行代码置入只读内存来完成
程序开始就会调用main函数
执行代码程序的时候，程序会使用一个运行时间的堆栈（stack），存放局部变量和返回地址，程序也可以同时使用静态（static）内存，存在静态内存里面的会一直保存，直到程序结束
终止程序，正常终止main函数，可能半路意外终止

如果本篇文章对你有帮助，还请留下一键三连，我会继续努力创作出更加详细的文章，重点是理解消化这个过程，特别是在写出BUG的时候，你要知道是在哪个阶段出的问题，可以更好的入手解决问题。
坚持下去认为对的事情~~

关注