C语言的编译链接过程的介绍

栏目: C · 发布时间: 5年前

一。 什么是程序

程序一词也来自生活,通常指完成某些事务的一种既定方式和过程。从表述方面看,可 以将程序看着对一系列动作的执行过程的描述。日常生活中也可以找到许多“程序”实例。

例如,一个学生早上起床后的行为可以描述为:

1,起床;

2,刷牙;

3.  洗脸;

4,吃饭;

5,  早自习;

这是一个直线形程序,是最简单形式的程序。描述这种程序的就是给出一个包含其中各个基 本步骤的序列。如果按顺序实施这些步骤,其整体效果就完成了该项事务。

现在考虑另一个复杂些的过程:到图书馆借教学参考书。这一常见过程可以描述为:

1,进入图书馆;

2,查书目;

  • 填写索书单;
  • 交图书馆工作人员取书;
  • 如果该书已经借出,读者可以有两种选择:

5.1,回到第2步(进一步查找其他参考书的书目);

5.2,放弃借书,离开图书馆;

  • (工作人员找到了要借的书)办理借书手续;

7,离开图书馆。

这个程序比前一个复杂得多。可以看到,这一程序不是一个平铺直叙的动作序列,其中步骤 更多,还出现了分情况处理和可能出现的重复性动作。

如果仔细探究这个实例,我们还可以可以看到,这一程序还可以进一步细化。例如可以 找出许多上面描述中未处理的情况,例如:若查找图书目录时没有找到所需书目;填写好索 书单后已经到了下班时间;借书时发现自己没有带借书证;工作人员查到该读者的借书册数 已经达到限额,或发现该读者有逾期未还的图书,因此拒绝借出等等。

由这些现实生活中的例子,可以初步看到程序的一些直观特征。现实生活中有许多程序 性活动,当我们身处其中时,通常需要按部就班地一步步完成一系列动作。对这种工作(事 物、活动)过程的细节动作描述就是一个“程序”。

在一个程序描述中,总有一批预先假定的“基本动作”,这些基本动作是执行程序者能 够理解和直接完成的。例如,在有关借书的程序描述中将“查图目”作为一个基本动作。如 果执行者不知道如何查书目,那么,在给这种读者的程序描述中,就需要将“查书目”的动 作进一步细分,描述查书目的细节过程。

一个程序总有开始与结束。在执行此程序的过程中,动作者(无论是不是人)需要按照 程序的描述执行一系列的动作。在达到结束位置时工作就完成了。

二。 程序设计之初

计算机诞生之初,人们只能直接用二进制形式的机器语言写程序。对于人的使用而言, 二进制的机器语言很不方便,用它书写程序非常困难,不但工作效率极低,程序的正确性也

难以保证,发现有错误也很难辨认和改正。下面是一台假设计算机上的指令系列:

C语言的编译链接过程的介绍

这里想描述的是计算算术表达式 a X b + c (这里的符号 a b c 分别代表地址为1000、 1010和1100的存储单元),而后将结果保存到单元1110的计算过程(程序)。

个复杂程序里的指令可能有成百万、成千万条或者更多,程序中的执行流程错综复杂,

在二进制机器指令的层面上理解复杂程序到底做了什么,很容易变成人力所根本不能及的事 情。为缓解这一问题,人们发展了符号形式的,使用相对容易些的汇编语言。用汇编语言写 的程序需要用专门软件(汇编系统)加工,翻译成二进制机器指令后才能在计算机上使用。

下面是用某种假想的汇编语言写出的程序,它完成与上面程序同样的工作:

C语言的编译链接过程的介绍

汇编语言的每条指令对应于一条机器语言指令,但采用了助记的符号名,存储单元也用用符

号形式的名字表示。这样,每条指令的意义都更容易理解和把握了。但是,汇编语言的程序 仍然完全没有结构,仅仅是许多这样的指令堆积形成的长长序列,是一团散沙。因此,复杂

程序作为整体仍然难以理解。

1954年诞生了第一个高级程序语言 FORTRAN ,宣告程序设计新时代的开始 FORTRAN 采用完全符号化的描述形式,用类似数学表达式的形式描述数据计算。语言中提供了有类型 的变量,作为存储的抽象模型。此外它还提供了一些流程控制机制,如循环和子程序等。这 些高级机制使编程者可以摆脱许多具体细节,方便了复杂程序的书写,写出的程序也更容易

阅读,有错误也更容易辨认和改正。 FORTRAN 语言诞生后受到广泛欢迎。 高级语言及其实现

高级程序语言更接近人所习惯的描述形式,更容易被接受,也使更多的人能(并乐于) 加入程序设计活动中。用高级语言书写程序的效率更高,这使人们开发出更多应用系统,反

过来又大大推动了计算机应用的发展。应用的发展又推动了计算机工业的大发展。可以说, 高级程序设计语言的诞生和发展,对于计算机发展到今天起了极其重要的作用。

