JVM第10章-前端编译与优化

Javac编译器

从Javac代码的总体结构来看,编译过程大致可以分为1个准备过程和3个处理过程
1)准备过程:初始化插入式注解处理器。
2)解析与填充符号表过程,包括:
·词法、语法分析。将源代码的字符流转变为标记集合,构造出抽象语法树。
·填充符号表。产生符号地址和符号信息。
3)插入式注解处理器的注解处理过程:插入式注解处理器的执行阶段,本章的实战部分会设计一
个插入式注解处理器来影响Javac的编译行为。
4)分析与字节码生成过程,包括:
·标注检查。对语法的静态信息进行检查。
·数据流及控制流分析。对程序动态运行过程进行检查。
·解语法糖。将简化代码编写的语法糖还原为原有的形式。
·字节码生成。将前面各个步骤所生成的信息转化成字节码。
在这里插入图片描述
Javac编译动作的入口是com.sun.tools.javac.main.JavaCompiler类,上述3个过程的代码逻辑集中在这个类的compile()和compile2()
具体代码如下:
在这里插入图片描述

解析与填充符号表

词法、语法分析
词法分析是将源代码的字符流转变为标记(Token)集合的过程,单个字符是程序编写时的最小元素,但标记才是编译时的最小元素。
语法分析是根据标记序列构造抽象语法树的过程,抽象语法树(Abstract Syntax Tree,AST)是一种用来描述程序代码语法结构的树形表示方式,抽象语法树的每一个节点都代表着程序代码中的一个语法结构(SyntaxConstruct),例如包、类型、修饰符、运算符、接口、返回值甚至连代码注释等都可以是一种特定的语法结构。后续的操作都建立在抽象语法树之上
填充符号表

符号表(Symbol Table)是由一组符号地址和符号信息构成的数据结构。在语义分析的过程中,符号表所登记的内容将用于语义检查(如检查一个名字的使用和原先的声明是否一致)和产生中间代码,在目标代码生成阶段,当对符号
名进行地址分配时,符号表是地址分配的直接依据
在Javac源代码中,填充符号表的过程由com.sun.tools.javac.comp.Enter类实现,该过程的产出物是一个待处理列表,其中包含了每一个编译单元(单个源代码文件)的抽象语法树的顶级节点,以及package-info.java(如果存在的话)的顶级节点。

注解处理器(实战)

我们可以把插入式注解处理器看作是一组编译器的插件,当这些插件工作时,允许读取、修改、添加抽象语法树中的任意元素。如果这些插件在处理注解期间对语法树进行过修改,编译器将回到解析及填充符号表的过程重新处理,直到所有插入式注解处理器都没有再对语法树进行修改为止

语义分析与字节码生成

经过语法分析之后,编译器获得了程序代码的抽象语法树表示,抽象语法树能够表示一个结构正确的源程序,但无法保证源程序的语义是符合逻辑的。而语义分析的主要任务则是对结构上正确的源程序进行上下文相关性质的检查,譬如进行类型检查、控制流检查、数据流检查
1.标注检查
语义分析过程可分为标注检查和数据及控制流分析两个步骤,分别由图10-5的attribute()和flow()方法完成。
标注检查步骤要检查的内容包括诸如变量使用前是否已被声明、变量与赋值之间的数据类型是否能够匹配
数据及控制流分析
数据流分析和控制流分析是对程序上下文逻辑更进一步的验证,它可以检查出诸如程序局部变量在使用前是否有赋值、方法的每条路径是否都有返回值、是否所有的受查异常都被正确处理了等问题。
解语法糖
指的是在计算机语言中添加的某种语法,这种语法对语言的编译结果和功能并没有实际影响。Java中最常见的语法糖包括了前面提到过的泛型,Java虚拟机运行时并不直接支持这些语法,它们在编译阶段被还原回原始的基础语法结构,这个过程就称为解语法糖。
字节码生成
节码生成阶段不仅仅是把前面各个步骤所生成的信息(语法树、符号表)转化成字节码指令写到磁盘中,编译器还进行了少量的代码添加和转换工作。
例如前文多次登场的实例构造器()方法和类构造器()方法就是在这个阶段被添加到语法树之中的。
实例构造器 ()
在Java中,实例构造器 () 是由编译器为每个类生成的一个特殊方法,用于初始化新创建的对象。它与我们在Java代码中写的构造函数是紧密相关的,但并不完全相同。
当我们在Java类中定义构造函数时,编译器会将其转化为 () 方法。如果我们没有在类中定义任何构造函数,编译器会生成一个默认的 () 方法,这个方法没有参数,并且其可访问性与类的可访问性一致。在实例化过程中,() 方法负责执行以下操作:

