Java字节码「随身手册」

最新推荐文章于 2024-07-29 14:22:26 发布

2401_84584289

最新推荐文章于 2024-07-29 14:22:26 发布

阅读量751

点赞数 18

分类专栏：程序员文章标签： java 学习经验分享

本文链接：https://blog.csdn.net/2401_84584289/article/details/139154432

版权

程序员专栏收录该内容

130 篇文章 1 订阅

订阅专栏

| ACC_ENUM | 0x4000 | 字段是否为enum |

方法访问标志

| 标志名称 | 标志值 | 描述 |

| :-: | :-: | :-: |

| ACC_PUBLIC | 0x0001 | 方法是否为public |

| ACC_PRIVATE | 0x0002 | 方法是否为private |

| ACC_PROTECTED | 0x0004 | 方法是否为protected |

| ACC_STATIC | 0x0008 | 方法是否为static |

| ACC_FINAL | 0x0010 | 方法是否为final |

| ACC_SYNCHRONIZED | 0x0020 | 方法是否为synchronized |

| ACC_BRIDGE | 0x0040 | 方法是否由编译器产生的桥接方法 |

| ACC_VARARGS | 0x0080 | 方法是否接受不定参数 |

| ACC_NATIVE | 0x0100 | 方法是否为native |

| ACC_ABSTRACT | 0x0400 | 方法是否为abstract |

| ACC_STRICTFP | 0x0800 | 方法是否为strictfp |

| ACC_SYNTHETIC | 0x1000 | 方法是否由编译器自动产生的 |

字段表

用于描述接口和类中声明的变量，包括 类级别变量 及 实例级别变量。

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | access_flags | 1 |

| u2 | name_index | 1 |

| u2 | descriptor_index | 1 |

| u2 | attributes_count | 1 |

| u2 | attributes | attributes_count |

其中 access_flags 见为访问标志表中的字段访问标志。

方法表

方法表包含访问标志，名称索引，描述符索引以及属性表等几项

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | access_flags | 1 |

| u2 | name_index | 1 |

| u2 | descriptor_index | 1 |

| u2 | attributes_count | 1 |

| attribute_info | attributes | attributes_count |

其中方法的 access_flags 见上述的方法访问标志

属性表

属性表是解释 Class文件，字段表，方法表中携带的属性的表格，属性是用于描述某些场景专有的信息。

| 属性名称 | 使用位置 | 含义 |

| :-: | :-: | :-: |

| Code | 方法表 | Java代码编译成的字节码指令 |

| ConstantValue | 字段表 | final关键字定义的常量值 |

| Deprecated | 类，方法表，字段表 | final关键字定义的常量值 |

| Exceptions | 方法表 | final方法抛出的异常 |

| EnclosingMethod | 类文件 | 仅当一个类为局部类或者匿名类时才能拥有这个属性，这个属性用于标识这个类所在的外围方法 |

| InnerClasses | 类文件 | 内部类列表 |

| LineNumberTable | Code属性 | Java源码的行号与字节码指令的对应关系 |

| LocalVariableTable | Code属性 | 方法的局部变量描述 |

| StackMapTable | Code属性 | JDK1.6中新增的属性，供新的类型检查校验器（Type Checker）检查和处理目标方法的局部变量和操作数栈锁需要的类型是否匹配 |

| Signature | 类，方法表，字段表 | JDK1.5中新增的属性，这个属性用于支持泛型情况下的方法签名，在java语言中，任何类，接口，初始化方法或成员的泛型签名如果包含了类型变量（Type Variables）或者参数化类型（Parameterized Types），则Signature属性会为它记录泛型签名信息。由于java的泛型采用擦除法实现，在为了类型信息被擦除后导致签名混乱，需要这个属性记录泛型中的相关信息 |

| SourceFile | 类文件 | 记录源文件名称 |

| SourceDebugExtension | 类文件 | JDK1.6中新增的属性，SourceDebugExtension属性用于存储额外的调试信息。譬如在进行JSP文件调试时，无法通过Java堆栈来定位到JSP文件的行号，JSR-45规范为这些非Java语言编写，却需要编译成字节码并运行在Java虚拟机中的程序提供了一个进行调试的标准机制，使用SourceDebugExtension属性就可以用于存储这个标准所新加入的调试信息 |

| Synthetic | 类，方法表，字段表 | 标识方法或者字段是否为编译器自动生成的 |

| LocalVariableTypeTable | 类 | JDK1.5中新增的属性，它使用特征签名代替描述符，是为了引入泛型语法之后能描述泛型参数化类型而添加的 |

| RuntimevisibleAnnotations | 类，方法表，字段表 | JDK1.5中新增的属性，为动态注解提供支持。RuntimevisibleAnnotations 属性用于指明哪些注解是运行时（实际上运行时就是进行反射调用）可见的 |

