【C语言】编译和链接详解

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的程序实现词法扫描，它会按照用户之前描述好的词法规则将输入的字符串分割成一个个记号。产生的记号一样寻常分为：关键字、标识符、字面量（包罗数字、字符串等）和特别符号（运算符、等号等），然后他们放到对应的表中。
我们以以下表达式为例进行词法分析：

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

复制代码

1.2.2语法分析

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

1.2.3语义分析

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

1.3汇编

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

1. gcc -c test.s -o test.o

复制代码

1.4链接

链接是⼀个复杂的过程，链接的时候需要把⼀堆⽂件链接在⼀起才⽣成可执⾏程序。链接过程主要包罗：地址和空间分配，符号决媾和重定位等。
   符号解析： 目的文件中大概包罗一些未定义的符号引用，如函数调用、全局变量引用等。链接器会在所有的目的文件和库文件中查找这些符号的定义，将符号引用与对应的符号定义进行匹配，确保每个符号都有正确的定义。
重定位：编译生成的目的文件中的地址通常是相对地址或未确定的地址。链接器会根据最终可实行文件或库文件的布局，对目的文件中的代码和数据进行重定位，将相对地址转换为绝对地址，使程序在运行时能够正确地访问代码和数据。
归并段：目的文件通常包罗多个段，如代码段、数据段、只读数据段等。链接器会将各个目的文件中的相同类型的段进行归并，形成最终可实行文件或库文件中的相应段，并为每个段分共同适的内存地址。
    在生成输出文件时，还会添加一些须要的头部信息，如程序入口点、段的属性等，以便操作体系能够正确的加载和实行程序。
  2.运行环境

   程序必须载入内存中，在有操作体系的环境中，一样寻常由操作体系来完成，在独立的环境中，程序的载入必须由手工安排，也大概是通过可实行代码置入只读内存来完成。[color=blow red]程序载入内存之后，实行才能开始，开始后起首调用main函数，开始实行程序代码。这个时候程序将使用一个运行时堆栈（stack），储存函数的局部变量和返回的地址，程序同时也可以使用静态（static）内存，储存于静态内存中的变量在程序的整个实行过程一直保存他们的值，正常停止main函数时，程序停止，也有大概是意外停止。

如上图，我们双击以.exe结尾的可实行文件就会进入运行环境，此时程序已经被加载到内存中。
  总结：
   [color=sky blue]以上就是本期博客分享的全部内容啦！技术的探索永无止境。
道阻且长，行则将至！后续我会给大家带来更多博客内容，接待关注我的CSDN账号，我们一同发展！
(～￣▽￣)～

免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！更多信息从访问主页：qidao123.com:ToB企服之家，中国第一个企服评测及商务社交产业平台。