深入理解Javac编译器

深入理解Javac编译器

介绍

  简单的介绍什么是Javac编译器:

javac 是javac语言编程编译器。javac工具读由java语言编写的类和接口的定义,并将它们编译成字节代码的class文件。javac 可以隐式编译一些没有在命令行中提及的源文件。

javac编译过程

  1.解析与填充符号表过程

  2.插入式注解处理器的注解处理过程(回环过程)。

  3.分析与字节码生成过程

                图javac编译过程主体代码

1.解析与填充符号表

1.词法和语法分析

  
  parseFile(sourceFileObjects)方法进行词法和语法分析。

  词法分析:将源代码的字符流转变为标记token集合,单个字符是程序编写过程的最小元素,而标记则是编译过程最小元素,关键字,变量名,字面量,运算符都可以成为标记,如”int a=b+2”这句话包含了6个标记,关键字int虽然有三个字母但是,只是一个token不可再区分。

  语法分析:将token序列构造成抽象语法树的过程,抽象语法树,是一种用来描述程序代码语法结构的属性表示方式,语法树的每一个结点都代表着程序代码中的一个语法结构,如包,类型,修饰符,运算符,接口,返回值甚至代码注释等都可以是一个语法结构。

2.填充符号表

  enterTrees调用使用com.sun.tools.javac.comp.Enter类,此过程每个编译单元的抽象语法树的顶局节点都先被放到待处理列表中并逐个处理列表中的节点。所有的类符号被输入到外围作用域的符号表中确定类的参数(对泛型类型而言)、超类型和接口如果需要添加默认构造器,将类中出现的符号输入到类自身的符号表中。符号表可以使得编译期能够快速识别并获取存储的Token信息,以提高JVM的编译效率。

2.注解处理器-回环处理

  JDK1.5之后,java提供了对注解的支持,即那些以@开头的声明语句。我们可以把他看做是一组编译器的插件,如果这些插件在处理注解期间对语法树进行了修改,编译器回到解析及填充符号表的过程重新处理,直到所有插入式注解处理器都没有再对语法树进行修改,每一次循环称为一个Round。

3.语义分析和字节码的生成

1)检查操作变量类型是否匹配,操作数|方法返回值类型匹配com.sun.tools.javac.comp.Check

2)检查变量、方法或类的访问是否合法、变量是否是静态变量、变量在使用前是否已经初始化com.sun.tools.javac.comp.Resolve

3)推导出泛型方法中的参数类型com.sum.tools.javac.comp.Infer

4)将一些常量进行合并处理com.sum.tools.javac.comp.ConstFold  例如:int a=1+2;合并之后就是int a=3;

com.sun.tools.javac.comp.Flow数据流分析

5)检查变量在使用前是否已经正确赋值

6)包装final修饰的变量不会被重新赋值

7)方法的返回值类型都要确定

8)检查所有的操作是否可达

9)检查checked exception异常是否已经捕获或抛出

10)解除Java的语法糖

11)去掉无用的代码,如永假的if代码块

12)变量的自动转换,如将int自动包装成Integer类型或者相反的操作等;

  • 1
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
这个里面的都是测试数据,总共得分5分。从控制台输入,不能从文件中读取。实现了基本功能,加分项目都没有去实现,没有函数数组这些的实现。这是用C++语言写的,新建parser类别要选C++,其他对于VS的配置和C语言一样。for语句用的是枚举所有情况,你可以自行修改。 对预备工作中自然语言描述的简化C编译器的语言特性的语法,设计上下文无关文法进行描述 借助Yacc工具实现语法分析器 考虑语法树的构造: 1.语法树数据结构的设计:节点类型的设定,不同类型节点应保存哪些信息,多叉树的实现方式 2.实现辅助函数,完成节点创建、树创建等功能 3.利用辅助函数,修改上下文无关文法,设计翻译模式 4.修改Yacc程序,实现能构造语法树的分析器 考虑符号表处理的扩充 1.完成语法分析后,符号表项应增加哪些标识符的属性,保存语法分析的结果 2.如何扩充符号表数据结构,Yacc程序如何与Lex程序交互,正确填写符号表项 以一个简单的C源程序验证你的语法分析器,可以文本方式输出语法树结构,以节点编号输出父子关系,来验证分析器的正确性,如下例: main() { int a, b; if (a == 0) a = b + 1; } 可能的输出为: 0 : Type Specifier, integer, Children: 1 : ID Declaration, symbol: a Children: 2 : ID Declaration, symbol: b Children: 3 : Var Declaration, Children: 0 1 2 4 : ID Declaration, symbol: a Children: 5 : Const Declaration, value:0, Children: 6 : Expr, op: ==, Children: 4 5 7 : ID Declaration, symbol: a Children: 8 : ID Declaration, symbol: b Children: 9 : Const Declaration, value:1, Children: 10: Expr, op: +, Children: 8 9 11: Expr, op: =, Children: 7 10 12: if statement, Children: 6 11 13: compound statement, Children: 3 12

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值