专栏首页xcywt编译到底做了什么(***.c -> ***.o的过程)

编译到底做了什么(***.c -> ***.o的过程)

 (第一次写博客,好激动的说.......)

我们知道,一个程序由源代码到可执行文件往往由这几步构成:

预处理(Prepressing)-> 编译(Compilation)-> 汇编(Assembly)-> 链接(Linking)。

编译过程就是把预处理完的文件进行一系列词法分析、语法分析、语义分析及优化后生产相应的汇编代码文件,这个过程往往是我们所说的整个程序构建的核心部分。那么,这个核心部分究竟做了什么呢。

各位看官容我挽起袖子,且听我娓娓道来。

编译器做了什么?

  从最直观的角度来说,编译器就是将高级语言翻译成机器语言的一个工具。

  以 C语言为例,解释一下 ***.c -> ***.o 的过程。 假设test.c有下面一段代码

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

  下面就来谈谈这个表达式是如何翻译成机器语言的过程。

  这个过程主要有如下五步,看起来好长的样子,看官需静下心来慢慢看。。。。

1.词法分析 -- 将源代码字符序列分割成一系列的记号

  源代码程序被输入到扫描器(Scanner)。

  扫描器的任务就是:运用一种有限状态机(Finite State Machine)的算法,将源代码字符序列分割成一系列的记号(Token)。还有一些其他工作(将标识符放到符号表,将数字、字符串放到文字表中)

  如下图(因为表格换页了,所以拍出来是这个样子,望海涵)

  词法分析产生的记号可以分为如下几类:关键字、标识符、字面量(包括数字、字符串等)和特殊符号(+ - * /)。

  需要注意的是:C语言的宏替换和文件包含等工作一般不是编译器做的,而是交给一个独立的预处理器。

  有一个叫做lex的程序可以实现词法扫描。

2.语法分析 --  产生语法树(以表达式为节点的树)

  语法分析器(Grammar Parser)将对上面产生的记号进行语法分析,产生语法树(Syntax Tree)-- 采用的是上下文无关语法的分析手段。

 简单的说,语法分析器生成的语法树就是以表达式(Expression)为节点的树。

 如图

 语法分析阶段必须对好多东西(符号的含义和优先级)进行区分,若出现了不合法(如括号不匹配,表达式缺少操作符等),编译器就会报告语法分析阶段的错误。

 仅仅是完成了对表达式语法层面的分析,并不了解这个语句是否真正有意义。

 语法分析也有一个现成的工具叫yacc(Yet Another Compiler Compiler)。

3.语义分析  --  将语法树中节点标明含义

  接下来就是,由语义分析器(Semantic Analyzer)来完成。

  任务就是:为语法树的表达式标识类型。就是下面这个样子,多了类型

  如图

 符号和数字是最小的表达式。

  编译器所能分析的语义是静态语义。(动态语义不能被分析)

  静态语义:在编译阶段可以确定的语义,通常包括声明和类型的匹配,类型的转换。

  动态语义:在运行期才能确定的语义,比如将0作为除数是一个运行期语义错误。

4.中间语言生成  -- 一个优化过程

  现代的编译器有着很多层次的优化,这里介绍的是一个源码级优化器(Source Code Optimizer),会在源码级别进行优化。比如例子中的(2 + 6),因为在编译阶段可以确定为8,所以这个表达式被优化掉了。

 因为直接在语法树上做优化是比较困难的,所以源代码优化器往往将整个语法树转换成中间代码(Intermediate Code),就是语法树的顺序表示(已经非常接近目标代码了)。

 中间代码有很多类型,在不同的编译器有着不同的表现形式,常见的有:三地址码(Three-address Code)、P代码(p-Code)。

中间代码使得编译器可以分成前端和后端。

前端:负责产生机器无关的中间代码

后端:将中间代码转换成目标代码

