java 中文 语义分析,了解Javac编译器 - xinlan1964的个人页面 - OSCHINA - 中文开源技术交流社区...
本文属笔记,《深入分析JavaWeb》许令波,第4章,仅记录看得懂的部分。(这本书内容很多都在IBM上发表过)。如果有侵权请告诉博主,会马上删除。
Javac的工作流程:
源码——词法分析器——Token流——语法分析器——语法树——语义分析器——注解语法树——代码生成器——字节码
1)词法分析
读取源代码,一个字节一个字节地读进来,找到这些字节中哪些是定义的语法关键词,如Java中的if、else、for、while等关键词,要识别哪些if是合法的关键词、哪些不是。
从源码中找到一些规范化的Token流,就像人类语言中,给你一句话要能分辨出哪些是一个词语、哪些是标点符号、哪些是动词、哪些是名词等。
Scanner负责具体读取和归类不同词法的操作,判断哪些字符组合是一个Token。JavacParser规定了哪些词是符合Java语言规范规定的词:package语法、import语法、类定义、field定义、method定义、变量定义、表达式定义等,每个语法表达式用分号结束。
2)语法分析
对Token流进行语法分析,检查这些关键词组合在一起是不是符合Java语言规范,如if的后面是不是紧跟着一个布尔判断表达式。就像人类语言中,是不是有主谓宾,主谓宾结合得是不是正确,语法是不是正确。
形成一个符合Java语言规范的抽象语法树,抽象语法树是一个结构化的语法表达式形式,它的作用是把语言的主要词法用一个结构化的形式组织在一起。这颗语法树可以被我们后面按照新的规则重新组织。
将token流组建成更加结构化的语法树,也就是间一个个单词组装成一句话,一个完整的语句。哪些词语组合在一起是主语、哪些是谓语、哪些是宾语、哪些是定语,要做进一步区分。Java语法树使得Java源代码更加结构化:每个语法树上的节点都是com.sun.tools.javac.tree.JCTree的一个实例,①每个语法节点都会实现一个接口xxxTree,这个接口又继承于com.sun.source.tree.Tree接口,如IfTree语法节点表示一个if类型的表达式,BinaryTree语法节点代表一个二元操作表达式等;②每个语法节点都是com.sum.tools.javac.tree.JCTree的子类,并且会实现xxxTree接口类,这个类的类名类似于JCxxx,如实现IfTree接口的实现类为JCIf,实现BinaryTree接口的类为JCBinary等;③所有的JCxxx类都作为一个静态内部类在JCTree类中。
3)语义分析
把一些难懂的、复杂的语法转化成更加简单的语法。这个步骤类似将难懂的文言文转化成大家都能懂的白话文或者注解一下一些成语,便于人们更好地理解。
将复杂的语法转化成最简单的语法,对应到Java中,如将foreach转成for循环结构,还有注解等,最后形成一个注解过后的抽象语法树,这颗语法树更接近目标语言的语法规则。
com.sum.tools.javac.comp.Enter:符号表的构建
1)将Java类中的符号输入到符号表中
1)给类添加默认的构造函数
com.sun.tools.javac.processing.JavacProcessingEnvironment:annotation处理
2)处理annotation注解
com.sun.tools.javac.comp.Attr:标注和语法检查
3)检查操作变量类型是否匹配,操作数|方法返回值类型匹配com.sun.tools.javac.comp.Check
3)检查变量、方法或类的访问是否合法、变量是否是静态变量、变量在使用前是否已经初始化com.sun.tools.javac.comp.Resolve
3)推导出泛型方法中的参数类型com.sum.tools.javac.comp.Infer
3)将一些常量进行合并处理com.sum.tools.javac.comp.ConstFold
com.sun.tools.javac.comp.Flow数据流分析
4)检查变量在使用前是否已经正确赋值
4)包装final修饰的变量不会被重新赋值
4)方法的返回值类型都要确定
4)检查所有的操作是否可达
4)检查checked exception异常是否已经捕获或抛出
5)解除Java的语法糖
5)去掉无用的代码,如永假的if代码块
5)变量的自动转换,如将int自动包装成Integer类型或者相反的操作等;
4)代码生成器
根据经过注解的抽象语法树生成字节码,将一个数据结构转化为另一个数据结构,类似将所有的中文语句翻译成英文单词后按照英文语法组装成英文语句。
com.sun.tools.javac.jvm.Gen
①将Java方法中的代码块转成符合JVM语法的命令形式,JVM的操作都是基于栈的,所有的操作都必须经过出栈和进栈来完成。
②安装JVM的文件组织格式将字节码输出到以class为扩展名的文件中。
2个类:
①Items:任何可寻址的操作项,这些包括本地变量、类实例变量或者常量池中用户自定义的常量等,这些操作项都可以作为一个单位出现在操作栈上
②Code:存储生成的字节码和提供一些能够映射操作码的方法
Javac中访问者模式的实现
词法分析、语法分析、语义分析和代码生成都要多次遍历语法树,但每次遍历这颗语法树都会进行不同的处理动作。Javac采用访问者模式设计,每次遍历都是一次访问者的执行过程。
访问者模式可以将数据结构和对数据结构的操作解耦,使得增加对数据结构的操作不需要去修改数据结构,也不必去修改原有的操作,而执行时再定义新的Visitor实现者就可以。在Javac中不同的编译阶段都定义了不同的访问者模式实现。
①TreeScanner、Enter、Attr、Gen、Flow等都是作为具体访问者角色,每个访问者都定义了自己的访问规则.
②EJCIf、JCTry、JCBreak、JCReturn都是具体节点元素,作为一个稳定的数据结构存在。
java 中文 语义分析,了解Javac编译器 - xinlan1964的个人页面 - OSCHINA - 中文开源技术交流社区...相关推荐
- weka+em算法+java使用_WEKA学习笔记2 - lyle_5的个人页面 - OSCHINA - 中文开源技术交流社区...
昨天老大布置任务后,我浏览了WEKA的Home Page,文档和WIKI等,当时想慢慢踏实的整理资料和文档,于是边看边翻译WekaManual.pdf,今天中午老大来检查任务时,表示我进度太慢,他需要 ...
- java同一包protect_Java基础知识 - 欢迎来到夜故事,一个人的故事 - OSCHINA - 中文开源技术交流社区...
1.public.protect.private以及不声明私有性之间区别? 私有性 当前类 同一包下 子孙类 其他类 public √ √ √ √ protect √ √ √ × friendly √ ...
- java简述标识符和保留字区别_Java 基础语法 - 流年似水莫停留的个人页面 - OSCHINA - 中文开源技术交流社区...
Java 基础语法 一个Java程序可以认为是一系列对象的集合,而这些对象通过调用彼此的方法来协同工作.下面简要介绍下类.对象.方法和实例变量的概念. 对象:对象是类的一个实例,有状态和行为.例如,一 ...
- 每天学习java一小时_java再学感受 - 编程一小时的个人空间 - OSCHINA - 中文开源技术交流社区...
首先的是,我买了一本新的有关于java的书,刚开始看,其实在此之前我已经学了一本java语法的书本,现在我买的这本书是我用来提升自己的java认知水平的,首先是对这本书的第一印象吧,里面的内容比较详细 ...
- java 写入环境变量_Java环境变量配置 - import_key的个人空间 - OSCHINA - 中文开源技术交流社区...
Java 环境变量和路径 在 Solaris 系统上,必须先设置 JAVA_HOME 和 PATH 环境变量,Sun Management Center 3.6 安装向导.设置向导和 Java 控制台 ...
- java构造函数重载继承_Java基础-继承 - 写代码换盆的个人空间 - OSCHINA - 中文开源技术交流社区...
访问权限 Java 中有三个访问权限修饰符:private.protected 以及 public,如果不加访问修饰符,表示包级可见. 可以对类或类中的成员(字段和方法)加上访问修饰符. 类可见表示其 ...
- java创建两个foo方法_Java类实例化原理 - osc_foo7glsg的个人空间 - OSCHINA - 中文开源技术交流社区...
Java对象的创建过程包括类初始化(类实例化两个阶段. 一.Java对象创建时机 (1)使用new关键字创建对象 (2)反射创建对象 使用Class类的newInstance方法 Student st ...
- java版如何使区块常加载,Java类加载机制 - suer27zhu的个人空间 - OSCHINA - 中文开源技术交流社区...
首先上图 如图所示,Java类加载机制的六个阶段 Java代码编译完成后会生成对应的class文件,接着我们运行java命令的时候,其实是启动了JVM虚拟机执行class字节码文件的内容.大致分为六个 ...
- java 羽化_JAVA10来了 - 羽化布凉的个人空间 - OSCHINA - 中文开源技术交流社区
Java 9才发布几个月,很多玩意都没整明白,现在Java 10又要来了. 这时候我真想说:线上用的JDK 7,甚至JDK 6,而JDK 8 还没用熟,JDK 9 才发布不久不知道啥玩意,JDK 10 ...
- java io流拒绝访问_JAVA IO流 - 张宏良的个人空间 - OSCHINA - 中文开源技术交流社区...
IO流 一.File类的使用 java.io.File类:文件和文件目录路径的抽象表示形式,与平台无关 File能新建.删除.重命名文件和目录,但File不能访问文件内容本身.如果需要访问文件内容本身 ...
最新文章
- 看不懂代码?AI给你做翻译,说人话的那种
- Convert Plant to Retail Site Master
- 实验仪器参数关系表达与传递
- 九度OJ 朋友圈 并查集
- places for finding a consulting job
- 时任上海来伊份互联网事业群总裁王戈钧 :传统企业(线上+线下)移动互联网改造...
- 2021-08-12
- 高效的设计可视化UI
- vscode——配置终端集成bash和cmd
- SqlServer将数据表中的数据生成添加语句
- Tableau Desktop Pro中文破解版
- php openssl 处理pkcs8,openssl生成RSA格式,并转为pkcs8格式
- 关键路径例题图表_计算题专题:关键路径法(CPM)
- java是用什么语言写的_java用什么开发出来的?
- QT 主线程子线程互相传值
- Excel系列教程(1):如何自动填充单元格
- Opencv学习笔记——图像伪色彩增强
- 电脑装机硬盘分区格式
- 华为云灾备方案,如何保障企业数据安全
- 关于strrchr函数的用法
热门文章
- 计算机主机前声音口怎么设置吗,电脑前面的插孔没声音怎么设置
- python语言程序设计王恺pdf_Python语言程序设计
- Java课设——文本编辑器
- Android 7.0后SettingProvider ContactsProvider TelephonyProvider MediaProvider数据库位置
- 新一代工业系统集成控制软件平台—CODESYS
- 数学建模MATLAB之分析法(一)
- 手机端通讯录制作,字母索引查找
- 简易通讯录制作即GUI界面化实现
- 20线程测试cpu性能软件,cpu测试工具(wPrime Benchmark)
- 强迫症才需要看,新装电脑 Win10 硬盘整数分区