| RuntimeInvisibleAnnotations | 类，方法表，字段表 | JDK1.5中新增的属性，与 RuntimevisibleAnnotations 属性作用刚好相反，用于指明哪些注解是运行时不可见的 |

| RuntimeVisibleParameterAnnotations | 方法表 | JDK1.5中新增的属性，作用与 RuntimevisibleAnnotations 属性类似，只不过作用对象为方法参数 |

| RuntimeInvisibleParameterAnnotations | 方法表 | JDK1.5中新增的属性，作用与 RuntimeInvisibleAnnotations 属性类似，只不过作用对象为方法参数 |

| AnnotationDetault | 方法表 | JDK1.5中新增的属性，用于记录注解类元素的默认值 |

| BootstrapMethods | 类文件 | JDK1.5中新增的属性，用于保存 invokedynamic 指令引用的引导方法限定符 |

上述的每一个属性都需要从常量池中引用一个 CONSTANT_Utf8_info 类型常量来标示。还包含 attribute_length（u4） 用于标示属性值所占用的位数，后面再跟着属性内容。

Code属性结构

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | attribute_name_index | 1 |

| u4 | attribute_length | 1 |

| u2 | max_stack | 1 |

| u2 | max_locals | 1 |

| u4 | code_length | 1 |

| u1 | code | code_lenght |

| u2 | exception_table_lenght | 1 |

| exception_info | exception_table | exception_table_length |

| u2 | attributes_count | 1 |

| attribute_info | attributes | attributes_count |

异常属性结构

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | start_pc | 1 |

| u2 | end_pc | 1 |

| u2 | handler_pc | 1 |

| u2 | catch_type | 1 |

Exceptions属性结构

区别与异常表，该表主要是列举中方法中可能抛出的受检查异常，也就是方法描述时throws关键字列举的异常

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | attribute_name_index | 1 |

| u4 | attribute_length | 1 |

| u2 | number_of_exceptions | 1 |

| u2 | exception_index_table | number_of_exceptions |

LineNumberTable属性结构

用于描述Java源码行号与字节码行号之间的对应关系，默认生成到 Class文件 中。

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | attribute_name_index | 1 |

| u4 | attribute_length | 1 |

| u2 | line_number_table_length | 1 |

| line_number_info | line_number_table | line_number_table_length |

其中line_number_info包含start_pc和line_number两个u2类型的数据项。

LocalVariableTable属性结构

用于描述栈帧中局部变量表中的变量与 Java 源码中定义的变量之间的关系，默认生成到 Class文件 中。

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | attribute_name_index | 1 |

| u4 | attribute_length | 1 |

| u2 | local_variable_table_lenght | 1 |

| local_variable_info | local_variable_table | local_variable_table_lenght |

其中 local_variable_info 是代表栈帧与源码中局部变量的关联，见下表：

| 类型 | 名称 | 含义 | 数量 |

| :-: | :-: | :-: | :-: |

| u2 | start_pc | 局部变量的生命周期开始的字节码偏移量 | 1 |

| u2 | length | 局部变量的生命周期开始的作用范围覆盖长度 | 1 |

| u2 | name_index | 指向常量池 CONSTANT_Utf8_info 索引 | 1 |

| u2 | descriptor_index | 指向常量池 CONSTANT_Utf8_info 索引 | 1 |

| u2 | index | 局部变量在栈帧局部变量表中Slot的位置 | 1 |

SourceFile属性结构

用于记录生成该 Class文件 的源码文件名称。

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | attribute_name_index | 1 |

| u4 | attribute_length | 1 |

| u2 | sourcefile_index | 1 |

其中 sourcefile_index 为指向常量池 CONSTANT_Utf8_info 索引。

ConstantValue属性结构

用于通知虚拟机自动为静态变量赋值。只有被 static 关键字修饰的变量才可以使用这项属性。

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | attribute_name_index | 1 |

| u4 | attribute_length | 1 |

| u2 | constant_index | 1 |

InnerClasses属性结构

用于记录内部类与宿主类之间的关联。如果一个类中定义了内部类，编译器则会为它生成内部类 InnerClasses 属性。

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | attribute_name_index | 1 |

| u4 | attribute_length | 1 |

| u2 | number_of_classes | 1 |

| inner_classes_info | inner_classes | number_of_classes |

每一个 inner_classes_info 代表一个内部类信息，结构如下：

| 类型 | 名称 | 含义 | 数量 |

| :-: | :-: | :-: | :-: |

| u2 | inner_class_info_index | 指向常量池 CONSTANT_Class_info 索引 | 1 |

| u2 | outer_class_info_index | 指向常量池 CONSTANT_Class_info 索引 | 1 |

| u2 | inner_name_index | 指向常量池 CONSTANT_Utf8_info 索引，代表这个内部类的名称，如果匿名则为0 | 1 |