调用父类的构造器。
初始化实例变量。
执行构造块(即 {} 块)。
这些操作确保了无论源码中的顺序如何,都会按照一定的顺序(先父类构造器,再实例变量,最后是构造块)来执行。

类构造器 ()
类构造器 () 是由编译器为每个类生成的另一个特殊方法,用于初始化类变量(即静态变量)和执行静态初始化块(即 static {} 块)。() 方法在类第一次被加载到Java虚拟机时执行。它不需要调用父类的 () 方法,因为Java虚拟机会自动确保父类被正确初始化。

Java语法糖的味道

10.3.1 泛型

java的泛型-“类型擦除式泛型”(Type Erasure Generics)

为什么叫类型擦除式泛型

  • 运行时类型信息的移除:在Java编译泛型代码时,所有的泛型类型信息(比如你在代码中使用的、等)在编译后的字节码中都被移除了。这个过程被称为“类型擦除”。
  • 替换为原生类型或边界:被擦除的泛型类型参数会被替换为它们的边界(如果有指定的话),或者替换为Object。例如,一个泛型类List中的T在运行时会被视为Object。
类型擦除

泛型类型擦除为裸类型,只在元素访问时插入了从 Object到String的强制转型代码
Java中不支持的泛型用法:
实例判断:item instanceof E
使用泛型创建对象:E newItem = new E();
使用泛型创建数组:E[] itemArray = new E[10];

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/244819.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

云计算与大数据技术应用知识及案列