FORTRAN 语言诞生至今,人们已提出的语言超过千种,其中大部分只是试验性的, 只有少数语言得到了广泛使用。随着时代发展,今天绝大部分程序都是用高级语言写的。人 们也已习惯于用程序设计语言特指各种高级程序语言了。

在高级语言(例如 C 语言)的层面上,描述前面同样的程序片断只需一行代码:

d = a * b + c;

C语言的编译链接过程要把我们编写的一个c程序(源代码)转换成可以在硬件上运行的程序(可执行代码),需要进行编译和链接。编译就是把文本形式源代码翻译为机器语言形式的目标文件的过程。链接是把目标文件、操作系统的启动代码和用到的库文件进行组织形成最终生成可执行代码的过程。过程图解如下:

C语言的编译链接过程的介绍

从图上可以看到,整个代码的编译过程分为编译和链接两个过程,编译对应图中的大括号括起的部分,其余则为链接过程。

编译过程

编译过程又可以分成两个阶段:编译和会汇编。

编译

编译是读取源程序(字符流),对之进行词法和语法的分析,将高级语言指令转换为功能等效的汇编代码,源文件的编译过程包含两个主要阶段:

第一个阶段是预处理阶段,在正式的编译阶段之前进行。预处理阶段将根据已放置在文件中的预处理指令来修改源文件的内容。如#include指令就是一个预处理指令,它把头文件的内容添加到.cpp文件中。这个在编译之前修改源文件的方式提供了很大的灵活性,以适应不同的计算机和操作系统环境的限制。一个环境需要的代码跟另一个环境所需的代码可能有所不同,因为可用的硬件或操作系统是不同的。在许多情况下,可以把用于不同环境的代码放在同一个文件中,再在预处理阶段修改代码,使之适应当前的环境。

主要是以下几方面的处理:

(1)宏定义指令,如 #define a b

对于这种伪指令,预编译所要做的是将程序中的所有a用b替换,但作为字符串常量的 a则不被替换。还有 #undef,则将取消对某个宏的定义,使以后该串的出现不再被替换。

(2)条件编译指令,如#ifdef,#ifndef,#else,#elif,#endif等。

这些伪指令的引入使得 程序员 可以通过定义不同的宏来决定编译程序对哪些代码进行处理。预编译程序将根据有关的文件,将那些不必要的代码过滤掉。

(3) 头文件包含指令,如#include “FileName”或者#include 等。

在头文件中一般用伪指令#define定义了大量的宏(最常见的是字符常量),同时包含有各种外部符号的声明。采用头文件的目的主要是为了使某些定义可以供多个不同的C源程序使用。因为在需要用到这些定义的C源程序中,只需加上一条#include语句即可,而不必再在此文件中将这些定义重复一遍。预编译程序将把头文件中的定义统统都加入到它所产生的输出文件中,以供编译程序对之进行处理。包含到c源程序中的头文件可以是系统提供的,这些头文件一般被放在 /usr/include目录下。在程序中#include它们要使用尖括号(< >)。另外开发人员也可以定义自己的头文件,这些文件一般与c源程序放在同一目录下,此时在#include中要用双引号(“”)。

(4)特殊符号,预编译程序可以识别一些特殊的符号。

例如在源程序中出现的LINE标识将被解释为当前行号(十进制数),FILE则被解释为当前被编译的C源程序的名称。预编译程序对于在源程序中出现的这些串将用合适的值进行替换。

预编译程序所完成的基本上是对源程序的“替代”工作。经过此种替代,生成一个没有宏定义、没有条件编译指令、没有特殊符号的输出文件。这个文件的含义同没有经过预处理的源文件是相同的,但内容有所不同。下一步,此输出文件将作为编译程序的输出而被翻译成为机器指令。

第二个阶段编译、优化阶段,经过预编译得到的输出文件中,只有常量;如数字、字符串、变量的定义,以及 C语言 的关键字,如main,if,else,for,while,{,}, +,-,*,\等等。

编译程序所要作得工作就是通过词法分析和语法分析,在确认所有的指令都符合语法规则之后,将其翻译成等价的中间代码表示或汇编代码。

优化处理是编译系统中一项比较艰深的技术。它涉及到的问题不仅同编译技术本身有关,而且同机器的硬件环境也有很大的关系。优化一部分是对中间代码的优化。这种优化不依赖于具体的计算机。另一种优化则主要针对目标代码的生成而进行的。

对于前一种优化,主要的工作是删除公共表达式、循环优化(代码外提、强度削弱、变换循环控制条件、已知量的合并等)、复写传播,以及无用赋值的删除,等等。

后一种类型的优化同机器的硬件结构密切相关,最主要的是考虑是如何充分利用机器的各个硬件寄存器存放的有关变量的值,以减少对于内存的访问次数。另外,如何根据机器硬件执行指令的特点(如流水线、RISC、CISC、VLIW等)而对指令进行一些调整使目标代码比较短,执行的效率比较高,也是一个重要的研究课题。

汇编