| u2 | inner_class_access_flags | 内部类的访问标志，见上述访问标志篇章 | 1 |

Deprecated/Synthetic属性结构

前者是用于标示某个类，字段或者方法是否不再推荐使用。

后者是用于标示字段或者方法不是由 Java 源码直接产生。所有由非用户代码生成的方法都需要设置 Synthetic 属性或者 ACC_SYNTHETIC 标志，但是 <init> 和 <clinit> 除外。他们的结构如下：

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | attribute_name_index | 1 |

| u4 | attribute_length | 1 |

StackMapTable属性结构

于 JDK1.6 之后添加在 Class 文件规范中，位于 Code属性表 中，该属性会在虚拟机类加载的字节码校验阶段被新类型检查检验器（Type Checker）使用。

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | attribute_name_index | 1 |

| u4 | attribute_length | 1 |

| u2 | number_of_entries | 1 |

| stack_map_frame | stack_map_frame_entries | number_of_entries |

Signature属性结构

于 JDK1.5 发布之后添加到 Class 文件规范中，它是一个可选的定长属性，可出现在类，属性表，方法表结构的属性表中。该属性会记录泛型签名信息，在 Java 语言中泛型采用的是擦除法实现的伪泛型，在字节码（Code属性）中，泛型信息编译之后都统统被擦除掉。由于无法像 C# 等运行时支持获取真泛型类型，添加该属性用于弥补该缺陷，现在 Java 反射已经能获取到泛型类型。

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | attribute_name_index | 1 |

| u4 | attribute_length | 1 |

| u2 | signature_index | 1 |

其中 signature_index 值必须是一个对常量池的有效索引且为 CONSTANT_Utf8_info，表示类签名，方法类型签名或字段类型签名。如果当前Signature属性是类文件的属性，则这个结构表示类签名，如果当前Signature属性是方法表的属性，则表示方法类型签名，如果当前Signature属性是字段表的属性，则表示字段类型签名。

BootstrapMethods属性结构

于 JDK1.7 发布后添加到 Class 文件规范中，是一个复杂变长的属性，位于类文件的属性表中。

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | attribute_name_index | 1 |

| u4 | attribute_length | 1 |

| u2 | num_bootstrap_methods | 1 |

| bootstrap_method | bootstrap_methods | num_bootstrap_methods |

其中 bootstrap_method 结构如下

| 类型 | 名称 | 数量 |

| :-: | :-: | :-: |

| u2 | bootstrap_method_ref | 1 |

| u2 | num_bootstrap_arguments | 1 |

| u2 | bootstrap_arguments | num_bootstrap_arguments |

特殊字符串表

所谓全限定名，就是使用 “.” 分割类全名。比如 com/yummylau/TestClass 把类全名的 “.” 换成 “/”，变成 com.yummylau.TestClass，多个全限定名可使用多个 "；"分割。

而简单名称则没有类型和参数修饰的方法或者字段的名字，比如方法 inc() 和字段 m 分别标示为 inc 和 m 。特殊字符串表包含一些基础类型的描述及方法描述。如下：

描述符

| 标识字符 | 含义 |

| :-: | :-: |

| B | 基本类型 byte |

| C | 基本类型 char |

| D | 基本类型 double |

| F | 基本类型 float |

| I | 基本类型 int |

| J | 基本类型 long |

| S | 基本类型 short |

| Z | 基本类型 boolean |

| V | 基本类型 void |

| L | 对象类型，比如 Ljava/lang/Object |

