Class文件结构
字节码的跨平台性
- Java本身具有跨平台性 write once, run anywhere
- 当java源代码成功编译成字节码后,如果想在不同平台上运行,则无需再次编译
- 跨平台已经不是那么吸引人了.Python PHP Ruby Perl List等强大的解释器本身已经跨平台
- 跨平台已经快成为一门语言的标配
- Java虚拟机是跨语言的平台 任何如何JVM规范的class文件都可以运行在JVM上
Java虚拟机不合包括java在内的任何语言绑定,只跟class文件这种特定的二进制文件绑定.无论使用何种语言进行开发,只要能将源文件正确编译成class文件,那么这种语言就可以在java虚拟机上运行.
- 让java程序正确运行在JVM上,java源代码必须要被编译成符合JVM规范的字节码文件
- 前端编译器的主要任务就是负责将符合java语法规范的java代码转换成符合JVM规范的字节码文件
- javac是一种能够符合java源码编译成字节码的前端编译器
- javac编译器在将java源码编译成一个有效字节码文件经历4个步骤,分别是 词法分析 语法分析 语义分析 生成字节码
Oracle JDK 软件分两部分
- 一部分是将java元代编译成java虚拟机指令集的编译器
- 另一部分是用于实现java虚拟机运行时环境 JRE
java前端编译器
前端编译器 VS 后端编译器
java源代码的编译结果是字节码,那么肯定需要一个编译器能够将java源代码编译成字节码,承担这个重要责任的就是配置在path变量中的javac编译器.javac是一个能够将java源代码编译成字节码的编译器.
HotSpot VM并没有强制要求前端编译器只能使用javac来编译字节码.只要编译结果符合JVM规范能被JVM识别即可.在java的前端编译器领域,除了javac还有一种常用的前端编译器 ECJ (Ecplise Compiler for Java).和javac的全量编译不同,ECJ是一个增量式编译器
- Ecplise中,在保存之后ECJ把为编译的代码进行编译,并非全量编译.因此ECJ的编译效率会比javac更加高效,编译质量和javac大致一样
- ECJ不仅是Ecplise内置前端编译器,Tomcat中同样也使用ECJ编译器来编译jsp文件.由于ECJ编译器使用GPLv2的开源协议进行源代码公开
- 默认情况下 IDEA使用javac编译器 也可以设置为AspectJ编译器ajc
前端编译器并不会直接涉及编译优化等方面技术,而是将这些具体优化细节交给HotSpot的JIT编译器负责
通过字节码看代码细节
- 类文件结构有几部分?
- 字节码指令有哪些? Integer x = 5; int y = 5; 比较 x == y 都经过哪些步骤?
public static void main(String[] args) {
Integer x = 5;
int y = 5;
System.out.println(x == y); //T
Integer i1 = 10;
Integer i2 = 10;
System.out.println(i1 == i2);//T IntegerCache
Integer i3 = 128;
Integer i4 = 128;
System.out.println(i3 == i4);//F
}
public class StringTest {
public static void main(String[] args) {
String str = new String("hello") + new String("world");
String str1 = "helloworld";
System.out.println(str == str1);
}
}
public class SonTest {
public static void main(String[] args) {
Father f = new Son();
System.out.println(f.x);
}
}
class Father {
int x = 10;
public Father() {
this.print();
x = 20;
}
public void print() {
System.out.println("Father.x = " + x);
}
}
class Son extends Father {
int x = 30;
public Son() {
this.print();
x = 40;
}
public void print() {
System.out.println("Son.x = " + x);
}
}
Son.x = 0 // 先调用父类构造器,走到父类的this.print(),此时this是子类,进入子类的print方法,此时子类还没有初始化(因为父类还没有初始化完成)此时子类中的print方法中的x还是零值初始化打印0
Son.x = 30 //父类构造器初始化完成进去子类 初始化,此时子类构造之前先进行显示初始化此时x变成30,此时打印30 然后将子类的x 改成40
20 // 调用f.x 访问的父类的x 为20
虚拟机基石 Class文件
字节码文件里面是什么?
源代码经过编译器之后便会生成一个字节码文件,字节码是一个二进制类文件,他的内容是JVM指令,而不像C C++那样直接又编译器直接生成机器码
字节码指令
java虚拟机的指令右一个字节长度,代表某种特定的操作含义的操作码(opcode)以及跟随其后的零个或多个代表次操作所需参数的操作数(operand)所构成.虚拟机中许多指令并不包含操作数,只有一个操作码
查看二进制字节码
- 方式一: Notepad++ 安装HEX-Editor插件,或者使用 Binary Viewer
- 方式二: javap指令,JDK自带的反编译工具
- 方式三: IDEA插件 jClasslib 或者jClass bytecode viewer客户端工具
Class文件结构
-
官方文档
- https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html
-
class类本质
- 任何一个class文件都对应唯一一个类或者接口的定义信息,但反过来说,class文件实际上它并不一定是以磁盘文件形式存在.class文件是一组以8字节为基础单位的二进制流
-
class文件格式
-
class结构不像xml等描述语言,由于它没有任何分割符号.所以在其中的数据项,无论是字节顺序还是数量,都是被严格规定的.哪个字节代表什么含义,长度是多少,先后顺序如何,都不允许改变
-
class文件格式采用一种类似C语言结构体的方式进行数据存储,这种结构中的两种数据类型: 无符号数和表
-
无符号数属于基本数据类型, u1 u2 u4 u8分别来代表1个字节,2个字节,4个字节,8个字节的无符号数.无符号数可以用来表述数字,索引引用,数量制或者按照UTF-8编码构成字符串值
-
表是由多个无符号数或者其他表作为数据项构成的符合数据类型,所有表都习惯性的以_info结尾.表用于表述有层次关系的符合结构的数据,整个class文件的本质上就是一个表.由于表没有固定长度,所以通常会在前面加上一个数说明
-
public class Demo { private int num = 1; public int add() { num = num + 2; return num; } }
对应的字节码文件:
-
-
-
Class文件总体结构如下
- 魔数 magic number
- Class文件版本
- 常量池
- 访问标志
- 类索引 父类索引 结构索引集合
- 字段表集合
- 方法表集合
- 属性表集合
魔数 class文件的标志
Magic Number
- 每个class文件开头的4个字节无符号整数成为魔数 Magic Number
- 它的唯一作用就是确定这个文件是否为一个能被虚拟机识别合法的class文件.魔数就是class文件的标识符
- class文件的魔数值固定是0xCAFFBABE
- 如果一个class文件不以0xCAFFBABE开头,虚拟机在进行文件校验的时候就会直接抛出一下异常
Error: A JNI error has occurred, please check your installation and try again
Exception in thread “main” java.lang.ClassFormatError: Incompatible magic value 1885430635 in class file StringTest
- 使用魔数而不是扩展名来进行识别主要是基于安全方面考虑,文件扩展名是可以随意修改的
Class文件版本号
- 紧接着魔数4个字节存储的是Class文件的版本号.同样也是4个字节,第5个和第6个字节所代表的含义就是编译的副版本号 minor_version,第7个和第8个字节就是编译的主版本号 major_version
- 他们共同构成Class文件的格式版本号.譬如某一个Class文件的主版本号为M,副版本号为m,那么这个class文件的格式版本号就确定为M.m
- 版本号和java编译器的对应关系如下表
- java版本号从45开始,JDK1之后每隔JDK大版本发布主版本号上+1
- 不同版本的java编译器编译生成的class文件对应的版本是不一样的.目前高版本的java虚拟机可以执行右低版本编译器生成的class文件.但是,低版本的JVM不能执行由高版本编译器生成class文件.否则JVM会抛出 java.lang.UnsupportedClassVersionError异常
- 实际应用中,由于开发环境和生产环境的不同,可能会导致该问题的发生.我们需要注意在开发时使用的JDK版本跟生产环境的JDK版本是否一致
- 虚拟机JDK版本为1.K(K>=2)时,对应的class文件版本号的范围为45.0-44+k.0(含两端)
常量池 存放所有常量
- 常量池是class文件中内容最为丰富的区域之一.常量池对于class文件中的字段和方法解析有着至关重要的作用
- 随着java虚拟机的不断发展,常量池的内容也日渐丰富,常量池是整个class文件的基石
- 在版本号之后,紧跟着的是常量池的数量,以及若干个常量池表项
- 常量池中的常量的数是不固定的,所以在常量池的入口需要放置一个项 u2类型的无符号数,代表常量池容量计数器 constant_pool_count,与java语言习惯不一样,这个容量计数器从1开始而不是0开始
- 由上表可见,class文件使用一个前置的容量计数器 constant_pool_count 加若干个连续的数据量(constant_pool)的形式来描述常量池的内容,我们把这一系列连续的常量池数据称为常量池集合
- 常量池表项中,用于存放编译时期生成各种字面量和符号引用,这部分内容将在类加载进入方法区的运行时常量池中存放
常量池计数器 存放所有常量
- 由于常量池数量不固定,时长时短,所以需要放置两个字节来表示常量池容量计数器
- 常量池容量计数器(u2)类型: 从1开始,表示常量池中有多少项常量.即constant_pool_count = 1 表示常量池中有0个常量项
- 0x0016对应十进制是22 需要注意的是实际上只有21项常量.索引范围1-21
- 通常我们写代码都是从0开始,但是这里的常量池却是从1开始,因为他把第0项常量空出来了.这是为了满足后面某些指向常量池的索引值的数据在特定的情况下需要表达"不引用任何一个常量池项目"的含义,这种情况可以用索引值0来表示
常量池表
- constant_pool 是一种表结构, 以 1~constant_pool_count -1 为索引.表明了后面有多少个常量项
- 常量池主要存储两大类型常量: 字面量 Literal 和 符号引用 Symbolic References
- 它包含了class文件结构及其子结构中引用的所有字符串常量 类或者接口名 字段名和其他常量.常量池中每一个项都具备相同的特性.第一个字节作为类型表示,用于确定该项的格式,这个字节称为 tag byte(标记字节或者标签字节)
字面量和符号引用
- 常量池主要存放 字面量Literal 和 符号引用 Symbolic Reference
- 全限定名 com/xxx/xxx/xx/Demo 就是类的全限定名,将包名的.替换成了/,为了连续多个全限定名之间不产生混淆,在最后一般会加入一个;表示全限定名结束
- 简单名称 简单名称是指没有类型和参数修饰符的方法或者字段名称
- 描述符 描述符的作用用来描述字段的数据类型,方法参数列表(包括数量,类型及顺序)和返回值.根据描述符规则,基本数据类型(byte,char,shot,int,long,float,double,boolean)y以及代表无返回值的void类型都用一个大写字符来表示,而对象类型则用字符L加对象全限定名表示
- 当描述符用来描述方法时,按照先参数列表,后返回值的顺序,参数列表按照参数严格顺序放在一组小括号内,如方法java.lang.String.toString()的描述符为() Ljava/lang/String, 方法int test(int[] x,int y)方法描述符为([II) I
- 虚拟机在加载class文件时才会进行动态链接,class文件不会保存各个方法和字段的最终内存布局信息,因此,这些字段和方法的符号引用不经过转换是无法直接被虚拟机使用的.当虚拟机运行时,需要从常量池中获取对应的符号引用,在类加载过程中的解析阶段将其替换为直接引用,被翻译到具体的内存地址中
- 符号引用 符号引用以一组符号来描述所引用的目标,符号可以是任何形式的字面量,只要使用时无歧义定位到目标即可.符号引用于虚拟机实现的内存布局无关,引用的目标并不一定已经加载内存中
- 直接引用 直接引用可以直接指向目标的指针,相对偏移量或者一个能间接定位到目标句柄.直接引用时与虚拟机实现内存布局相关,同一个符号引用在不同虚拟机实例上翻译出来的直接引用一般不会相同.如果有了直接引用,那说明引用的目标必定已经存在内存之中
常量类型和结构
常量池中每一项常量都是一个表, JDK7之后一共有14种不同表结构数据如下
- 根据上图每个类型的描述我们也可以知道每个类型是通过描述常量池中的那些内容(主要是字面量和符号引用).比如 CONSTANT_Integer_info是用来描述常量池中字面量信息,而且只是整型字面量信息
- 标志位15,16,18的常量类型是用来支持动态语言调用 JDK7加入
- CONSTANT_Class_info 结构用来表示类或者接口
- CONSTANT_Fieldref_info CONSTANT_Methodref_info CONSTANT_InterfaceMethodref_info表示字段 方法 接口
- CONSTANT_String_info 结构用于表示String类型的常量对象
- CONSTANT_Integer_info 和CONSTANT_Float_info 表示4字节int和float的数值常量
- CONSTAN_Long_info 和CONSTANT_Double_info 结构表示8字节 long和double的数值常量
- 在Class文件的常量池中,所有8字节常量均占两个表成员项的空间,如果一个CONSTANT_Long_info或者CONSTANT_Double_info结构的项在常量池中的索引位n,则常量池表中下一个可用项和索引为n+2,此时常量池表中索引为n+1的项仍然有效但必须视为不可用
- CONSTANT_NameAndType_info 结构用于表示字段或方法 但是和之前3个结构不同 没有指明该字段或方法所属的类或接口
- CONSTANT_Utf8_info 表示字符常量的值
- CONSTANT_MethodHandle_info 表示方法句柄
- CONSTANT_MehthodType_info 表示方法类型
- CONSTANT_InvokeDynamic_info 表示 invokedynamic 指令所用到的引导方法 (bootstrap method)引导方法所用到的动态动用名称(dynamic invocation name),参数和 返回类型,并可以给引导方法传入一系列为称为静态参数(static argument)的常量
- 解析方式 一个字节一个字节的解析
- 使用javap 命令解析 javap -verbose Demo.class 或者jclasslib
总结
- 这14种表或者常量项的共同点是: 表开始的第一个位置是一个u1类型的标志位tag,代表当前这个常量使用的哪一种表结构 常量类型
- 在常量池列表中,CONSTANT_Utf8_info 常量项是一种使用改进过的utf-8编码格式来存储诸如文字字符串 类或者接口的全限定名 字段或者方法的简单名称以及描述符等常量字符串信息
- 这14种常量项结构还有一个特点,其中13个常量项占用字节固定,只有CONSTANT_Utf8_info占用字节不固定,其中大小右length决定 因为从常量池存放的内容可知,其存放的是字面量和符号引用,最终这些内容都会是一个字符串,这些字符串的大小是在编写程序时才确定.比如定义一个类,类名可长可短,所以在没有编译前,大小不固定,编译后,通过UTF-8编码就可以知道其长度
- 常量池 可以理解为class文件中的资源仓库,他是在class文件结构中与其他项目关联最多的数据类型(很多数据类型都会指向此处),也是占用class文件空间最大的数据项目之一
- 常量池中为什么包含这些内容
- java代码在进行javac编译的时候,并不像C和C++那样有连接这个步骤,而是在虚拟机加载class文件的时候进行动态链接.也就是说,在class文件中不会保存各个方法,字段的最终内存布局信息,因此这些字段,方法和符号引用不经过运行期转换的话无法得到中真正的内存入口地址,也就无法直接被虚拟机引用 当虚拟机运行时,需要从常量池获取对应的符号引用,再在类创建时或运行时解析,翻译到具体的内存地址中
访问标识
- 在常量池之后,紧跟着访问标识.该标记使用两个字节表示,用于识别一些类或者接口层次的访问信息,包括:这个class是类还是接口;是否定义为public类型,是否为abstract类型,如果是类的话,是否被声明为final.各种访问标记如下
- 类的访问权限通常以ACC_开头的常量
- 每一个类的表示都是通过设置访问标记的32位中的特定位来表现.比如public final的类被标记为ACC_PUBLIC | ACC_FINAL (或符号)
- 使用ACC_SUPER 可以让类更准确的定位到父类方法super.method(),现代编译器都会设置并且使用这个标记
- 使用ACC_INTERFACE 表示的class文件表示接口而不是类,反之则表示类不是接口
- 如果class被设置了ACC_INTERFACE表示,那么同时也得设置ACC_ABSTRACT标志.同时他不能再设置ACC_FINAL ACC_SUPER 或者ACC_ENUM 标志
- 如果没有设置ACC_INTERFACE标志,那么这个class文件可以具有上表中除了ACC_ANNOTATION其他所有标志.但是ACC_FINAL和ACC_ABSTRACT是互质的.
- ACC_SUPER 标志用于确定类或接口里面的invoicespecial指令使用的是哪一种执行语义.针对java虚拟机指令集的编译器都应当设置这个标志. 对于JDK8之后的版本来说,无论class文件中这个标记实际值是什么,也不管这个class文件版本
- ACC_SYNTHETIC 表示该类或者接口由编译器生成,不是源代码生成的
- ACC_ANNOTATION 表示该类为注解 如果标志了ACC_ANNOTATION也必须设置ACC_INTERFACE标志
- ACC_ENUM 表示该类或者其父类为一个枚举类型
- 表中没有使用access_flag标志是为了以后扩充而预留的,这些预留的标志在编译器中应该设置为0,java虚拟机实现也应该怒略他们
类索引 父类索引 接口索引集合
- 在访问标记之后,紧跟着 类索引 父类索引 接口索引集合
- 这三项数据来确定这个类的继承关系
- 类索引用于确定这个类的全限定名
- 父类索引用于确定这个父类的全限定名,java语言不支持多继承,所以类索引只有一个,除了java.lang.Object之外,所有java都有一个父类,因此除了java.lang.Object外,所有的类的父类索引都不为0
- 接口索引集合用来描述这个类实现的哪些接口,这些被实现的接口按照implements(如果类本身是接口则是extends)后的接口顺序从左往右在接口索引集合中
- this class 类索引 u2无符号证书,指向常量池索引.他提供了类的全限定名 如com/corn/java/demo this_class的值必须是对常量池表中的某项的一个有效索引.常量池在这个索引处的成员必须为CONSTANT_Class_info类型结构体,该结构体表示这个Class文件所定义的类或接口
- super_class 父类索引 u2无符号证书,指向常量池的索引,他提供了当前类的父类的全限定名.如果我们没有继承任何类,其默认继承的是java/lang/Object类. 由于java不支持多继承,所以父类只能有一个
- super_class 指向的父类不能是final 和 interface
- interfaces count 接口计数器 u2 表示当前类或者接口直接实现或继承的接口数量
- interface[] 接口索引集合
- interface[] 中每一个成员的值必须是在常量池中某项的有效索引,长度为interface_count.每个成员interfaces[i]必须是CONSTANT_Class_info结构,其中 0<= i < interface_count
- 在interfaces[i]中,各成员所表示的接口顺序和对应的源代码中给定的接口顺序(从左往右)一样,即interfaces[0]对应源代码中最左边第一个实现或者继承的接口
字段表集合(Fields)
-
包含fields_count 字段计数器和 fields[] 字段表 两部分,紧跟接口索引集合
-
用于描述接口或类声明的变量.字段(field)包括类级变量以及实例级变量,但是不包括方法内部,代码块内部声明的局部变量
-
字段叫什么名字,字段被定义为数据类型,这些都是无法固定的,只能引用常量池中的常量描述
-
它指向常量池索引集合,他描述每个字段的完整信息.比如 字段标识符 访问修饰符(public private protected) 是类变量(static)还是实例变量 是否是常量(final)
-
注意事项:
字段表集合中不会列出从父类或者实现的接口中继承而来的字段,但有可能列出原java代码中不存在的字段,譬如在内部内中为了保持外部类的访问,会自动添加指向外部类实例的字段
在java语言中字段无法重载,两个字段的数据类型, 修饰符是否相同,都必须使用不同的名称.但是对于字节码来讲,如果两个字段的描述符不同,那么即是重名也合法
字段计数器 fileds_count
- 紧跟接口索引集合之后 表示当前Class文件中的fields表中的成员个数 u2两个字节来表示
- fields表中的每个成员都是一个field_info结构,用于表示该类或者接口所声明的所有类字段或者实例字段,不包括方法内部声明的局部变量,也不包括父类或者父接口继承的那些字段
字段表 fields[]
-
fields表中每一个成员都必须是一个field_info结构的数据项,用于表示当前类或者接口中某一个字段的完整描述
-
一个字段信息包括如下信息
- 作用域(public private protected)
- 是实例变量还是类变量(static)
- 可变性(final)
- 并发可见性(volatile 是否立刻刷新CPU缓存到内存中)
- 是否序列化 (transient)
- 字段数据类型(8大基本数据类型 对象 数组)
- 字段名称
-
字段表访问标识
- 一个字段可以被各种关键字修饰,作用域修饰符(public、private、protected)、static 修饰符、final 修饰符、volatile 修饰符等等.其可像类的访问标志那样,使用一些标志来标记字段,字段访问标识如下
-
字段名索引
- 根据字段名索引的值,查询在常量池中指定索引项
-
描述符索引
- 描述符的作用是用来描述字段的数据类型,方法的参数列表(包括数量,类型以及顺序)和返回值.根据描述符规则,基本数据类型(byte char double float int long short boolean)及代表无返回值的void类型都用一个大写字符来表示,而对象则用字符L加对象全限定名来表示
-
属性表集合
-
一个字段还可以拥有一些属性,用于存储更多的额外信息.比如初始化值,一些注释信息等.属性个数存放在attrbute_count中,属性具体内容存放在attributes表中
-
以常量属性为例,结构为:
ConstantValue_attribute { u2 attribute_name_index; u4 attribute_length; u2 constantvalue_index; } 说明:对于常量属性而言,attribute_length 值恒为2
-
方法表集合
-
紧跟字段表集合之后
-
methods 指向常量池索引集合,他完成描述每个方法的签名
-
在字节码文件中,每一个method_info项都对应着一个类或者接口的方法信息.比如方法的访问修饰符(public private protected)方法返回值类型以及方法的参数信息等
-
如果这个方法不是抽象的或者native的,那么字节码中会体现出来
-
一方面,methods表中描述当前类或者接口中声明的方法,不包括从父类或者父接口继承的方法
-
另一方面,methods表有可能会出现由编译器自动添加的方法,最典型的就是由编译器生成的方法信息 比如类(接口)初始化方法cinit 和实例初始化方法init
-
在java中,重载(overload)一个方法,除了要与原方法具有相同简单名称之外,还要求必须拥有有一个与原方法不同的特征签名,特征签名就是一个方法中各个参数在常量池的字段符号引用集合,也就是因为返回值不会包含在特征签名中
因此java无法仅仅依靠返回值不同来进行方法重载. 但是再class文件格式中,特征签名的范围更大一些,只要描述符不是完全一致的两个方法就可以共存.也就是说如果两个方法有相同的名称和特征签名,但是返回值不同,在同一个class文件中也是合法的
methods_count 方法计数器
- methods_count 表示当前class文件中methods表成员的个数 u2两个字节表示
- methods表中每一个成员都是一个method_info结构
methods[] 方法表
-
methods表中的每一个成员都必须是一个method_info结构,用于表示当前类或者接口中的某个方法的完整描述.如果某个method_info结构的access_flags项即没有设置ACC_NATIVE标志也没有设置ACC_ABSTRACT标志,那么该结构中也应该包含实现这个方法的所有java虚拟机指令
-
method_info结构可以表示类和接口中定义的所有方法,包括实例方法,类方法,实例初始化方法和类或者接口的初始化方法
-
方法表的结构实际跟字段表是一样的,结构如下
-
方发表访问标志
- 跟字段表一样,方法表也有访问标志,而且他们的标志有部分相同,部分则不同,具体如下
-
属性表集合
-
方法表集合之后的属性表集合,指的是class文件所携带的辅助信息,比如class文件的源文件名称.以及任何带有RentionPolicy.CLASS或者RentionPolicy.RUNTIME的注解.这个类信息通常被用于java虚拟机的验证和运行,以及java程序的调式
-
此外,字段表和方法表都可以有自己的属性表.用于描述某些场景专有的信息
-
属性表集合的限制没有那么严格,不再要求各个属性表具有严格的顺序,并且只要不与已有的属性名重复,任何人实现的编译器都可以向属性表中写入自己定义的属性信息,但java虚拟机运行时会忽略掉他不认识的属性
-
attributes_count
- attributes_count的值表示当前class文件属性表的成员个数.属性表中每一项都是一个attribute_info结构
-
attributes[] 属性表
-
属性表每项的值必须是attribute_info结构.属性表的结构比较灵活,各种不同的属性只要满足一下结构即可
-
属性的通用格式
即只需说明属性的名称以及占用位数的长度即可,属性表具体的结构可以去自定义
-
-
属性attribute类型
-
属性表实际上可以有很多类型,JDK8中里面定义了23中属性
-
部分属性详解
-
ConstantValue 属性 表示一个常量字段的值.位于field_info结构的属性表中
-
ConstantValue_attribute { u2 attribute_name_index; u4 attribute_length; u2 constantvalue_index; //字段值在常量池中的索引,常量池在该索引处的项给出该属性表示的常量值。(例如,值是 long 型的,在常量池中便是 CONSTANT_Long) }
-
Deprecated 属性
-
Deprecated_attribute { u2 attribute_name_index; u4 attribute_length; }
-
Code 属性就是存放方法体里面的代码,并非所有方法表都有Code属性,像接口或者抽象方法,他们没有具体的方法体,因此没有 code属性 Code属性表的结构如下
-
code属性表中的前两项跟属性表一直,即code属性表遵循属性表的结构,后面则是他自定义的结构
-
InnerClasses 属性 为了方便说明特别定义的一个表示类或者接口的Class格式为C.如果C的常量池中包含某一个CONSTANT_Class_info成员,且这个成员所表示的类或接口不属于任何一个包,那么C的classfile结构属性表中就必须含有对应的InnerClasses属性.InnerClasses属性是在JDK1.1中为了支持内部类和内部接口而引入的,位于classfile结构的属性表
-
LineNumberTable 属性是可选的变长属性,位于Code结构的属性表
-
LineNumberTable用来描述java源码行号与字节码行号之间的对应关系,这个属性可以用来调试的时候定位代码执行的行数
-
start_pc,即字节码行号;line_number,即java源代码行号
-
在code属性的属性表中,LineNumberTable属性可以按照任意顺序出现,此外多个LineNumberTable属性可以共同表示一个行号在源文件表示的内容,即LineNumberTable属性不需要与源文件的行一一对应
-
LineNumberTable 属性表结构:
LineNumberTable_attribute { u2 attribute_name_index; u4 attribute_length; u2 line_number_table_length; { u2 start_pc; u2 line_number; } line_number_table[line_number_table_length]; }
-
-
LocalVariableTable
-
可选变长属性,位于Code属性表中.他被调试器用来确定方法在执行过程中局部变量的信息,在Code中,LocalVariableTable属性可以按照任意顺序出现.Code属性的每个局部变量最多只能有一个LocalVariableTable属性
-
start_pc + length 表示这个变量在字节码中的生命周期起始和结束的偏移位置 (this 生命周期从0到结尾10)
-
index就是这个变量在局部变量表中的槽slot (slot可以复用)
-
name 变量名称
-
Descriptor 表示局部变量类型描述
-
LocalVariableTable 属性表结构:
LocalVariableTable_attribute { u2 attribute_name_index; u4 attribute_length; u2 local_variable_table_length; { u2 start_pc; u2 length; u2 name_index; u2 descriptor_index; u2 index; } local_variable_table[local_variable_table_length]; }
-
-
Signature Signature属性是可选的定长属性,位于ClassFile,field_info或者method_info结构的属性表中.在java语言中,任何类或者接口,初始化方法或成员的泛型签名如果包含了类型变量(Type Variables)或者参数化类型(Parameterized Types),则Signature属性会记录泛型签名信息
-
SourceFile
-
使用javap指令解析class文件
- Oracle为反编译class文件提供了javap工具. javap根据class字节码文件,反解析出当前类对应的Code区(字节码指令),局部变量表,异常表,代码行偏移量,常量池等信息
- 当然这些信息中,有些信息(本地变量表,指令和代码偏移量映射表,常量池中的方法的参数名称等)需要在使用javac编译成class文件,指定参数才输出,直接使用javac xx.java是不会生成局部变量表信息,需要使用javac -g xx.java就可以生成所有相关信息了.如果是Ecplise 或者 IDEA等IDE的情况下,编译默认会生成局部变量表,指令和代码偏移量映射表等信息
- 通过局部变量表,我们可以查看局部变量的作用域范围,所在槽位等信息,甚至可以看到槽位复用等信息
javac -g
- 解析字节码文件得到的信息中,有些信息(如局部变量表,指令,代码偏移量映射表,常量池中方法参数名称等)需要在使用javac编译成class文件,指定参数才能输出
- javac -g xx.java会生成对应的局部变量 此时使用javap 反编译回来就可以看到局部变量表
javap 用法
使用方法 javap
用法: javap
其中, 可能的选项包括:
-help --help -? 输出此用法消息
-version 版本信息
-v -verbose 输出附加信息
-l 输出行号和本地变量表
-public 仅显示公共类和成员
-protected 显示受保护的/公共类和成员
-package 显示程序包/受保护的/公共类
和成员 (默认)
-p -private 显示所有类和成员
-c 对代码进行反汇编
-s 输出内部类型签名
-sysinfo 显示正在处理的类的
系统信息 (路径, 大小, 日期, MD5 散列)
-constants 显示最终常量
-classpath指定查找用户类文件的位置
-cp指定查找用户类文件的位置
-bootclasspath覆盖引导类文件的位置
最常用选项 -p -v -l 反编译出class文件所有字段 方法带上局部变量表信息和附加信息
解析示例
Classfile /E:/java_project/jvm-learn/target/classes/classfile/Demo.class // 字节码文件在绝对路径 Last modified 2020-11-2; size 381 bytes // 最后一次修改时间 和文件大小 MD5 checksum dc17ab97183f40d27eacc4603b484034 // MD5 散列 Compiled from "Demo.java" // 从哪个源文件编译得到 public class classfile.Demo // 类名 minor version: 0 // 副版本 major version: 52 // 主版本 52 对应JDK8 flags: ACC_PUBLIC, ACC_SUPER // 类的访问标识 public 和 super(类固定有) Constant pool: // 常量池 #1 = Methodref #4.#18 // java/lang/Object."<init>":()V #2 = Fieldref #3.#19 // classfile/Demo.num:I #3 = Class #20 // classfile/Demo #4 = Class #21 // java/lang/Object #5 = Utf8 num ...... // 此处省略常量池 private int num; // 字段名字 descriptor: I // 字段描述符 I -> Integer flags: ACC_PRIVATE // 字段访问标识符 public classfile.Demo(); // 方法名 这里是构造器 descriptor: ()V // 方法描述符 (参数列表) V返回值类型为void flags: ACC_PUBLIC // 方法访问标识 Code: // 方法Code属性 包含了多条指令集 stack=2, locals=1, args_size=1 // stack操作数最大深度 locals局部变量表slot数 args_size变量个数this算一个 0: aload_0 // 字节码指令 1: invokespecial #1 // Method java/lang/Object."<init>":()V 4: aload_0 5: iconst_1 6: putfield #2 // Field num:I 9: return LineNumberTable: // 行号偏移量表 关联了字节码指令行数和源代码行数 line 10: 0 line 12: 4 LocalVariableTable: // 局部变量表 Start Length Slot Name Signature 0 10 0 this Lclassfile/Demo; private void add(int); descriptor: (I)V flags: ACC_PRIVATE Code: stack=0, locals=2, args_size=2 0: iinc 1, 1 3: return LineNumberTable: line 15: 0 line 16: 3 LocalVariableTable: Start Length Slot Name Signature 0 4 0 this Lclassfile/Demo; 0 4 1 num I } SourceFile: "Demo.java" // 附加说明
总结
- 通过javap命令可以查看一个java类反编译得到class文件的版本号,常量池,访问标志,局部变量表,指令代码行号. 不显示类索引,父类索引,接口索引集合
- 方法的调用通常涉及到 栈的局部变量表和操作数栈 堆中的对象真实的引用地址 常量池
- java每个方法Code属性中的指令操作码按顺序执行,每个方法对应的操作法对应多条操作码,JVM通过这些操作码最终编译成对应平台的机器码