早期(编译期)优化

解析与填充符号表

词法、语法分析

词法分析是将源代码的字符流转变为标记(Token)集合,单个字符是程序编写过程的最小元素,而标记是编译过程中的最小元素,关键字(int等)、变量名、字面量、运算符(四则运算等)都可以作为标记。

语法分析是指根据Token序列构造抽象语法树的过程,抽象语法树(Abstract Syntax Tree,AST)是一种用来描述程序代码语法结构的树形表示方法,语法树的每一个节点都代表程序代码中的一个语法结构(Construct),例如包、类型、修饰符、运算符、接口、返回值甚至代码注释都可以是一个语法结构。

完成词法和语法分析后,下一步就是填充符号表。符号表(Symbol Table)是一组符号地址和符号信息构成的表格,符号表中所登记的信息在编译不同阶段都要用到。语义分析中,符号表登记的内容将用于语义检查和产生中间代码。在目标码生成阶段,对符号名进行地址分配时,符号表是地址分配的依据。

语义分析与字节码生成

语法分析之后,编译器获得了程序代码的抽象语法树表示,语法树能表示一个结构正确的源程序的抽象,但无法保证源程序是符合逻辑的。而语义分析的主要任务是对结构上正确的源程序进行上下文有关性质的审查,如进行类型审查。

  1. 标注检查:Javac编译过程中,语义分析分为标注检查及数据及控制流分析两个步骤
    这里写图片描述
  2. 数据及控制流分析:是对程序上下文逻辑更进一步的验证,它可以检查出诸如程序局部变量在使用前是否有赋值、方法的每条路径是否都有返回值、是否所有的受查异常都被正确处理了等问题。其目的基本与类加载时期的数据及控制流分析一致,但校验范围有所区别,有一些校验项只有在编译期或运行期才能运行。
  3. 解语法糖(Syntactic Sugar):也称语法糖衣,指的是在计算机语言中添加的某种语法,这种语法对语言的功能并无影响,但是更方便程序员使用。
  4. 字节码生成:是javac编译过程的最后一个阶段,字节码生成阶段不仅仅是把前面各个步骤生成的信息(语法树、符号表)转化成字节码写到磁盘中,编译器还进行了少量的代码添加和转换工作。例如,实例构造器<init>()方法和类构造器<clinit>()方法就是在这个阶段添加到语法树中的(这里的实例构造器并不是默认构造函数,如果用户代码没有提供任何构造函数,那编译器会提供一个没有参数的、访问性与当前类一致的默认构造函数),这两个构造器的产生过程实际上是一个代码收敛的过程。完成了语法树的遍历和调整后,就会把填充了所有所需信息的符号表交给com.sun.tools.javac.jvm.ClassWriter类,由这个类的writeClass()方法输出字节码,生成最终的Class文件,到此为止整个编译过程完成。
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值