针对数组，每一个维度使用一个前置的"["字符来描述，比如定义一个 “java.lang.String[][]”数组，被记录为“[[java.lang.String;”一个整型数组 “int[]” 被记录为[I

针对方法

| 方法场景 | 描述符 |

| :-: | :-: |

| void inc（） | （）V |

| java.lang.String toString（） | （）Ljava/lang/String; |

| int indexOf（char[]source，int sourceOffest，int sourceCount，char[] target，int targetOffset，int targetCOunt，int formIndex） | （[CII[CIII）I |

字节码指令表

按照指令的类型/目标数据类型/常用指令等进一步划分为以下内容：

字节码指令总表
数据类型在指令中的转化
指令集支持的数据类型
加载/存储指令
运算指令
类型转化指令
对象创建与访问指令
操作数栈管理指令
控制转移指令
方法调用和返回指令
异常处理指令
同步指令

字节码指令总表

tip : 更为具体的描述可参考官方JVM指令文档

| 字节码 | 助记符 | 指令含义 |

| :-: | :-: | :-: |

| 0x00 | nop | 什么都不做 |

| 0x01 | aconst_null | 将 null 推送至栈顶 |

| 0x02 | iconst_m1 | 将 int 型 -1 推送至栈顶 |

| 0x03 | iconst_0 | 将 int 型 0 推送至栈顶 |

| 0x04 | iconst_1 | 将 int 型 1 推送至栈顶 |

| 0x05 | iconst_2 | 将 int 型 2 推送至栈顶 |

| 0x06 | iconst_3 | 将 int 型 3 推送至栈顶 |

| 0x07 | iconst_4 | 将 int 型 4 推送至栈顶 |

| 0x08 | iconst_5 | 将 int 型 5 推送至栈顶 |

| 0x09 | lconst_0 | 将 long 型 0 推送至栈顶 |

| 0x0a | lconst_1 | 将 long 型 1 推送至栈顶 |

| 0x0b | fconst_0 | 将 float 型 0 推送至栈顶 |

| 0x0c | fconst_1 | 将 float 型 1 推送至栈顶 |

| 0x0d | fconst_2 | 将 float 型 2 推送至栈顶 |

| 0x0e | dconst_0 | 将 double 型 0 推送至栈顶 |

| 0x0f | dconst_1 | 将 double 型 1 推送至栈顶 |

| 0x10 | bipush | 将单字节的常量（-128 - 127）推送至栈顶 |

| 0x11 | sipush | 将一个短整形常量常量（-32768 - 32767）推送至栈顶 |

| 0x12 | ldc | 将 int, float, String 型常量值从常量池中推送至栈顶 |

| 0x13 | ldc_w | 将 int, float, String 型常量值从常量池中推送至栈顶（宽索引） |

| 0x14 | ldc2_w | 将 long 或 float 型常量值从常量池中推送至栈顶（宽索引） |

| 0x15 | iload | 将指定的 int 型本地变量推送至栈顶 |

| 0x16 | lload | 将指定的 long 型本地变量推送至栈顶 |

| 0x17 | fload | 将指定的 float 型本地变量推送至栈顶 |

| 0x18 | dload | 将指定的 dload 型本地变量推送至栈顶 |

| 0x19 | aload | 将指定的引用类型本地变量推送至栈顶 |

| 0x1a | iload_0 | 将第一个 int 型本地变量推送至栈顶 |

| 0x1b | iload_1 | 将第二个 int 型本地变量推送至栈顶 |

| 0x1c | iload_2 | 将第三个 int 型本地变量推送至栈顶 |

| 0x1d | iload_3 | 将第四个 int 型本地变量推送至栈顶 |

| 0x1e | lload_0 | 将第一个 long 型本地变量推送至栈顶 |

| 0x1f | lload_1 | 将第二个 long 型本地变量推送至栈顶 |

| 0x20 | lload_2 | 将第三个 long 型本地变量推送至栈顶 |

| 0x21 | lload_3 | 将第四个 long 型本地变量推送至栈顶 |

| 0x22 | fload_0 | 将第一个 float 型本地变量推送至栈顶 |

| 0x23 | fload_1 | 将第二个 float 型本地变量推送至栈顶 |

| 0x24 | fload_2 | 将第三个 float 型本地变量推送至栈顶 |

| 0x25 | fload_3 | 将第四个 float 型本地变量推送至栈顶 |

| 0x26 | dload_0 | 将第一个 double 型本地变量推送至栈顶 |

| 0x27 | dload_1 | 将第二个 double 型本地变量推送至栈顶 |

| 0x28 | dload_2 | 将第三个 double 型本地变量推送至栈顶 |

| 0x29 | dload_3 | 将第四个 double 型本地变量推送至栈顶 |

| 0x2a | aload_0 | 将第一个引用类型本地变量推送至栈顶 |

| 0x2b | aload_1 | 将第二个引用类型本地变量推送至栈顶 |

| 0x2c | aload_2 | 将第三个引用类型本地变量推送至栈顶 |

| 0x2d | aload_3 | 将第四个引用类型本地变量推送至栈顶 |

| 0x2e | iaload | 将 int 型数组指定索引的值推送至栈顶 |

| 0x2f | laload | 将 long 型数组指定索引的值推送至栈顶 |

| 0x30 | faload | 将 float 型数组指定索引的值推送至栈顶 |

| 0x31 | daload | 将 double 型数组指定索引的值推送至栈顶 |

| 0x32 | aaload | 将引用型数组指定索引的值推送至栈顶 |

| 0x33 | baload | 将 boolean 或 byte 型数组指定索引的值推送至栈顶 |

| 0x34 | caload | 将 char 型数组指定索引的值推送至栈顶 |

| 0x35 | saload | 将 short 型数组指定索引的值推送至栈顶 |

| 0x36 | istore | 将栈顶 int 型数值存入指定本地变量 |

| 0x37 | lstore | 将栈顶 long 型数值存入指定本地变量 |

| 0x38 | fstore | 将栈顶 float 型数值存入指定本地变量 |

| 0x39 | dstore | 将栈顶 double 型数值存入指定本地变量 |

| 0x3a | astore | 将栈顶引用型数值存入指定本地变量 |

| 0x3b | istore_0 | 将栈顶 int 型数值存入第一个本地变量 |

| 0x3c | istore_1 | 将栈顶 int 型数值存入第二个本地变量 |

| 0x3d | istore_2 | 将栈顶 int 型数值存入第三个本地变量 |

| 0x3e | istore_3 | 将栈顶 int 型数值存入第四个本地变量 |

| 0x3f | lstore_0 | 将栈顶 long 型数值存入第一个本地变量 |

| 0x40 | lstore_1 | 将栈顶 long 型数值存入第二个本地变量 |

| 0x41 | lstore_2 | 将栈顶 long 型数值存入第三个本地变量 |

| 0x42 | lstore_3 | 将栈顶 long 型数值存入第四个本地变量 |

| 0x43 | fstore_0 | 将栈顶 float 型数值存入第一个本地变量 |

| 0x44 | fstore_1 | 将栈顶 float 型数值存入第二个本地变量 |

| 0x45 | fstore_2 | 将栈顶 float 型数值存入第三个本地变量 |

| 0x46 | fstore_3 | 将栈顶 float 型数值存入第四个本地变量 |

| 0x47 | dstore_0 | 将栈顶 double 型数值存入第一个本地变量 |

| 0x48 | dstore_1 | 将栈顶 double 型数值存入第二个本地变量 |

| 0x49 | dstore_2 | 将栈顶 double 型数值存入第三个本地变量 |

| 0x4a | dstore_3 | 将栈顶 double 型数值存入第四个本地变量 |

| 0x4b | astore_0 | 将栈顶引用型数值存入第一个本地变量 |

| 0x4c | astore_1 | 将栈顶引用型数值存入第二个本地变量 |

| 0x4d | astore_2 | 将栈顶引用型数值存入第三个本地变量 |

| 0x4e | astore_3 | 将栈顶引用型数值存入第四个本地变量 |

| 0x4f | iastore | 将栈顶 int 型数值存入指定数组的指定索引位置 |

| 0x50 | lastore | 将栈顶 long 型数值存入指定数组的指定索引位置 |

| 0x51 | fastore | 将栈顶 float 型数值存入指定数组的指定索引位置 |

| 0x52 | dastore | 将栈顶 double 型数值存入指定数组的指定索引位置 |

| 0x53 | aastore | 将栈顶引用型数值存入指定数组的指定索引位置 |

| 0x54 | bastore | 将栈顶 boolean 或 byte 型数值存入指定数组的指定索引位置 |

| 0x55 | castore | 将栈顶 char 型数值存入指定数组的指定索引位置 |

| 0x56 | sastore | 将栈顶 short 型数值存入指定数组的指定索引位置 |

| 0x57 | pop | 将栈顶数值弹出（数值不能是 long 或 double 类型） |

| 0x58 | pop_2 | 将栈顶的一个（对于 long 或 double 类型）或两个数值（对于非 long 或 double 的其他类型）弹出 |

| 0x59 | dup | 复制栈顶数值并将复制值压入栈顶 |

| 0x5a | dup_x1 | 复制栈顶数值并将两个复制值压入栈顶 |

| 0x5b | dup_x2 | 复制栈顶数值并将三个（或两个）复制值压入栈顶 |

| 0x5c | dup_2 | 复制栈顶一个（对于 long 或 double 类型）或两个（非 long 或 double 的其他类型）数值并将复制值压入栈顶） |

| 0x5d | dup_2_x1 | dup_x1 指令的双倍版本 |

| 0x5e | dup_2_x2 | dup_x2 指令的双倍版本 |

| 0x5f | swap | 将栈最顶端的两个数值互换（数值不能是 long 或 double 类型） |

| 0x60 | iadd | 将栈顶两 int 型数值相加并将结果压入栈顶 |

| 0x61 | ladd | 将栈顶两 long 型数值相加并将结果压入栈顶 |

| 0x62 | fadd | 将栈顶两 float 型数值相加并将结果压入栈顶 |

| 0x63 | dadd | 将栈顶两 double 型数值相加并将结果压入栈顶 |

| 0x64 | isub | 将栈顶两 int 型数值相减并将结果压入栈顶 |

| 0x65 | lsub | 将栈顶两 long 型数值相减并将结果压入栈顶 |

| 0x66 | fsub | 将栈顶两 float 型数值相减并将结果压入栈顶 |

| 0x67 | dsub | 将栈顶两 double 型数值相减并将结果压入栈顶 |

| 0x68 | imul | 将栈顶两 int 型数值相乘并将结果压入栈顶 |

| 0x69 | lmul | 将栈顶两 long 型数值相乘并将结果压入栈顶 |

| 0x6a | fmul | 将栈顶两 float 型数值相乘并将结果压入栈顶 |

| 0x6b | dmul | 将栈顶两 double 型数值相乘并将结果压入栈顶 |

| 0x6c | idiv | 将栈顶两 int 型数值相除并将结果压入栈顶 |

| 0x6d | ldiv | 将栈顶两 long 型数值相除并将结果压入栈顶 |

| 0x6e | fdiv | 将栈顶两 float 型数值相除并将结果压入栈顶 |

| 0x6f | ddiv | 将栈顶两 double 型数值相除并将结果压入栈顶 |

| 0x70 | irem | 将栈顶两 int 型数值作取模运算并将结果压入栈顶 |

| 0x71 | lrem | 将栈顶两 long 型数值作取模运算并将结果压入栈顶 |

| 0x72 | frem | 将栈顶两 float 型数值作取模运算并将结果压入栈顶 |

| 0x73 | drem | 将栈顶两 double 型数值作取模运算并将结果压入栈顶 |

| 0x74 | ineg | 将栈顶两 int 型数值作负并将结果压入栈顶 |

| 0x75 | lneg | 将栈顶两 long 型数值作负并将结果压入栈顶 |

| 0x76 | fneg | 将栈顶两 float 型数值作负并将结果压入栈顶 |

| 0x77 | dneg | 将栈顶两 double 型数值作负并将结果压入栈顶 |

| 0x78 | ishl | 将栈顶两 int 型数值左移位指定位数并将结果压入栈顶 |

| 0x79 | lshl | 将栈顶两 long 型数值左移位指定位数并将结果压入栈顶 |

| 0x7a | ishr | 将栈顶两 int 型数值右（带符号）移位指定位数并将结果压入栈顶 |

| 0x7b | lshr | 将栈顶两 long 型数值右（带符号）移位指定位数并将结果压入栈顶 |

| 0x7c | iushr | 将栈顶两 int 型数值右（无符号）移位指定位数并将结果压入栈顶 |

| 0x7d | lushr | 将栈顶两 long 型数值右（无符号）移位指定位数并将结果压入栈顶 |

| 0x7e | iand | 将栈顶两 int 型数值作 “按位与” 并将结果压入栈顶 |

| 0x7f | land | 将栈顶两 long 型数值作 “按位与” 并将结果压入栈顶 |

| 0x80 | ior | 将栈顶两 int 型数值作 “按位或” 并将结果压入栈顶 |

| 0x81 | lor | 将栈顶两 long 型数值作 “按位或” 并将结果压入栈顶 |

| 0x82 | ixor | 将栈顶两 int 型数值作 “按位异或” 并将结果压入栈顶 |

| 0x83 | lxor | 将栈顶两 long 型数值作 “按位异或” 并将结果压入栈顶 |

| 0x84 | iinc | 将栈顶 int 型变量增加指定值（如i++， i–， i+=2等） |

| 0x85 | i2l | 将栈顶 int 型数值强制转成 long 型数值并将结果压入栈顶 |

| 0x86 | i2f | 将栈顶 int 型数值强制转成 float 型数值并将结果压入栈顶 |

| 0x87 | i2d | 将栈顶 int 型数值强制转成 double 型数值并将结果压入栈顶 |

| 0x88 | l2i | 将栈顶 long 型数值强制转成 int 型数值并将结果压入栈顶 |

| 0x89 | l2f | 将栈顶 long 型数值强制转成 float 型数值并将结果压入栈顶 |

| 0x8a | l2d | 将栈顶 long 型数值强制转成 double 型数值并将结果压入栈顶 |

| 0x8b | f2i | 将栈顶 float 型数值强制转成 int 型数值并将结果压入栈顶 |

| 0x8c | f2l | 将栈顶 float 型数值强制转成 long 型数值并将结果压入栈顶 |

| 0x8d | f2d | 将栈顶 float 型数值强制转成 double 型数值并将结果压入栈顶 |

| 0x8e | d2i | 将栈顶 double 型数值强制转成 int 型数值并将结果压入栈顶 |

| 0x8f | d2l | 将栈顶 double 型数值强制转成 long 型数值并将结果压入栈顶 |

| 0x90 | d2f | 将栈顶 double 型数值强制转成 float 型数值并将结果压入栈顶 |

| 0x91 | i2b | 将栈顶 int 型数值强制转成 byte 型数值并将结果压入栈顶 |

| 0x92 | i2c | 将栈顶 int 型数值强制转成 char 型数值并将结果压入栈顶 |

| 0x93 | i2s | 将栈顶 int 型数值强制转成 short 型数值并将结果压入栈顶 |

| 0x94 | lcmp | 比较栈顶两 long 型数值的大小，并将结果（1， 0 或 -1）压入栈顶 |

| 0x95 | fcmpl | 比较栈顶两 float 型数值的大小，并将结果（1， 0 或 -1）压入栈顶; 当其中一个数值为 “NaN” 时，将 -1 压入栈顶 |

| 0x96 | fcmpg | 比较栈顶两 float 型数值的大小，并将结果（1， 0 或 -1）压入栈顶; 当其中一个数值为 “NaN” 时，将 1 压入栈顶 |

| 0x97 | dcmpl | 比较栈顶两 double 型数值的大小，并将结果（1， 0 或 -1）压入栈顶; 当其中一个数值为 “NaN” 时，将 -1 压入栈顶 |

| 0x98 | dcmpg | 比较栈顶两 double 型数值的大小，并将结果（1， 0 或 -1）压入栈顶; 当其中一个数值为 “NaN” 时，将 1 压入栈顶 |

| 0x99 | ifeg | 当栈顶 i

必看视频！获取2024年最新Java开发全套学习资料备注Java

nt 型数值等于 0 时跳转 |

| 0x9a | ifne | 当栈顶 int 型数值不等于 0 时跳转 |

| 0x9b | iflt | 当栈顶 int 型数值小于 0 时跳转 |

| 0x9c | ifge | 当栈顶 int 型数值大于或等于 0 时跳转 |

| 0x9d | ifgt | 当栈顶 int 型数值大于 0 时跳转 |

| 0x9e | ifle | 当栈顶 int 型数值小于或等于 0 时跳转 |

| 0x9f | if_icmpeq | 比较栈顶两 int 型数值的大小，当结果等于 0 时跳转 |

| 0xa0 | if_icmpne | 比较栈顶两 int 型数值的大小，当结果不等于 0 时跳转 |

| 0xa1 | if_icmplt | 比较栈顶两 int 型数值的大小，当结果小于 0 时跳转 |

| 0xa2 | if_icmpge | 比较栈顶两 int 型数值的大小，当结果大于或等于 0 时跳转 |

| 0xa3 | if_icmpgt | 比较栈顶两 int 型数值的大小，当结果大于 0 时跳转 |

| 0xa4 | if_icmple | 比较栈顶两 int 型数值的大小，当结果小于或等于 0 时跳转 |

| 0xa5 | if_icmpeq | 比较栈顶两引用型数值，当结果相等时跳转 |

| 0xa6 | if_icmpnc | 比较栈顶两引用型数值，当结果不相等时跳转 |

| 0xa7 | goto | 无条件跳转 |

| 0xa8 | jsr | 跳转至指定的 16 位 offset 位置，并将 jsr 的下一条指令地址压入栈顶 |

| 0xa9 | ret | 返回至本地变量指定的 index 的指令位置（一般与 jsr 或 jsr_w 联合使用） |

| 0xaa | tableswitch | 用于 switch 条件跳转， case 值连续（可变长度指令） |

| 0xab | lookupswitch | 用于 switch 条件跳转， case 值连不续（可变长度指令） |

| 0xac | ireturn | 从当前方法返回 int |

| 0xad | lreturn | 从当前方法返回 long |

| 0xae | freturn | 从当前方法返回 float |

| 0xaf | dreturn | 从当前方法返回 double |

| 0xb0 | areturn | 从当前方法返回对象引用 |

| 0xb1 | return | 从当前方法返回 void |

| 0xb2 | getstatic | 获取指定类的静态域，并将其值压入栈顶 |

| 0xb3 | putstatic | 为指定的类的静态域赋值 |

| 0xb4 | getfield | 获取指定类的实例域，并将其值压入栈顶 |

| 0xb5 | putfield | 为指定的类的实例域赋值 |

| 0xb6 | invokevirtual | 调用实例方法 |

| 0xb7 | invokespecial | 调用超类构造方法，实例初始化方法，私有方法 |

| 0xb8 | invokestatic | 调用静态方法 |

| 0xb9 | invokeinterface | 调用接口方法 |

| 0xba | invokedynamic | 调用动态方法 |

| 0xbb | new | 创建一个对象，并将其引用值压入栈顶 |

| 0xbc | newarray | 创建一个指定的原始类型（如 int， float等）的数组，并将其引用值压入栈顶 |

| 0xbd | anewarray | 创建一个引用型（如类，接口，数组）的数组，并将其引用值压入栈顶 |

| 0xbe | arraylength | 获得数组的长度值并压入栈顶 |

| 0xbf | athrow | 将栈顶的异常抛出 |

| 0xc0 | checkcast | 检验类型转换，检验未通过将抛出 ClassCastException |

| 0xc1 | instanceof | 检验对象是否时指定类的实例，如果是，则将 1 压入栈顶，否则将 0 压入栈顶 |

| 0xc2 | monitorenter | 获得对象的锁，用于同步方法或同步块 |

| 0xc3 | monitorexit | 释放对象的锁，用于同步方法或同步块 |

| 0xc4 | wide | 扩展本地变量的宽度 |

| 0xc5 | multianewarray | 创建指定类型和指定维度的多维数组（执行该指令时，操作栈中必须包含各维度的长度值），并将其引用值压入栈顶 |

| 0xc6 | ifnull | 为 null 时跳转 |

| 0xc7 | ifnonnull | 不为 null 时跳转 |

| 0xc8 | goto_w | 无条件跳转（宽索引） |

| 0xc9 | jsr_w | 跳转至指定的 32 位 offset 位置，并将 jsr_w 的下一条指令地址压入栈顶 |

数据类型在指令中的转化

| :-: | :-: | :-: | :-: | :-: | :-: | :-: | :-: | :-: |

| 简化转化 | b | s | i | l | f | d | c | a |

指令集支持的数据类型

下面表格中T+指令构成 opcode, T 为上面表格各数据类型的简化转化。

| :-: | :-: | :-: | :-: | :-: | :-: | :-: | :-: | :-: |

| Tor | | | ior | lor | | | | |

| i2T | i2b | i2s | | i2l | i2f | i2d | | |

| l2T | | | l2i | | l2f | l2d | | |

| f2T | | | f2i | f2l | | f2d | | |

| d2T | | | d2i | d2l | d2f | | | |

大部分指令没有支持 byte，char 和 short 甚至是 boolean，编译器会在编译器或者运行期把这类数据扩展为 int 类型数据。

加载/存储指令

最后

既已说到spring cloud alibaba，那对于整个微服务架构，如果想要进一步地向上提升自己，到底应该掌握哪些核心技能呢？

就个人而言，对于整个微服务架构，像RPC、Dubbo、Spring Boot、Spring Cloud Alibaba、Docker、kubernetes、Spring Cloud Netflix、Service Mesh等这些都是最最核心的知识，架构师必经之路！下图，是自绘的微服务架构路线体系大纲，如果有还不知道自己该掌握些啥技术的朋友，可根据小编手绘的大纲进行一个参考。

如果觉得图片不够清晰，也可来找小编分享原件的xmind文档！

且除此份微服务体系大纲外，我也有整理与其每个专题核心知识点对应的最强学习笔记：

出神入化——SpringCloudAlibaba.pdf
SpringCloud微服务架构笔记（一）.pdf
SpringCloud微服务架构笔记（二）.pdf
SpringCloud微服务架构笔记（三）.pdf
SpringCloud微服务架构笔记（四）.pdf
Dubbo框架RPC实现原理.pdf
Dubbo最新全面深度解读.pdf
Spring Boot学习教程.pdf
SpringBoo核心宝典.pdf
第一本Docker书-完整版.pdf
使用SpringCloud和Docker实战微服务.pdf
K8S(kubernetes)学习指南.pdf

另外，如果不知道从何下手开始学习呢，小编这边也有对每个微服务的核心知识点手绘了其对应的知识架构体系大纲，不过全是导出的xmind文件，全部的源文件也都在此！

| | if_acopOP |

大部分指令没有支持 byte，char 和 short 甚至是 boolean，编译器会在编译器或者运行期把这类数据扩展为 int 类型数据。

加载/存储指令

最后

既已说到spring cloud alibaba，那对于整个微服务架构，如果想要进一步地向上提升自己，到底应该掌握哪些核心技能呢？

[外链图片转存中…(img-mAkCCTys-1716458537133)]

如果觉得图片不够清晰，也可来找小编分享原件的xmind文档！

且除此份微服务体系大纲外，我也有整理与其每个专题核心知识点对应的最强学习笔记：

出神入化——SpringCloudAlibaba.pdf
SpringCloud微服务架构笔记（一）.pdf
SpringCloud微服务架构笔记（二）.pdf
SpringCloud微服务架构笔记（三）.pdf
SpringCloud微服务架构笔记（四）.pdf
Dubbo框架RPC实现原理.pdf
Dubbo最新全面深度解读.pdf
Spring Boot学习教程.pdf
SpringBoo核心宝典.pdf
第一本Docker书-完整版.pdf
使用SpringCloud和Docker实战微服务.pdf
K8S(kubernetes)学习指南.pdf

[外链图片转存中…(img-LokLzMKs-1716458537134)]

[外链图片转存中…(img-sKqulcBg-1716458537134)]

2401_84584289

关注

18
点赞
踩
18

收藏

觉得还不错? 一键收藏
0
评论
Java字节码「随身手册」

既已说到spring cloud alibaba，那对于整个微服务架构，如果想要进一步地向上提升自己，到底应该掌握哪些核心技能呢？就个人而言，对于整个微服务架构，像RPC、Dubbo、Spring Boot、Spring Cloud Alibaba、Docker、kubernetes、Spring Cloud Netflix、Service Mesh等这些都是最最核心的知识，架构师必经之路！下图，是自绘的微服务架构路线体系大纲，如果有还不知道自己该掌握些啥技术的朋友，可根据小编手绘的大纲进行一个参考。
复制链接

扫一扫