5.目标代码生成与优化(这里开始就是后端了,前面都是前端)

 编译器后端主要包括:代码生成器(Code Generator)和目标代码优化器(Target Code Optimizer)。

 代码生成器:将中间代码转换成目标机器代码。这个过程非常依赖于机器,因为不同的机器有不同的字长,寄存器,整数数据类型和浮点数数据类型等。

对于我们的例子,可能会生成下面的代码序列(用x86的汇编来表示),如图

目标代码优化器:对上述的目标代码进行优化。比如:选择合适的寻址方式,使用位移来代替乘法运算,删除多余的指令等。

对于我们的例子,有可能会优化成这个样子。

如图。

------  我是分割线   ------

好了,忙活了这么久,源代码终于变成了目标代码。

这时候问题来了,index和array的地址还没有确定。若用把目标代码用汇编器编译成真正能在机器上执行的指令,这两个地址从何而来呢。

若index和array定义在跟上面的源代码同一个编译单元里,那么编译器可以为它们分配空间,确定它们的地址。

若定义在其他模块呢?说来就话长了。。。。。。

附在那本书的一些话:(助于理解)

(1).现代的编译器可以将一个源代码文件编译成一个未链接的目标文件,然后由链接器最终将这些目标文件链接起来形成可执行文件。

(2).汇编器是将汇编代码转变成机器可以执行的指令,每一个汇编语句几乎都对应一条机器指令。

(3).所以汇编器的汇编过程相对于编译器来讲比较简单,它没有复杂的语法,也没有语义,也不需要做指令优化,只是根据汇编指令和机器指令的对照表一一翻译就可以了。

(4).经过预编译、编译和汇编直接输出目标文件(Object File)。

参考文献《程序员的自我修养--链接、装载与库》 P41-P48 (其实就是摘抄整理了一下,哈哈)

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • TCP头部分析与确认号的理解

    1、TCP的特点: 基于字节流 面向连接 可靠传输 缓冲传输 全双工 流量控制 2、头部格式和说明 图源百度。如下图示,就是TCP包的头部结构。可以看到这个头部...

    xcywt
  • 关于delete 和 new

    关于new和delete,有如下代码 // new_test.cpp #include<iostream> using namespace std; cl...

    xcywt
  • Linux进程间通信之共享内存

    一,共享内存   内核管理一片物理内存,允许不同的进程同时映射,多个进程可以映射同一块内存,被多个进程同时映射的物理内存,即共享内存。   映射物理内存叫挂接,...

    xcywt
  • Android 国际化(多语言)兼容8.0

    Android中实现国际化相对来说还是简单的,因为Android有很独特的资源管理方式,我们可以很轻松的创建资源支持不同语言.

    用户1269200
  • 数字营销新时代,看粤财汇如何演绎不一样的互金营销

    论金融品牌的营销方式,最常见的莫过于传统硬广、TVC投放,又或者是以各种行业会议亮相。不少互联网金融平台的营销传播看似声势浩大却不一定接地气。

    曾响铃
  • 用CSS让你的文字更有文艺范

    桃翁
  • go-流程控制

    当表达式1的结果为true时,执行分支1,否则判断表达式2,如果满足则执行分支2,都不满足时,则执行分支3。 if判断中的else if和else都是可选的,可...

    新人小试
  • 机器学习之朴素贝叶斯算法原理与代码实现

    本文系作者原创,转载请注明出处:https://www.cnblogs.com/further-further-further/p/9910417.html

    用户7225427
  • ArrayList源码学习

    写文章要有一定的顺序,按照一定的模块进行学习是比较好的学习习惯。跳跃式的学习很容易导致心态的变化。这不仅是学习过程的事情更是生活上的事情。因此还是按部就班,今天...

    程序员_备忘录
  • 微软开放 .NET 框架源代码

        微软将会在 Visual Studio 2008 正式发布的同时开放.NET框架的源代码库,开放是基于 Microsoft Reference Lice...

    张善友

扫码关注云+社区

领取腾讯云代金券