字节码

简介: 这篇文章主要内容来自"深入java虚拟机",刚毕业那会太急功近利,这块离业务代码太远就没细看。这次花点时间整理一下,加深对字节码的认识。类文件结构“一次编写,到处运行”表达的是“与平台无关”。

这篇文章主要内容来自"深入java虚拟机",刚毕业那会太急功近利,这块离业务代码太远就没细看。这次花点时间整理一下,加深对字节码的认识。

类文件结构

“一次编写,到处运行”表达的是“与平台无关”。如何做到“与平台无关”?Sun公司以及其他虚拟机提供商发布了许多可以运行在各种平台上的虚拟机,这些虚拟机都可以载入和执行同一种平台无关的字节码(class文件)。
Java虚拟机的野心远不止做到“与平台无关”,Java虚拟机还做到“语言无关性”。Java虚拟机支持其他语言的代码通过对应语言的编译器,编译成字节码,从而运行在Java虚拟机之上。
Class文件是一组以8位字节为基础单元的二进制流,各个数据项目严格按照顺序紧凑地排列在Class文件之中,中间没有添加任何分隔符。Class文件格式采用一种类似于C语言结构体的伪结构来存储数据,这种伪结构只有两种数据类型:无符号数

                                表1:Class文件格式定义
名称 类型 数量 描述
magic u4 1 class文件的识别码,固定,为“0xCAFFBABE”
minor_version u2 1 次版本号,JDK1.7_u91,其中91就是次版本号
major_version u2 1 主版本号,JDK1.7对应值为51,JDK1.8对应值为52,依次类推。虚拟机拒绝执行超过其版本号的Class文件
constant_pool_count u2 1 常量池中常量的数量,从1开始计数
constant_pool cp_info constant_pool_count 占用Class文件空间最大的数据项。常量池中存放两大常量:字面量(java中的常量,如文本字符串、声明为final的常量值等)和符号引用(类以及接口的全限定名、字段的名称和描述符、方法的名称和描述符)。cp_info有14种类型结构,通过开头的u1类型的标志位来表示,每一种类型的具体格式见 表2:常量池结构表
access_flags u2 1 访问标识,用于识别class还是接口、是否定义为public、是否定义为abstract、是否被声明为final等,u2总共16位,每一位可以代表一类信息是否。具体就不阐述了
this_class u2 1 类索引,一个指向常量类型为CONSTANT_UTF8_info的全限定名字符串
super_class u2 1 父类索引,一个指向常量类型为CONSTANT_UTF8_info的全限定名字符串
interfaces_count u2 1 继承接口数量
interfaces u2 interfaces_count 接口索引,一个指向常量类型为CONSTANT_UTF8_info的全限定名字符串
fields_count u2 1 字段数量,包括类级变量以及实例级数量,但不包括方法内部的局部变量
fields field_info fields_count 字段表结构包括5个类型:access_flag(和类的access_flag类似)、name_index(字段的简单名称,指向常量池索引)、descriptor_index(方法的描述符,描述字段的数据类型、方法的参数列表和返回值,对于数据类型,每一个维度使用一个前置的“[”字符描述,基础类型使用第一个字符大写,对象类型使用L+类全限定符,方法int indexOf(char[] source, Object target)的描述符常量为([CLjava/lang/Object)I )、attributes_count(属性的数量)、attribute_info(和类的attribute_info一样)
methods_count u2 1 方法的数量
methods method_info methods_count 方法的表结构和字段的描述是完全一致的,方法里的java代码,经过编译器编译成字节码指令后,存放在方法属性表集合中的一个名为“Code”的属性里面。属性的描述见下行
attributes_count u2 1 属性的数量
attributes attribute_info arrtributes_count 在Class文件、字段表、方法表都可以携带自己的属性表集合。目前虚拟机能识别的属性类型有21中,见 表3:虚拟机规范预定义的属性。属性表结构包含attribute_name_index(属性类型名称,指向常量池的索引)、attribute_length(属性长度,为属性表总长度-6)、info(属性信息,各属性类型自定义的属性结构)
                                  表2:常量池结构表
类型 标志 描述
CONSTANT_Utf8_info 1 Utf-8 编码的字符串。1个u1类型的tag,值为1,一个u2类型表示字符长度的length;length个u1类型的bytes。
CONSTANT_Integer_info 3 整形字面量。1个u1类型的tag,值为3;1个u4类型的int值
CONSTANT_Float_info 4 浮点型字面量。1个u1类型的tag,值为4;1个u4类型的float值
CONSTANT_Long_info 5 长整型字面量。1个u1类型的tag,值为5;1个u8类型的long值
CONSTANT_Double_info 6 双精度浮点型字面量。1个u1类型的tag,值为6;1个u8类型的double值
CONSTANT_Class_info 7 类或接口的符号引用。一个u1类型的tag,值为7;1个u2类型的name_index,指向CONSTANT_Utf8_info的常量
CONSTANT_String_info 8 字符串类型字面量。一个u1类型的tag,值为8;1个u2类型的索引,指向CONSTANT_Utf8_info的常量
CONSTANT_Fieldref_info 9 字段的符号引用。一个u1类型的tag,值为9;1个u2类型的索引,指向声明字段的类或者接口描述符CONSTANT_Class_info的索引项;1个u2类型的索引,指向字段描述符CONSTANT_NameAndType的索引项
CONSTANT_Methodref_info 10 类中方法的符号引用。一个u1类型的tag,值为10;1个u2类型的索引,指向声明方法的类描述符CONSTANT_Class_info的索引项;1个u2类型的索引,指向名称及类型描述符CONSTANT_NameAndType的索引项
CONSTANT_InterfaceMethodref_info 11 接口中方法的符号引用。一个u1类型的tag,值为11;1个u2类型的索引,指向声明方法的接口描述符CONSTANT_Class_info的索引项;1个u2类型的索引,指向名称及类型描述符
CONSTANT_NameAndType_info 12 字段或方法的部分符号引用。一个u1类型的tag,值为12;1个u2类型的索引,指向该字段或方法名称常量项的索引;1个u2类型的索引,指向该字段或方法描述符常量项的索引
CONSTANT_MethodHandle_info 15 表示方法句柄。一个u1类型的tag,值为15;1个u1类型区间为1~9的值,表示方法句柄类型(方法句柄类型的值表示方法句柄的字节码行为);1个u2类型的索引,指向常量池
CONSTANT_MethodType_info 16 标识方法类型。一个u1类型的tag,值为16;一个u2类型的描述符索引,指向CONSTANT_Utf8_info类型的索引项
CONSTANT_InvokeDynamic_info 18 表示一个动态方法调用点。一个u1类型的tag,值为18;一个u2类型的索引,指向当前Class文件中引导方法表的bootstrap_methods[]数据;1个u2类型的索引,指向常量池中类型为CONSTANT_NameAndType_info的索引项
                                  表3:虚拟机规范预定义的属性
属性名称 使用位置 含义
Code 方法表 Java代码编译成的字节码指令。Code属性的结构 表4:Code属性表的结构
ConstantValue 字段表 final关键字定义的常量值。属性结构为1个u2类型指向常量池的变量名索引;1个u4类型,固定值为2;1个指向常量池的属性变量值索引。
Deprecated 类、方法表、字段表 被声明为deprecated的方法和字段。1个u2类型的执行常量池的名称索引。1个u4类型,值固定为0的数据值。
Exception 方法表 方法抛出的异常,列举出方法中可能抛出的受检查异常。包含1个u2类型表示可能抛出异常的种类number_of_exception,和number_of_exception个指向常量池中CONSTANT_CLASS_info型常量的索引
EnclosingMethod 类文件 仅当一个类为局部类或者匿名类时才能拥有这个属性,这个属性用于标识这个类所在的外围方法
InnerClasses 类文件 内部类列表,用于记录内部类与宿主类之间的关联。
LineNumberTable Code属性 Java源码的行号与字节码指令的对应关系
LocalVariableTable Code属性 方法的局部变量描述,描述栈帧中局部变量表中局部变量表中的变量与java源码中定义的变量之间的关系。包含一个u2类型代表本地变量表长度的值local_variable_table_length,和local_variable_table_length个代表栈帧与源码中局部变量关联的local_variable_info结构(1个u2类型代表局部变量生命周期开始的字节码偏移量start_pc,1个u2类型代表局部变量覆盖范围的字节码长度,1个u2类型指向CONSTANT_Utf8_info索引代表变量名称和1个u2类型指向CONSTANT_Utf8_info索引代表变量描述符,1个u2类型代表局部变量在栈帧局部变量表中slot的位置 )
StackMapTable Code属性 JDK1.6中新增的属性,供新的类型检查验证器检查和处理目标方法的局部变量和操作数栈所需要的类型是否匹配
Signature 类、方法表、字段表 JDK1.5中新增的属性,这个属性用于支持泛型情况下的方法签名,在java语言中,任何类、接口、初始化方法或成员的泛型签名如果包含了类型变量或参数化类型,则Signarure属性会为它记录泛型签名信息。
SourceFile 类文件 记录源文件名称。一般情况下,类名和文件名相同
SourceDebugExtension 类文件 JDK1.6中新增的属性,这个属性用于存储额外的调试信息
Synthetic 类、方法表、字段表 标识方法或字典为编译器自动生成的。1个u2类型的执行常量池的名称索引。1个u4类型,值固定为0的数据。
LocalVariableTypeTable JDK1.5新增的属性,它使用特征签名代替描述符,是为了引入泛型语法之后能描述泛型参数化类型而添加
RuntimeVisibleAnnotations 类、方法表、字段表 JDK1.5中新增的属性,为动态注解提供支持。这个属性用于指明哪些注解是运行时(实际上运行时就是进行反射调用)可见的
RuntimeInvisibleAnnotations 类、方法表、字段表 与RuntimeVisibleAnnotations相反,指明哪些注解运行时不可见
RuntimeVisibleParameterAnnotations 方法表 和RuntimeVisibleAnnotations作用类似,只不过作用对象为方法参数
RuntimeInvisibleParameterAnnotations 方法表 和RuntimeInvisibleAnnotations作用类似,只不过作用对象为方法参数
AnnotationDefault 方法表 JDK1.5新增属性,用于记录注解元素的默认值
BootstrapMethods 类文件 JDK1.7新增属性,用于保存invokedynamic指令所引用的引导方法限定符
                                              表4:Code属性表的结构
类型 名称 数量 描述
u2 attribute_name_index 1 一个指向CONSTANT_Utf8_info型常量的索引,固定值为“Code”
u4 attribute_length 1 属性值的长度,整个属性表长度减去6字节
u2 max_stack 1 代表操作数栈深度的最大值
u2 max_locals 1 代表局部变量表所需的存储空间,单位slot(slot是虚拟机为局部变量分配内存所使用的最小单位,4字节)
u4 code_length 1 字节码指令的个数
u1 code code_length 用于存储字节码指令的一系列字节流,每个字节码指令是一个u1类型的单字节
u2 exception_table_length 1 异常表长度
exception_info exception_table exception_table_length 异常表包含4个字段,依次是:u2类型的start_pc、end_pc、handler_pc、catch_type。如果当字节码在start_pc行到end_pc之间出现类型为catch_type(指向CONSTANT_Class_info的索引)或者其子类型的异常,则转到handler_pc行进行处理
u2 attributes_count 1 属性数量
attribute_info attributes attributes_count 属性表,同上

class文件是按照上面约定的格式无分割组成的二进制文件。通过认为将二进制转化成ascii码,然后切分成人为可理解的描述行成本太大,我们只需要理解字节码的结构原理,Oracle公司已经帮我们准备好一个专门用于分析Class文件字节码的工具javap。通过使用javap工具的-verbose参数输出人为可以理解的文本描述。

字节码指令

java虚拟机的指令由一个字节长度u1、代表着某种特定操作含义的数字(称为操作码,Opcode)以及跟随其后的零至多个代表此操作所需参数(称为操作数,Operands)而构成。java虚拟机解释器执行模型的伪代码如下:
do{
自动计算PC寄存器的值加1;
根据PC寄存器的指示位置,从字节码流中取出操作码;
if(字节码存在操作数) 从字节码流中取出操作数;
执行操作码所定义的操作;
} while(字节码流长度>0)
对于大部分与数据类型相关的字节码指令,它们的操作码助记符中都有特殊的字符来表名专门为哪种数据类型服务:i代表对int类型的数据操作,l代表long,s代表short,b代表byte,c代表char,f代表float,d代表double,a代表reference。下表列举了Java虚拟机所支持的与数据类型相关的字节码指令,通过使用数据类型列所代表的特殊字符替换opcode列中的指令模板中的T,得到一个具体的字节码指令。

opcode byte short int long float double char reference 描述
Tipush bipush sipush 将一个常量加载到操作数栈
Tconst iconst lconst fconst dconst aconst 将一个常量加载到操作数栈
Tload iload lload fload dload aload 将一个局部变量加载到操作栈
Tstore istore lstore fstore dstore astore 将一个操作数从操作数栈存储到局部变量表
Tinc iinc 局部变量自增指令
Taload baload saload iaload laload faload daload caload aaload 根据栈里内容来把name数组的第一项的值推至栈顶
Tastore bastore sastore iastore lastore fastore dastore castore aastore 将栈顶值存入指定数组的指定索引位置
Tadd iadd ladd fadd dadd 加法指令
Tsub isub lsub fsub dsub 减法指令
Tmul imul lmul fmul dmul 乘法指令
Tdiv idiv ldiv fdiv ddiv 除法指令
Trem irem lrem frem drem 求余指令
Tneg ineg lneg fneg dneg 取反指令
Tshl ishl lshl 位移指令
Tshr ishr lshr 位移指令
Tushr iushr lushr 位移指令
Tand iand land 按位与指令
Tor ior lor 按位或指令
Txor ixor lxor 按位异或指令
i2T i2b i2s i2l i2f i2d 类型转换指令
l2T l2i l2f l2d 类型转换指令
f2T f2i f2l f2d 类型转换指令
d2T d2i d2l d2f 类型转换指令
Tcmp lcmp 比较指令
Tcmpl fcmpl dcmpl 比较指令
Tcmpg fcmpg dcmpg 比较指令
if_TcmpOP if_icmpOP if_acmpOP 条件分支,其中OP可以是eq、ne、gt、null等
Treturn ireturn lreturn freturn dreturn areturn 返回指令

其他指令说明

指令 说明
pop、pop2 将操作数栈的栈顶一个或两个元素出栈
dup、dup2、dup_x1、dup2_x1、dup_x2、dup2_x2 复制栈顶一个或两个数值并将复制值或双份的复制值重新压入栈顶
swap 将栈最顶端两个数值互换
goto、goto_w、jsr、jsr_w、ret 无条件转移指令
tableswitch、lookupswitch 复合条件分支转移指令
invokevirtual 调用对象的实例方法,根据对象的实际类型进行分派(虚方法分派)
invokeinterface 调用接口方法,它会在运行时搜索一个实现了这个接口方法的对象,找出适合的方法进行调用
invokestatic 调用类的静态方法
invokedynamic 运行时动态解析出调用点限定符所引用的方法,并执行该方法
monitorenter、monitorexit synchronized关键字修饰语句块时对应的同步指令
相关文章
|
5月前
javap反编译字节码文件
javap反编译字节码文件
|
6月前
|
存储 Arthas Java
【JVM系列笔记】字节码
本文介绍了Java虚拟机(JVM)的组成,包括类加载子系统、运行时数据区、执行引擎和本地接口。字节码文件由基础信息(如魔数和版本号)、常量池、字段、方法和属性组成。常量池用于存储字符串等共享信息,方法区则包含字节码指令。执行引擎包含解释器、即时编译器和垃圾回收器,负责字节码的解释和优化。文章还提到了字节码工具,如javap、jclasslib和Arthas,用于查看和分析字节码。
81 0
【JVM系列笔记】字节码
|
6月前
|
存储 安全 Java
深入理解Java字节码与反编译技术
深入理解Java字节码与反编译技术
112 0
|
6月前
|
存储 Java 编译器
深入理解JVM - 字节码指令
深入理解JVM - 字节码指令
106 0
|
存储 Java 编译器
jvm之字节码指令集解读(上)
jvm之字节码指令集解读(上)
|
存储 人工智能 Java
通过字节码分析i++ 与 ++i
通过字节码分析i++ 与 ++i
|
Java 编译器
字节码文件
字节码文件
160 0
|
存储 Java 索引
JVM 字节码指令解析(上)
概述本文主要是基于 .class 文件,进行分析 .class 文件的内容。 这部分个人觉得主要是属于设计机构拓展的内容,大家可以一起来学习一下 Java 字节码的设计结构以及感受一下设计者的设计。
234 0
JVM 字节码指令解析(上)
|
Java 编译器 索引
JVM 字节码指令解析(下)
概述本文主要是基于 .class 文件,进行分析 .class 文件的内容。 这部分个人觉得主要是属于设计机构拓展的内容,大家可以一起来学习一下 Java 字节码的设计结构以及感受一下设计者的设计。
115 0
JVM 字节码指令解析(下)
|
缓存 文字识别 Java
为什么要推荐大家学习字节码?
为什么要推荐大家学习字节码?
442 0
为什么要推荐大家学习字节码?