汇编实际上指把汇编语言代码翻译成目标机器指令的过程。对于被翻译系统处理的每一个C语言源程序,都将最终经过这一处理而得到相应的目标文件。目标文件中所存放的也就是与源程序等效的目标的机器语言代码。目标文件由段组成。通常一个目标文件中至少有两个段:

代码段:该段中所包含的主要是程序的指令。该段一般是可读和可执行的,但一般却不可写。

数据段:主要存放程序中要用到的各种全局变量或静态的数据。一般数据段都是可读,可写,可执行的。

UNIX环境下主要有三种类型的目标文件:

(1)可重定位文件

其中包含有适合于其它目标文件链接来创建一个可执行的或者共享的目标文件的代码和数据。

(2)共享的目标文件

这种文件存放了适合于在两种上下文里链接的代码和数据。第一种是链接程序可把它与其它可重定位文件及共享的目标文件一起处理来创建另一个 目标文件;第二种是动态链接程序将它与另一个可执行文件及其它的共享目标文件结合到一起,创建一个进程映象。

(3)可执行文件

它包含了一个可以被操作系统创建一个进程来执行之的文件。汇编程序生成的实际上是第一种类型的目标文件。对于后两种还需要其他的一些处理方能得到,这个就是链接程序的工作了。

链接过程

由汇编程序生成的目标文件并不能立即就被执行,其中可能还有许多没有解决的问题。

例如,某个源文件中的函数可能引用了另一个源文件中定义的某个符号(如变量或者函数调用等);在程序中可能调用了某个库文件中的函数,等等。所有的这些问题,都需要经链接程序的处理方能得以解决。

链接程序的主要工作就是将有关的目标文件彼此相连接,也即将在一个文件中引用的符号同该符号在另外一个文件中的定义连接起来,使得所有的这些目标文件成为一个能够诶操作系统装入执行的统一整体。

根据开发人员指定的同库函数的链接方式的不同,链接处理可分为两种:

(1)静态链接

在这种链接方式下,函数的代码将从其所在地静态链接库中被拷贝到最终的可执行程序中。这样该程序在被执行时这些代码将被装入到该进程的虚拟地址空间中。静态链接库实际上是一个目标文件的集合,其中的每个文件含有库中的一个或者一组相关函数的代码。

(2) 动态链接

在此种方式下,函数的代码被放到称作是动态链接库或共享对象的某个目标文件中。链接程序此时所作的只是在最终的可执行程序中记录下共享对象的名字以及其它少量的登记信息。在此可执行文件被执行时,动态链接库的全部内容将被映射到运行时相应进程的虚地址空间。动态链接程序将根据可执行程序中记录的信息找到相应的函数代码。

对于可执行文件中的函数调用,可分别采用动态链接或静态链接的方法。使用动态链接能够使最终的可执行文件比较短小,并且当共享对象被多个进程使用时能节约一些内存,因为在内存中只需要保存一份此共享对象的代码。但并不是使用动态链接就一定比使用静态链接要优越。在某些情况下动态链接可能带来一些性能上损害。

我们在 linux 使用的gcc编译器便是把以上的几个过程进行捆绑,使用户只使用一次命令就把编译工作完成,这的确方便了编译工作,但对于初学者了解编译过程就很不利了,下图便是gcc代理的编译过程:

C语言的编译链接过程的介绍

从上图可以看到:

预编译

将.c 文件转化成 .i文件

使用的gcc命令是:gcc –E

对应于预处理命令cpp

编译

将.c/.h文件转换成.s文件

使用的gcc命令是:gcc –S

对应于编译命令 cc –S

汇编

将.s 文件转化成 .o文件

使用的gcc 命令是:gcc –c

对应于汇编命令是 as

链接

将.o文件转化成可执行程序

使用的gcc 命令是: gcc

对应于链接命令是 ld

总结起来编译过程就上面的四个过程:预编译、编译、汇编、链接。Lia了解这四个过程中所做的工作,对我们理解头文件、库等的工作过程是有帮助的,而且清楚的了解编译链接过程还对我们在编程时定位错误,以及编程时尽量调动编译器的检测错误会有很大的帮助的。


以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

新媒体十讲

新媒体十讲

范卫锋 / 中信出版社 / 2015-8 / 38.00元

“新媒体参谋长”范卫锋解答:媒体人如何转型?怎么创业?如何看准新媒体项目进行投资? 作为“新媒体的参谋长”,本书作者范卫锋将十余年从业亲历的经验教训、行业内幕串联成册,从定位、突破、扩张、商业模式、价值几个方面剖析新媒体策略,解密国内媒体圈转型、创业、投资的实操法则。案例信手拈来,观点鞭辟入里,打造出国内第一本由专业新媒体投资人撰写的新媒体实战兵法,涉及媒体人转型、新媒体实操、媒体公关营销、......一起来看看 《新媒体十讲》 这本书的介绍吧!

HTML 编码/解码
HTML 编码/解码

HTML 编码/解码

Base64 编码/解码
Base64 编码/解码

Base64 编码/解码

XML 在线格式化
XML 在线格式化

在线 XML 格式化压缩工具