字节码文件概述
字节码文件的跨平台性
Java语言:跨平台的语言
当Java源代码成功编译字节码后,如果想在不同的平台上面运行,则无需再次编译
这个优势目前来说已经不再吸引人,因为Python、PHP、Ruby、Lisp等有强大的解释器
跨平台已经快成为一门语言的必选特性
Java虚拟机:跨语言的平台
Java虚拟机不和包括Java在内的任何语言绑定,它只与Class文件这种特定的二进制文件所关联
,无论使用何种语言进行软件开发,只要能将源文件编译为正确的Class文件,那么这种语言就可以这Java虚拟机上执行。
想要让一个Java程序正确的运行在JVM中,Java源码就必须要被编译为符合JVM规范的字节码。
前端编译器的主要任务就是负责将符合Java语法规范的Java代码转换为符合JVM规范的字节码文件
javac是一种能够将Java源码编译为字节码的前端编译器
javac编译器这将Java源码编译为一个有效的字节码文件过程中经历了4个步骤,分别是词法解析、语法解析、语义解析以及生成字节码
Java的编译
前端编译
Java源代码的编译结果是字节码,那么肯定要有一种能够将Java源代码编译为字节码,承担这个责任的就是一配置在path环境变量中的javac编译器
。javac是一种能够将Java源码编译为字节码的前端编译器
。
优点:
许多Java语法新特性(泛型、内部类等),是靠前端编译器实现的,而不是依赖虚拟机。
编译成的Class文件可以直接给JVM解释器解释执行,省去编译时间,加快启动速度。
缺点:
对代码运行效率几乎没有任何优化措施。
解释执行效率较低,所以需要结合下面的JIT编译。
后端编译/JIT编译
通过Java虚拟机(JVM)内置的即时编译器(Just In Time Compiler,JIT编译器);在运行时把Class文件字节码编译成本地机器码的过程。
优点:
通过在运行时收集监控信息,把"热点代码"(Hot Spot Code)编译成与本地平台相关的机器码,并进行各种层次的优化。
可以大大提高执行效率。
缺点:
收集监控信息影响程序运行。
编译过程占用程序运行时间。
编译机器码占用内存。
静态提前编译(AOT)
程序运行前,直接把Java源码文件编译成本地机器码的过程。
优点:
编译不占用运行时间,可以做一些较耗时的优化,并可加快程序启动。
把编译的本地机器码保存磁盘,不占用内存,并可多次使用。
缺点:
因为Java语言的动态性(如反射)带来了额外的复杂性,影响了静态编译代码的质量,一般静态编译不如JIT编译的质量,这种方式用得比较少。
目前Java体系中主要还是采用前端编译+JIT编译的方式
运作过程:
首先通过前端编译把符合Java语言规范的程序代码转化为满足JVM规范所要求Class格式。
然后程序启动时Class格式文件发挥作用,解释执行,省去编译时间,加快启动速度。
针对Class解释执行效率低的问题,在运行中收集性能监控信息,得知"热点代码"。
JIT逐渐发挥作用,把越来越多的热点代码"编译优化成本地代码,提高执行效率。
透过字节码指令看代码细节
面试题
类文件结构有几个部分?
知道字节码吗?字节码都有哪些?Integer x = 5; int y = 5; 比较 x == y 都经历哪些步骤?
首先在声明Integer x的时候会调用Integer.valueOf方法,首先看下这个方法
if(i>=IntegerCache.low&&i<=IntegerCache.high) returnIntegerCache.cache[i+(-IntegerCache.low)]; returnnewInteger(i); }publicstaticIntegervalueOf(inti){
如果所传入的值是-128~127之间,就只用静态内部类的cache数组,否则就new一个新的对象。
这也表明为什么 Integer x = 128; Integer y = 128; x != y 的原因。
之后可以看到调用了 Integer.intValue 进行自动拆箱操作,使得 x 变成 int 类型进行比较。
虚拟机的基石:Class文件
字节码文件里是什么?
源代码经过编译器编译之后便生成一个字节码文件,字节码是一种二进制的类文件,它的内容是JVM的指令,而不像C、C++经由编译器直接生成机器码
。
什么是字节码指令?
Java虚拟机的指令,由一个字节长度的、代表着某种特定操作含义的操作码
(opcode),以及跟随其后的零至多个代表此操作所需参数的操作数
(operand)所构成。虚拟机中许多指令并不包含操作数,只有一个操作码。
比如 aload_1 (操作码) 、aload 4 (操作码 + 操作数),因为aload只有0、1、2、3所以如果想继续扩充,就要用到操作数。
Class文件结构
Class类的本质
由于一个Class文件都对应着唯一一个类或接口的定义信息,但反过来说,Class文件实际上它并不一定以磁盘文件形式存在。Class文件是一组以8位字节为基础单位的二进制流
。
Class文件格式
Class的结构不像 XML 等描述语言,由于它没有任何分割符号,所以这其中的数据项,无论是字节顺序还是数量,都是被严格限定的,哪个字节代表什么含义、长度多少、先后顺序,都不允许改变。
Class文件格式采用一种类似于C语言结构体的方式进行数据存储,这种结构中只有两种数据类型:无符号数
和表
。
无符号数属于基本数据类型,以 u1 、u2 、u4、u8 来分别代表1个字节、2个字节、4个字节和8个字节的无符号数,无符号数可以用来描述数字、索引引用、数量值或者按照UTF-8编码构成字符串值。
表是由多个无符号数或者其它表作为数据项构成的复合数据类型,所有表都习惯性地以"_info"结尾。表用于描述有层次关系的复合结构的数据,整个Class文件本质就是一张表,由于表没有固定长度,所以通常会其前面加上个数说明。
Class文件结构概述
Class文件的结构并不是一成不变的,随着Java虚拟机的不断发展,总是不可避免地会对Class文件结构做出一些调整,但是基本结构和框架是非常稳定的。
结构如下:
魔数
Class文件版本
常量池
访问标志
类索引,父类索引,接口索引集合
字段表集合
方法表集合
属性表集合
字节码文件解析
首先我们创建一个简单的源码:
privateintnum=1; publicintadd(){ num=num+2; returnnum; } }publicclassDemo{
通过 javac 命令编译后可以看到Class文件内容:
privateintnum=1; publicDemo(){ } publicintadd(){ this.num+=2; returnthis.num; } }publicclassDemo{
为什么编译以后增加了无参构造器
,以及this关键字
,我们一点点分析。
之后我们使用Notepad++
,需要安装一个HEX-Editor
插件来打开这个Class文件就可以看到下图内容。
这里就直接使用 excel 来清晰解释具体内容。
魔数:Class文件的标志
每个Class文件开头的4个字节的无符号整数成为魔数(Magic Number)
它的唯一作用就是确定这个文件是否为一个能被虚拟机接受的有效合法的Class文件。即:魔数是Class文件的标识符。
魔数值固定为0xCAFEBABE
如果一个Class文件不以0xCAFEBABE开头,虚拟机在进行文件校验的时候就会直接抛出ClassFormatError错误。
使用魔数而不是扩展名来识别主要是基于安全方面考虑,因为文件扩展名是可以随意改变的。
Class文件版本号
紧接着魔数的 4 个字节是 Class文件的版本号。同样也是4个字节。第5个和第6个字节所代表的的含义就是编译的副版本号minor_version,而第7个和第8个字节就是编译的主版本号major_version。
它们共同构成了Class文件的格式版本号。譬如某个Class文件的主版本号为M,副版本号为m,那么这个Class文件的格式版本号就是 M.m。
版本号和Java编译器的对应关系表如下:
Java的版本号是从45开始的,JDK 1.1 之后的每个JDK大版本发布主版本号向上加1。
不同版本的Java编译器编译的Class文件对应的版本是不一样的。目前,高版本的Java虚拟机可以执行低版本编译器编译的Class文件,但是低版本的Java虚拟机不能执行由高版本编译器生成的Class文件。否则JVM会抛出java.lang.UnsupportedClassVersionError
异常。
常量池:存放所有常量
常量池是Class文件中内容最为丰富的区域之一。常量池对于Class文件中的字段和方法解析有着至关重要的作用。
随着Java虚拟机的不断发展,常量池的内容也日渐丰富。可以说,常量池是整个Class文件的基石。
在版本号之后,紧跟着的就是常量池的数量,以及若干个常量池表项。
常量池中常量的数量是不固定的,所以需要一个u2类型的无符号数,代表着常量池容量计数器(constant_pool_count),与Java语言习惯不一样的是,容量计数器是从1开始而不是0。
常量池表项
中,用于存放编译期生成的各种字面量
和符号引用
,这部分内容将在类加载后进入方法区的运行时常量池
中存放。
常量池计数器
由于常量池的数量不固定,所以需要放置两个字节来表示常量池容量计数器。
常量池计数器(u2类型):从1开始,表示常量池中有多少项常量。即constant_pool_count = 1表示常量池中有0个常量池。
我们看刚才举例的Demo:其值为0x0016,转换为十进制也就是22。
但是实际中只有21项常量,范围是1-21。
这里的常量池把第0项空出来了,为了满足后面某些指向常量池的索引值的数据在特定情况下需要表达"不引用任何一个常量池项"的含义,这种情况可以使用索引0来表示。
常量池表
constant_pool是一种表及结构,以1 ~ constant_pool_count - 1 为索引。表明后面有多少个常量项。
常量池主要存放放两大类变量:字面量(Literal)
和符号引用(Symbolic Reference)
。
它包含了Class文件结构及其子结构中引用的所有字符串常量、类、或接口名、字段名、和其它常量。常量池中的每一项都具有相同特征。第1个字节作为类型标记,用于确定该项的格式,这个字节成为tag byte (标记字节)。
字面量和符号引用
常量池主要存放放两大类变量:字面量(Literal)
和符号引用(Symbolic Reference)
。
全限定名
com/test/Demo这个就是类的全限定名,仅仅是把包名的"."替换成了"/",为了使连续的多个全限定名之间不产生混淆,在使用时最后一般会加入一个";"表示全限定名结束。
简单名称
简单名称是指没有类型和参数修饰的方法或者字段名称,上面例子中的类的add()方法,和num字段的简单名称分别是add和num。
描述符
描述符的作用是用来描述字段的数据类型、方法的参数列表(包括数量、类型以及顺序)和返回值。
根据描述符规则,基本数据类型(boolean,byte,char,short,int,float,long,double)以及代表无返回值的void类型都用一个大写字符来表示,而对象类型则用字符L加对象的全限定名来表示:
Object[]arr=newObject[10]; System.out.println(arr);//[Ljava.lang.Object;@14ae5a5 Long[][]longs=newLong[10][10]; System.out.println(longs);//[[Ljava.lang.Long;@7f31245a int[][]ints=newint[10][10]; System.out.println(ints);//[[I@7f31245a }publicstaticvoidmain(String[]args){
需要注意的是,用描述符来描述方法的时候,先参数列表后返回值的顺序描述,参数列表按照参数的严格顺序放在一组小括号"()"内。
虚拟机在加载Class文件时才会进行动态链接,也就是说,Class文件中不会保存各个方法和字段的最终内存布局信息,因此,这些字段和方法的符号引用不经过转换是无法直接被虚拟机使用的。当虚拟机运行时,需要从常量池中获得对应的符号引用,再在类加载过程中的解析阶段将其替换为直接引用,并翻译到具体的内存地址中
。
符号引用:符号引用以一组符号
来描述所引用的目标,符号可以是任何形式的字面量,只要使用时无歧义地定位到目标即可。符号引用与虚拟机实现的内存布局无关
,引用的目标并不一定已经加载到了内存中。
直接引用:直接引用可以是直接指向目标的指针、相对偏移量或是一个能间接定位到目标的句柄。直接引用是与虚拟机实现的内存布局相关的
,同一个符号引用在不同虚拟机实例上翻译出来一般不会相同。如果有了直接引用,则说明引用的目标必定存在内存之中。
常量类型和结构
从上面的图中可以看到,虽然每一项的结构都不相同,但是它们有个共同点,就是每一项的第一个字节都是一个标志位,标识这一项是哪种类型的常量。
访问标记(access_flag)
在常量池后,紧接着访问标记,该标记使用两个字节表示,用于识别一些类或者接口层次的访问信息,包括:这个Class是类还是接口;是否定义为 public 类型;是否定义为 abstract 类型;如果是类的话,是否被声明为 final 等,详细说明如下:
类的访问权限通常为 ACC_ 开头的常量。
每一种类型的表示都是通过设置访问标记的32位中的特定位来实现的,比如如果是public final的类,则标记为 ACC_PUBLIC | ACC_FINAL。
使用ACC_SUPER可以让类更准确的定位到父类的方法super.method(),默认都是设置并使用这个标记。
我们可以看到上面的Demo的字节码对应的访问标记是21,也就是对应表格中的 ACC_PUBLIC 和 ACC_SUPER 加起来就等于21。
类索引、父类索引、接口索引集合
类索引用于确定这个类的继承关系。
父类索引用于确定这个类的父类全限定名,由于Java语言不允许多重继承,所以父类索引只有一个,除了Object 之外,所有的Java类都有父类,因此除了Object之外,所有Java类的父类索引都不为0。
接口索引集合就用来描述这个类实现了拿些接口,这些被实现的接口将按implements语句(如果当前类本身是一个接口,则应当是 extends 语句)后的接口顺序从左到右排列在接口索引集合中。
this_class(类索引)
2 字节无符号整数,指向常量池的索引。它提供了类的全限定名,如com/test/Demo。this_class的值必须是常量池中某项的一个有效索引值。常量池在这个索引出的成员必须为constant_class_info类型结构体,该结构表示这个Class文件所定义的类或者接口。
super_class(父类索引)
2字节无符号整数,指向常量池的索引。它提供了当前类的父类全限定名。如果我们没有继承任何类,其默认继承的是Java/lang/Object类。同时,由于Java不支持多继承,所以其父类只有一个。
super_class指向的父类不能是final类型。
interfaces
指向常量池索引集合,它提供了一个符号引用到所有已实现的接口。
由于一个类可以实现多个接口,因此需要以数组形式保存多个接口的索引,表示接口的每个索引也是一个指向常量池的Constant_Class(指向的是接口,并不是类)。
interfaces_count(接口计数器)
interfaces_count 项的值表示当前类或者接口的直接超接口数量。
interfaces[](接口索引集合)
interfaces[]中每个成员的值必须是对常量池表中某项索引的有效索引值,它的长度为interfaces_count。每个成员interfaces[i]必须为constant_class_info结构,其中 0 <= i < interfaces_count。在interfaces[]中,各成员所表示的接口顺序对应的源代码中给定的接口顺序(从左至右)一样,即 interface[0]对应的是源代码中最左边的接口。
字段表集合
用于描述接口或类中声明的变量。字段(field)包括类级变量以及实例变量
,但是不包括方法内部、代码块内部声明的局部变量。
字段叫什么名字,字段被定义为什么数据类型,这些都是无法固定的。只能引用常量池中的常量来描述。
它指向常量池索引集合,它描述了每个字段的完整信息。比如字段的标识符、访问修饰符(public、private或protected)、是类变量还是实例变量(static修饰符)、是否是常量(final修饰符)
等。
注意:
字段表集合中不会列出从父类或者实现的接口中继承来的字段,但有可能列出原本Java代码之中不存在的字段。譬如在内部类中为了保持对外部类的访问性,会自动添加指向外部类实例的字段。
在Java语言中字段是无法重载的,两个字段的数据类型,修饰符不管是否相同,都必须使用不一样的名称,但是对于字节码来说,如果两个字段的描述符不一致,那字段名重名也是合法的。
fields_count(字段计数器)
fields_count的值表示当前Class文件fields表的成员个数,用2个字节表示。
fields表中每个成员都是一个field_info结构,用于表示该类或接口所声明的所有字段或者实例字段,不包括方法内部声明的变量,也不包括从父类或父接口继承的那些字段。
fields[](字段表)
fields表中的每个成员都必须是一个field_info结构的数据项,用于表示当前类或接口中某个字段的完整描述。
一个字段的信息包括如下这些信息。这些信息中,各个修饰符都是布尔值,要么有,要么没有。
作用域
实例变量还是类变量
是否final
是否volatile
是否序列化 transient 修饰
字段数据类型(基本数据类型,对象,数组)
字段名称
字段表结构
字段表访问标识
我们知道,一个字段可以被各种关键字修饰,比如作用域修饰符、static修饰符、final修饰符、volatile修饰符等等。字段访问标志有如下这些:
字段名索引
根据字段名索引的值,查询常量池中的指定索引项即可。
描述符索引
描述符的作用是用来描述字段的数据类型、方法的参数列表(包括数量、类型以及顺序)和返回值。根据描述符规则,基本数据类型及无返回值的void都是用大写符来表示,对象使用字符L+全限定名表示。
属性集合
一个字段还可能拥有一些属性,用于存储更多的额外信息。比如初始化值、一些注释信息等。属性个数存放在attribute_count中,属性具体内容存在attributes数组中。
结构为:
u2attribute_name_index; u4attribute_length; u2constantvalue_index; }ConstantValue_attribute{
对于常量属性而言,attribute_length的值恒为2。
常量值索引所指向的 #8 其实就是对应int的值。
方法表集合
methods:指向常量池索引集合,它完整描述了每个方法的签名。
在字节码文件中,每一个method_info项都对应着一个类或者接口中的方法信息
。比如方法的访问修饰符,方法的返回值类型,以及方法的参数信息等。
如果方法不是抽象的或者不是native的,那么字节码就会体现出来。
一方面,methods表只描述当前类或接口中声明的方法,不包括从父类或父接口继承的方法。另一方面,methods表有可能会出现由编译器自动添加的方法,最典型的就是编译器产生的方法信息,比如类或者接口初始化方法()
和实例初始化方法()
。
methodds_count(方法计数器)
methods_count的值表示当前class文件methods表的成员个数。使用 2 个字节来表示。
methods表中每个成员都是一个method_info结构。
methods[](方法表)
methods表中的每个成员都必须是一个method_info结构,用于表示当前类或接口中某个方法的完整描述。如果某个method_info结构的access_flags项既没有设置ACC_NATIVE标志和ACC_ABSTRACT标志,那么该结构中也应该包含实现这个方法所用到的Java虚拟机指令。
method_info结构可以表示类和接口中定义的所有方法,包括实例方法、类方法、实例初始化方法和类或接口初始化方法。
方法表的结构实际和字段表是一致的。如下:
属性表集合
方法表集合之后的属性表集合,指的是class文件所携带的辅助信息
,比如该Class文件的源文件的名称,以及任何带有RetentionPolicy.CLASS或者RetentionPolicy.RUNTIME的注解。这类信息通常被用于Java虚拟机的验证和运行,以及Java程序的调试。
此外,字段表、方法表都可以有自己的属性表。用于描述某些场景专有的信息。
属性表集合的限制没有那么严格,不再要求各个属性表具有严格的顺序,并且只要不与已有的属性名重复,任何人实现的编译器都可以向属性表中写入自己定义的属性信息,但Java虚拟机运行时会忽略掉它不认识的属性。
属性的通用格式
属性表的结构比较灵活,各种不同的属性只要满足以下结构即可:
属性类型
Code属性
Code属性就是存放方法体里面的代码,像接口或者抽象方法
,没有具体的方法体,因此也就不会有Code属性了。
Code属性表的结构:
LineNumberTable属性
LineNumberTable属性是可选变长属性,位于Code结构的属性表
LineNumberTable属性是用来描述Java源码行号
与字节码行号
之间的对应关系。
start_pc,即字节码行号;line_number,即Java源代码的行号
在Code属性的属性表中,LineNumberTable属性可以按照任意顺序出现,此外,多个LineNumberTable属性可以共同表示一个行号在源文件中表示的内容,即LineNumberTable属性不需要与源文件的行一一对应。
LineNumberTable属性表结构
u2attribute_name_index; u4attribute_length; u2line_number_table_length; {u2start_pc; u2line_number; }line_number_table[line_number_table_length]; }LineNumberTable_attribute{
SourceFile属性
其长度总是固定的8个字节。
我们看之前的Excel最后一位也可以看到对应的就是源文件名。