云计算与大数据技术应用知识及案列 简述什么是云计算? 答:云计算是一种动态扩展的计算模式,通过网络将虚拟化的资源作为服务提供;云计算是一种无处不在的、便捷的通过互联网访问一个可定制的IT资源(IT资源包括网络、服…

c/c++ 文件操作(2)

文件操作读和写 顺序读写 1、fgetc、fputc 函数功能fgetc字符输入函数----->对应打开方式是 “r”fputc字符输出函数-----> 对应打开方式是 “w” 2、fgets、fputs 函数功能fgets文本行输入函数------> 对应打开方式是"r"fputs文本行输出函数------>…

mybatis动态SQL-foreach

1、建库建表 create database mybatis-example; use mybatis-example; create table emp (empNo varchar(40),empName varchar(100),sal int,deptno varchar(10) ); insert into emp values(e001,张三,8000,d001); insert into emp values(e002,李四,9000,d001); insert into…

SD-WAN解决外贸企业网络问题

为了获取全球客户,占领更多的市场,越来越多的外贸企业出现。外贸企业在发展业务的过程中会遇到很多困难,海外网络访问问题就是其中之一。目前该问题主要有三种解决方案:VPN、MPLS专线以及SD-WAN专线。 VPN通过在公网上面建立专用网…

windows 服务器 怎么部署python 程序

一、要在 Windows 服务器上部署 Python 程序,您需要遵循以下步骤: 安装 Python:首先,在 Windows 服务器上安装 Python。您可以从官方网站(https://www.python.org/downloads/windows/)下载最新的 Python 安…

Spring 6(一)【Spring 入门】

前言 好久没有写博客了,最近刚忙完考试,眼下又是英语四六级。Flink 按说应该是大数据学习的主线任务,但是长时间学一门技术还是心累的。正好之前对 Java 注解有了进一步的熟悉,一直想着熟悉巩固。所以,今天开始就来深入…

Feign-实现Feign最佳实践

目录 一、实现最佳实践的步骤(方式二) 1.1 首先创建一个module,命名为feign-api,然后引入feign的starter依赖 1.2.将order-service中编写的UserClient、User、DefaultFeignConfiguration都复制到feign-api项目 1.3.在order-se…

微软免费开发隧道(内网穿透)服务

软件下载 Windows x64:https://aka.ms/TunnelsCliDownload/win-x64 macOS (arm64):https://aka.ms/TunnelsCliDownload/osx-arm64-zip macOS (x64):https://aka.ms/TunnelsCliDownload/osx-x64-zip Linux x64:https://aka.ms/…

数据结构和算法(全)

1.了解数据结构和算法 1.1 二分查找 二分查找(Binary Search)是一种在有序数组中查找特定元素的搜索算法。它的基本思想是将数组分成两半,然后比较目标值与中间元素的大小关系,从而确定应该在左半部分还是右半部分继续查找。这个…

P20类神经网络训练不起来怎么办?- 批次和动量

什么是batchsmall batch 和 large batch 的比较 : large batch 更快,small batch 在训练集和测试集上效果效果更好动量的意义和作用: 类似于物理上多了一点惯性,防止困在鞍点。 动量是之前所有梯度的加权和。 1. batch 是什么 …

智能优化算法应用:基于乌鸦算法3D无线传感器网络(WSN)覆盖优化 - 附代码

智能优化算法应用:基于乌鸦算法3D无线传感器网络(WSN)覆盖优化 - 附代码 文章目录 智能优化算法应用:基于乌鸦算法3D无线传感器网络(WSN)覆盖优化 - 附代码1.无线传感网络节点模型2.覆盖数学模型及分析3.乌鸦算法4.实验参数设定5.算法结果6.参考文献7.MA…

Spring Cloud切换内嵌Tomcat为宝兰德Application Server

目录 替换Tomcat中间件Tomcat是什么Spring Cloud剔除tomcat引入宝兰德Application Server打包运行授权 替换Tomcat中间件 Tomcat是什么 Apache Tomcat (called “Tomcat” for short) is a free and open-source implementation of the Jakarta Servlet, Jakarta Expression …

大模型时代-怎么正确的开发和使用AI模型

一、背景 大模型的概念已经经过了一年的发酵,大家也渐渐的冷静下来了。一开始大家很兴奋,感觉新的时代要来了,然后就是疯狂,再就是都各自找各自公司的东西怎么与大模型沾点边,要不然今年玩不下去了,就要落伍…

一文了解java中volatile关键字

认识volatile volatile关键字的作用有两个:变量修改对其他线程立即可见、禁止指令重排。 第二个作用我们后面再讲,先主要讲一下第一个作用。通俗点来说,就是我在一个线程对一个变量进行了修改,那么其他线程马上就可以知道我修改…

python列表的循环遍历

数据容器:一个可以存储多个元素的Python数据类型 有哪些数据容器:list(列表),tuple(元组),str(字符串),set(集合)&#x…

基于人工智能算法与视频监控相结合的EasyCVR智能游乐园监控方案

随着圣诞节的到来,人们都已经在规划如何安排平安夜活动,游乐园俨然成为了人们的首选。游乐园人员流量大且密集,特别是在节假日和重大节日,人满为患,极易发生事故,为保证游乐场安全运营,减少事故…

最新鸿蒙HarmonyOS4.0开发登陆的界面2

登陆功能 代码如下: import router from ohos.router; Entry Component struct Index {State message: string XXAPP登陆State userName: string ;State password: string ;build() {Row() {Column({space:50}) {Image($r(app.media.icon)).width(200).interpol…

思科模拟器Cisco Packet Tracer 8.2.1注册、下载和安装教程(正确+详细)

思科模拟器的注册、下载和安装 1、思科官方的注册地址:https://www.cisco.com/c/zh_cn/index.html在该网址注册思科账号,但是这个注册的账户不能登录思科模拟器 Cisco Packet Tracer 2、思科学院的注册(不用)国外地址&#xff1…

大模型应用_PrivateGPT

https://github.com/imartinez/privateGPT 1 功能 整体功能,想解决什么问题 搭建完整的 RAG 系统,与 FastGPT相比,界面比较简单。但是底层支持比较丰富,可用于知识库的完全本地部署,包含大模型和向量库。适用于保密级…

大模型应用_chuanhu川虎

https://github.com/GaiZhenbiao/ChuanhuChatGPT 1 功能 整体功能,想解决什么问题 官网说明:为ChatGPT等多种LLM提供了一个轻快好用的Web图形界面和众多附加功能 当前解决了什么问题,哪些问题解决不了 支持多种大模型(也可接入本…