1.1 Java 字节码简介
Java 字节码由单字节(byte)的指令组成,实践上最多反对 256 个操作码(opcode)。实际上 Java 只应用了200左右的操作码, 还有一些操作码则保留给调试操作。
依据指令的性质,次要分为四个大类:
1.栈操作指令,包含与局部变量交互的指令
2.程序流程控制指令
3.对象操作指令,包含办法调用指令
4.算术运算以及类型转换指令字节码的运行时构造:
JVM 基于栈的计算模型每个线程都有一个独属于本人的线程栈(JVM Stack),用于存储栈帧(Stack Frame)。
每一次办法调用,JVM 都会主动创立一个栈帧。每当为 Java 办法调配栈桢时,JVM 须要开拓一块额定的空间作为操作数栈,来寄存计算的操作数以及返回后果。栈桢的组成部分:
1.局部变量表 (Local Variables)
2.操作数栈 (Operand Stack)
3.动静链接 (Dynamic Linking)
4.办法返回地址 (Return Address)下图所示:
操作码(指令)由类型前缀类型前缀和操作名称两局部组成,例如: iadd 操作码,i 代表 Integer 类型,add 代表加法操作, 所以 iadd 就是整数类型数据的加法操作。
1.2 Java 字节码文件构造简述
字节码文件构造
1.3 字节码文件剖析
以下字节码剖析都是基于 HelloByteCode.java 应用 javap 反编译之后来开展。
(1) 类信息与常量池信息
Classfile /D:/lesson01/bytecode/HelloByteCode.class Last modified Jan 9, 2021; size 1888 bytes MD5 checksum d0225425f9a99537afc8664fa6125129 Compiled from "HelloByteCode.java"public class lesson01.bytecode.HelloByteCode minor version: 0 major version: 52 flags: ACC_PUBLIC, ACC_SUPERConstant pool: #1 = Methodref #7.#60 // java/lang/Object."<init>":()V #2 = Fieldref #61.#62 // java/lang/System.out:Ljava/io/PrintStream; #3 = String #32 // myMethod #4 = Methodref #63.#64 // java/io/PrintStream.println:(Ljava/lang/String;)V #5 = String #33 // myStaticMethod #6 = String #65 // sum = %d, division = %d, multiplication = %d, sub = %d%n #7 = Class #66 // java/lang/Object #8 = Methodref #67.#68 // java/lang/Integer.valueOf:(I)Ljava/lang/Integer; #9 = Methodref #63.#69 // java/io/PrintStream.printf:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/io/PrintStream; #10 = Long 6000000l #12 = Float 3.14f复制代码
- minor version 与 major version: 字节码格局版本号,52.0 = JDK8
- flags: 拜访权限润饰与属性
- ACC_PUBLIC 示意以后类的拜访润饰是 public
- ACC_SUPER 是历史起因, JDK1.0 的BUG修改中引入 ACC_SUPER 标记来修改 invokespecial 指令调用 super 类办法的问题,从 Java 1.1 开始, 编译器个别都会主动生成 ACC_SUPER 标记。
- Constant pool: 常量池
1、#2: 这些示意常量池成员的编号,常量池成员能够存储字符串、整数、浮点数、符号援用、常量编号(索引值)
- Methodref、Fieldref、String等: 用于阐明此常量位存储的是什么类型的数据,例如 Methodref 代表这个常量指向的是一个办法
(2) 办法信息
public double myPublicMethod(int, double, java.lang.String); descriptor: (IDLjava/lang/String;)D flags: ACC_PUBLIC Code: stack=4, locals=5, args_size=4 0: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream; 3: new #3 // class java/lang/StringBuilder 6: dup 7: invokespecial #4 // Method java/lang/StringBuilder."<init>":()V 10: ldc #5 // String myPublicMethod, x = 12: invokevirtual #6 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder; 15: iload_1 16: invokevirtual #7 // Method java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder; 19: ldc #8 // String , d = 21: invokevirtual #6 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder; 24: dload_2 25: invokevirtual #9 // Method java/lang/StringBuilder.append:(D)Ljava/lang/StringBuilder; 28: ldc #10 // String , str = 30: invokevirtual #6 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder; 33: aload 4 35: invokevirtual #6 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder; 38: invokevirtual #11 // Method java/lang/StringBuilder.toString:()Ljava/lang/String; 41: invokevirtual #12 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 44: iload_1 45: i2d 46: dload_2 47: dadd 48: dreturn LineNumberTable: line 12: 0 line 13: 44 LocalVariableTable: Start Length Slot Name Signature 0 49 0 this Llesson01/bytecode/HelloByteCode; 0 49 1 x I 0 49 2 d D 0 49 4 str Ljava/lang/String;复制代码
- descriptor: 办法形容
(IDLjava/lang/String;)D
- 小括号内的为形参参数类型形容,小括号左边的是办法返回值类型形容。
- 下括号内 I 代表第一个参数为 int 类型,D 代表第二个参数为 double 类型。L 代表第三个参数是对象类型,java/lang/String 代表是 String 类型对象。
- 小括号左边的 D 代表办法的返回值为 double 类型。
- flags: 拜访权限修饰符,ACC_PUBLIC 代表 public 办法,ACC_STATIC 代表静态方法。
- Code: 源代码对应的 JVM 操作码和操作数区域。在进行字节码加强时重点操作的就是 Code 区这一部分。
- 操作码右边的数字代表以后操作码在字节码二进制文件中的字节地位
- stack: 执行该办法时须要的栈深度
- locals: 须要在局部变量表中保留多少个槽位
args_size: 办法的参数个数
- 此示例有3个形参,然而 args_size 是 4,这是因为非静态方法有 this 援用,this 被调配在局部变量表的第0号槽位中
- LineNumberTable: 行号表
- 将 Code 区的操作码和源代码中的行号对应,Debug 的时候能够通过行号表来看源代码执行一行时须要执行多少个 JVM 操作码
- 例如 line 12: 0 ,12代表源代码的行号,0代表 Code 区操作码的行号
- LocalVariableTable: 局部变量表
- 其中蕴含了办法的参数,以及在办法体内定义的局部变量。
- 元素个数等于 args_size
Start 和 Length: 代表以后局部变量或办法参数在 Code 操作码区中的作用域范畴
- 例如以后示例 start 为0,length 为49代表该变量的作用域从0始终到48,也就是整个办法体。
- Slot: 槽位,从0开始,如果拜访的是64位数据类型变量(例如: long类型变量,double类型变量)会占用2个槽位。
- Name: 变量名
- Signature: 变量类型形容
(3) 根本数据类型变量定义
Constant pool: #22 = Long 6000000l #24 = Float 3.14f #25 = Double 4125.5647d public static void main(java.lang.String[]); descriptor: ([Ljava/lang/String;)V flags: ACC_PUBLIC, ACC_STATIC Code: stack=7, locals=15, args_size=1 0: bipush 10 2: istore_1 3: bipush 50 5: istore_2 .... 其余省略 72: iconst_5 73: istore 7 75: ldc2_w #22 // long 6000000l 78: lstore 8 80: ldc #24 // float 3.14f 82: fstore 10 84: ldc2_w #25 // double 4125.5647d 87: dstore 11 89: iconst_1 90: istore 13 .... 其余省略 246: return LocalVariableTable: Start Length Slot Name Signature 162 18 14 i I 0 247 0 args [Ljava/lang/String; 3 244 1 x I 6 241 2 y I 13 234 3 sum I 18 229 4 division I 23 224 5 multiplication I 28 219 6 sub I 75 172 7 b B 80 167 8 l J 84 163 10 f F 89 158 11 d D 92 155 13 bool Z 233 14 14 helloByteCode Llesson01/bytecode/HelloByteCode;复制代码
0行: 将常量10压入操作数栈的栈顶中
2行: 将栈顶 int 类型的值保留到槽位为1的局部变量中,也就是把常量10赋值给变量 x
3行: 将常量50压入操作数栈的栈顶中
5行: 将栈顶 int 类型的值保留到槽位为2的局部变量中,也就是把常量10赋值给变量 y 72行: 将常量5压入操作数栈的栈顶中
73行: 将栈顶 int 类型的值保留到槽位为7的局部变量中,也就是把常量5赋值给变量 b
75行: 将常量编号为22的 long 类型的常量值压入操作数栈的栈顶中
78行: 将栈顶 long 类型的值保留到槽位为8的局部变量中,也就是把常量6000000赋值给变量 l
80行: 将常量编号为24的 float 类型常量值压入操作数栈的栈顶中
82行: 将栈顶 float 类型的值保留到槽位为10的局部变量中
84行: 将常量编号为25的 double 类型常量值压入操作数栈的栈顶中
87行: 将栈顶 double 类型的值保留到槽位为11的局部变量中(4) 创建对象与对象初始化
Constant pool: #36 = Class #121 // lesson01/bytecode/HelloByteCode #37 = Methodref #36.#86 // lesson01/bytecode/HelloByteCode."<init>":()V #41 = Utf8 <init> #42 = Utf8 ()V #86 = NameAndType #41:#42 // "<init>":()V #121 = Utf8 lesson01/bytecode/HelloByteCode public static void main(java.lang.String[]); descriptor: ([Ljava/lang/String;)V flags: ACC_PUBLIC, ACC_STATIC Code: stack=7, locals=15, args_size=1 .... 其余省略 224: new #36 // class lesson01/bytecode/HelloByteCode 227: dup 228: invokespecial #37 // Method "<init>":()V 231: astore 14 .... 其余省略 246: return LocalVariableTable: Start Length Slot Name Signature 162 18 14 i I 0 247 0 args [Ljava/lang/String; 3 244 1 x I 6 241 2 y I 13 234 3 sum I 18 229 4 division I 23 224 5 multiplication I 28 219 6 sub I 75 172 7 b B 80 167 8 l J 84 163 10 f F 89 158 11 d D 92 155 13 bool Z 233 14 14 helloByteCode Llesson01/bytecode/HelloByteCode;复制代码
224行: 创立一个 HelloByteCode 对象, 并将其援用的援用值压入操作数栈的栈顶中,此时没有调用构造函数,所以对象没有初始化。
227行: 复制栈顶的 对象援用值 并将复制值压入操作数栈的栈顶中
228行: 调用 HelloByteCode 的无参构造函数 231行: 将栈顶的援用类型数值保留到槽位为14的局部变量中为什么创建对象时须要 dup 指令?
应用 invokespecial 命令会从操作数堆栈中弹出 nargs 参数值和 objectref ,正是因为须要调用这个函数才导致两头必须要有一个 dup 指令,不然调用完 办法当前,操作数栈为空,就再也找不回刚刚创立的对象了。下图所示:
(5) 算术运算
public static void main(java.lang.String[]); descriptor: ([Ljava/lang/String;)V flags: ACC_PUBLIC, ACC_STATIC Code: stack=7, locals=15, args_size=1 .... 其余省略 6: iload_1 7: iload_2 8: iadd 9: bipush 60 11: iadd 12: istore_3 13: iload_2 14: iload_1 15: idiv 16: istore 4 18: iload_1 19: iload_2 20: imul 21: istore 5 23: iload_2 .... 其余省略 246: return LocalVariableTable: Start Length Slot Name Signature 162 18 14 i I 0 247 0 args [Ljava/lang/String; 3 244 1 x I 6 241 2 y I 13 234 3 sum I 18 229 4 division I 23 224 5 multiplication I 28 219 6 sub I 75 172 7 b B 80 167 8 l J 84 163 10 f F 89 158 11 d D 92 155 13 bool Z 233 14 14 helloByteCode Llesson01/bytecode/HelloByteCode;复制代码
6行: 将局部变量表中槽位为1的变量值压入操作数栈的栈顶中
7行: 将局部变量表中槽位为2的变量值压入操作数栈的栈顶中
8行: 将栈顶两个 int 型数值相加并将后果压入栈顶
9行: 将常量60压入栈顶
11行: 将栈顶两个 int 型数值相加并将后果压入栈顶,此时栈顶的值就是 x + y + 60
12行: 将栈顶的值保留到槽位为3的局部变量中
其余算术操作相似,以此类推。(6) 数组创立与元素拜访
public static void main(java.lang.String[]); descriptor: ([Ljava/lang/String;)V flags: ACC_PUBLIC, ACC_STATIC Code: stack=7, locals=18, args_size=1 .... 其余省略 145: iconst_5 146: newarray int 148: dup 149: iconst_0 150: iconst_1 151: iastore 152: dup 153: iconst_1 154: bipush 7 156: iastore 157: dup 158: iconst_2 159: sipush 220 162: iastore 163: dup 164: iconst_3 165: bipush 50 167: iastore 168: dup 169: iconst_4 170: sipush 1000 173: iastore 174: astore 14 176: aload 14 178: iconst_0 179: iaload 180: istore 15 .... 其余省略 246: return LocalVariableTable: Start Length Slot Name Signature 244 26 16 i I 249 21 17 len I 0 335 0 args [Ljava/lang/String; 3 332 1 x I 6 329 2 y I 13 322 3 sum I 18 317 4 division I 23 312 5 multiplication I 28 307 6 sub I 75 260 7 b B 80 255 8 l J 84 251 10 f F 89 246 11 d D 92 243 13 bool Z 176 159 14 iArr [I 182 153 15 elementValue I 321 14 16 helloByteCode Llesson01/bytecode/HelloByteCode;复制代码
145行: 将 int 类型5压入栈顶
146行: 先从栈弹出获取栈顶的值,获取到5,而后创立5个 int 类型元素的数组对象,并把该数组对象的援用值压入栈顶
148行: 复制栈顶的 数组对象援用值 并将复制值压入栈顶
149行: 将 int 类型0压入栈顶,该值为数组下标
150行: 将 int 类型1压入栈顶,该值为要存入数组的元素值
151行: 从操作数栈弹出三个值,别离是要存入的元素值、数组下标、数组的对象援用,并将元素值存入数组对应的下标中
152行: 因为 iastore 指令会弹出数组的援用,所以要复制一下数组的援用并压入栈顶,供后续数组操作应用
153行 - 173行: 与上述操作逻辑雷同,将元素值存入数组中,此处省略详细分析
174行: 将栈顶的 数组对象援用 保留到槽位为14的局部变量中,也就是将数组援用赋值给局部变量 iArr
176行: 将槽位为14的局部变量援用值压入栈顶,也就是将 iArr 数组援用压入栈顶
178行: 将 int 类型0压入栈顶,此值为数组的下标
179行: 从栈顶弹出获取2个值,数组下标值和数组对象援用,在从数组中获取到该下标的元素值并压入栈顶
180行: 将栈顶 int 类型数组元素值保留到槽位为15的局部变量中,也就是将数组下标为0的元素值赋值给局部变量 elementValue(7) 流程控制指令
if else 语句:
Constant pool: #2 = Fieldref #94.#95 // java/lang/System.out:Ljava/io/PrintStream; #3 = Class #96 // java/lang/StringBuilder #4 = Methodref #3.#93 // java/lang/StringBuilder."<init>":()V #6 = Methodref #3.#98 // java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder; #7 = Methodref #3.#99 // java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder; #11 = Methodref #3.#103 // java/lang/StringBuilder.toString:()Ljava/lang/String; #12 = Methodref #104.#105 // java/io/PrintStream.println:(Ljava/lang/String;)V #33 = String #125 // x = 10 #34 = String #126 // x = 20 #35 = String #127 // x = #43 = Utf8 <init> #44 = Utf8 ()V #93 = NameAndType #43:#44 // "<init>":()V #94 = Class #132 // java/lang/System #95 = NameAndType #133:#134 // out:Ljava/io/PrintStream; #96 = Utf8 java/lang/StringBuilder #98 = NameAndType #135:#136 // append:(Ljava/lang/String;)Ljava/lang/StringBuilder; #99 = NameAndType #135:#137 // append:(I)Ljava/lang/StringBuilder; #103 = NameAndType #139:#140 // toString:()Ljava/lang/String; #104 = Class #141 // java/io/PrintStream #105 = NameAndType #142:#143 // println:(Ljava/lang/String;)V #125 = Utf8 x = 10 #126 = Utf8 x = 20 #127 = Utf8 x = #132 = Utf8 java/lang/System #133 = Utf8 out #134 = Utf8 Ljava/io/PrintStream; #135 = Utf8 append #136 = Utf8 (Ljava/lang/String;)Ljava/lang/StringBuilder; #137 = Utf8 (I)Ljava/lang/StringBuilder; #138 = Utf8 (D)Ljava/lang/StringBuilder; #139 = Utf8 toString #140 = Utf8 ()Ljava/lang/String; #141 = Utf8 java/io/PrintStream #142 = Utf8 println #143 = Utf8 (Ljava/lang/String;)V public static void main(java.lang.String[]); descriptor: ([Ljava/lang/String;)V flags: ACC_PUBLIC, ACC_STATIC Code: stack=7, locals=18, args_size=1 .... 其余省略 182: iload_1 183: bipush 10 185: if_icmpne 199 188: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream; 191: ldc #33 // String x = 10 193: invokevirtual #12 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 196: goto 275 199: iload_1 200: bipush 20 202: if_icmple 216 205: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream; 208: ldc #34 // String x > 20 210: invokevirtual #12 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 213: goto 275 216: iload_1 217: bipush 50 219: if_icmpge 233 222: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream; 225: ldc #35 // String x < 50 227: invokevirtual #12 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 230: goto 275 233: iload_1 234: bipush 60 236: if_icmplt 250 239: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream; 242: ldc #36 // String x >= 60 244: invokevirtual #12 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 247: goto 275 250: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream; 253: new #3 // class java/lang/StringBuilder 256: dup 257: invokespecial #4 // Method java/lang/StringBuilder."<init>":()V 260: ldc #37 // String x = 262: invokevirtual #6 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder; 265: iload_1 266: invokevirtual #7 // Method java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder; 269: invokevirtual #11 // Method java/lang/StringBuilder.toString:()Ljava/lang/String; 272: invokevirtual #12 // Method java/io/PrintStream.println:(Ljava/lang/String;)V .... 其余省略 246: return LocalVariableTable: Start Length Slot Name Signature 278 26 16 i I 283 21 17 len I 0 371 0 args [Ljava/lang/String; 3 368 1 x I 6 365 2 y I 13 358 3 sum I 18 353 4 division I 23 348 5 multiplication I 28 343 6 sub I 75 296 7 b B 80 291 8 l J 84 287 10 f F 89 282 11 d D 92 279 13 bool Z 176 195 14 iArr [I 182 189 15 elementValue I 357 14 16 helloByteCode Llesson01/bytecode/HelloByteCode;复制代码
182行: 将槽位为1的局部变量值压入栈顶
183行: 将常量值10压入栈顶
185行: 从栈顶弹出2个 int 类型值而后比拟,如果后果不相等,就跳转到第199行,否则就持续往下执行
188行: 获取 System 的动态字段 out 并将其值退出栈顶中
191行: 把字符串常量 x = 10 压入栈顶
193行: 从栈顶弹出2个值,第一个值是 x = 10 字符串常量,第二个值是 out 动态字段,而后调用 println 办法打印 x = 10
196行: 曾经执行完 if else 代码块,所以跳转到275行,跳出 if else 代码块
199行 - 272行: 执行逻辑雷同,只是 if 的判断指令有所不同。
250行 - 272行: 是应用 StringBuilder 进行字符串常量 "x = " 与 局部变量x进行拼接,而后调用 System 的动态字段 out 的 println 办法打印拼接后的字符串for 语句:
public static void main(java.lang.String[]); descriptor: ([Ljava/lang/String;)V flags: ACC_PUBLIC, ACC_STATIC Code: stack=7, locals=18, args_size=1 .... 其余省略 275: iconst_0 276: istore 16 278: aload 14 280: arraylength 281: istore 17 283: iload 16 285: iload 17 287: if_icmpge 304 290: iload_3 291: aload 14 293: iload 16 295: iaload 296: iadd 297: istore_3 298: iinc 16, 1 301: goto 283 .... 其余省略 246: return LocalVariableTable: Start Length Slot Name Signature 278 26 16 i I 283 21 17 len I 0 371 0 args [Ljava/lang/String; 3 368 1 x I 6 365 2 y I 13 358 3 sum I 18 353 4 division I 23 348 5 multiplication I 28 343 6 sub I 75 296 7 b B 80 291 8 l J 84 287 10 f F 89 282 11 d D 92 279 13 bool Z 176 195 14 iArr [I 182 189 15 elementValue I 357 14 16 helloByteCode Llesson01/bytecode/HelloByteCode;复制代码
275行: 将 int 类型0压入栈顶
276行: 将栈顶值保留到槽位为16的局部变量中,此时槽位为16的局部变量是 i
278行: 将槽位为14的援用变量值压入栈顶,就是 iArr 数组对象
280行: 首先弹出栈顶的数组对象援用值,获取该数组的长度值并压入栈顶
281行: 将栈顶值保留到槽位为17的局部变量中,就是把数组长度保留到局部变量 len
283行: 将槽位为16的局部变量值压入栈顶,局部变量 i 的值
285行: 将槽位为17的局部变量值压入栈顶,局部变量 len 的值 287行: 先从栈中弹出两个操作数,局部变量 len 的值和局部变量 i 的值,比拟 len 和 i,当 len >= i 时则跳转到304行,跳出循环
290行 - 301行: 为 for 循环体相干字节码
290行: 将槽位为3的局部变量值压入栈顶,局部变量 sum 的值
291行: 将槽位为14的局部变量援用值压入栈顶,也就是 iArr 数组对象援用值
293行: 将槽位为16的局部变量 int 类型值压入栈顶,也就是局部变量 i 的值
295行: 先从栈顶弹出两个值,第一个是局部变量 i 的值,第二个是 iArr 数组对象援用值,将 i 的值作为数组下标,取出对应的元素值并压入栈顶
296行: 先从栈顶弹出两个值,第一个是 iArr[i] 的值,第二个是局部变量 sum 的值,并将它们相加,而后把相加后的值压入栈顶
297行: 将栈顶的 int 类型值保留到槽位为3的局部变量中,局部变量 sum 中
298行: 将槽位为16的局部变量值自增1,也就是 i++
301行: 跳转到283行,从新判断循环条件,满足就继续执行循环体,否则跳出循环switch 语句:
public static void main(java.lang.String[]); descriptor: ([Ljava/lang/String;)V flags: ACC_PUBLIC, ACC_STATIC Code: stack=7, locals=18, args_size=1 .... 其余省略 304: iload_2 305: lookupswitch { // 2 10: 332 50: 340 default: 348 } 332: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream; 335: ldc #38 // String y = 10 337: invokevirtual #12 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 340: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream; 343: ldc #39 // String y = 50 345: invokevirtual #12 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 348: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream; 351: ldc #40 // String default 353: invokevirtual #12 // Method java/io/PrintStream.println:(Ljava/lang/String;)V .... 其余省略 246: return LocalVariableTable: Start Length Slot Name Signature 278 26 16 i I 283 21 17 len I 0 379 0 args [Ljava/lang/String; 3 376 1 x I 6 373 2 y I 13 366 3 sum I 18 361 4 division I 23 356 5 multiplication I 28 351 6 sub I 75 304 7 b B 80 299 8 l J 84 295 10 f F 89 290 11 d D 92 287 13 bool Z 176 203 14 iArr [I 182 197 15 elementValue I 365 14 16 helloByteCode Llesson01/bytecode/HelloByteCode;复制代码
304行: 将槽位为2的局部变量值压入栈顶,局部变量 y 的值压入栈顶
305行: 从栈顶弹出获取到局部变量 y 的值,并进行值的匹配,y 的值为10时跳转到332行,y 的值为50时跳转到340行,如果都不匹配执行 default 分支跳转到348行
332行 - 353行: 都是调用不同匹配值的分支,调用 println 打印不同的字符串(8) 办法调用指令和参数传递
Constant pool: #14 = String #109 // Hello #41 = Class #136 // lesson01/bytecode/HelloByteCode #42 = Methodref #41.#96 // lesson01/bytecode/HelloByteCode."<init>":()V #43 = Double 90.0d #45 = Methodref #41.#137 // lesson01/bytecode/HelloByteCode.myPublicMethod:(IDLjava/lang/String;)D #46 = Utf8 <init> #47 = Utf8 ()V #53 = Utf8 myPublicMethod #54 = Utf8 (IDLjava/lang/String;)D #96 = NameAndType #46:#47 // "<init>":()V #109 = Utf8 Hello #136 = Utf8 lesson01/bytecode/HelloByteCode #137 = NameAndType #53:#54 // myPublicMethod:(IDLjava/lang/String;)D public static void main(java.lang.String[]); descriptor: ([Ljava/lang/String;)V flags: ACC_PUBLIC, ACC_STATIC Code: stack=7, locals=18, args_size=1 .... 其余省略 356: new #41 // class lesson01/bytecode/HelloByteCode 359: dup 360: invokespecial #42 // Method "<init>":()V 363: astore 16 365: aload 16 367: bipush 80 369: ldc2_w #43 // double 90.0d 372: ldc #14 // String Hello 374: invokevirtual #45 // Method myPublicMethod:(IDLjava/lang/String;)D 377: pop2 378: return LocalVariableTable: Start Length Slot Name Signature 278 26 16 i I 283 21 17 len I 0 379 0 args [Ljava/lang/String; 3 376 1 x I 6 373 2 y I 13 366 3 sum I 18 361 4 division I 23 356 5 multiplication I 28 351 6 sub I 75 304 7 b B 80 299 8 l J 84 295 10 f F 89 290 11 d D 92 287 13 bool Z 176 203 14 iArr [I 182 197 15 elementValue I 365 14 16 helloByteCode Llesson01/bytecode/HelloByteCode;复制代码
356行: 创立 HelloByteCode 对象,并将对象援用值压入栈顶
359行: 复制栈顶的对象援用值并压入栈顶
360行: 调用 HelloByteCode 的无参构造函数
363行: 将栈顶的 HelloByteCode 对象援用值保留到槽位为16的局部变量中,此时的局部变量曾经是 helloByteCode ,之前同样槽位为16的局部变量 i 超过了作用域,复用了同一个槽位
365行: 将槽位为16的 helloByteCode 局部变量援用值压入栈顶
367行: 将常量值80压入栈顶
369行: 将常量编号为43的浮点型常量值90.0压入栈顶
372行: 将字符串常量值 Hello 压入栈顶
374行: 弹出栈中所有数据调用 HelloByteCode 的 myPublicMethod 办法并将参数传入,执行完后将返回值压入栈顶
377行: 从栈顶将返回值弹出
378行: 办法返回上述的状况是 myPublicMethod 办法有返回值,然而没有局部变量去接管的状况。
myPublicMethod 办法没有返回值的字节码状况:
374: invokevirtual #45 // Method myPublicMethod:(IDLjava/lang/String;)V 377: return复制代码
没有返回值会间接 returnmyPublicMethod 办法有返回值并且也有局部变量接管的字节码状况:
374: invokevirtual #45 // Method myPublicMethod:(IDLjava/lang/String;)D 377: dstore 17 379: return复制代码
有返回值且有局部变量接管,会应用指令将在栈顶的返回值保留到对应的局部变量
1.4 字节码相干 JDK 命令行工具
javac 编译工具
罕用参数:
- -g 在生成的class文件中蕴含所有调试信息(包含局部变量),缺省状况下只生成行号和源文件信息。
- -g:none 不生成任何调试信息
- -g:{关键字列表} 只生成某些类型的调试信息,这些类型由逗号分隔的关键字列表所指定
- -encoding 指定编码
- -verbose 简短输入。它包含了每个所加载的类和每个所编译的源文件的无关信息。
示例: javac -encoding utf-8 -g HelloByteCode.java
javap 查看字节码工具
罕用参数:
- -c 输入合成后的代码,例如,类中每一个办法内,蕴含 java 字节码的指令
- -verbose 输入栈大小,办法参数的个数、局部变量表等
示例: javap -c -verbose HelloByteCode.class
参考:《2020最新Java根底精讲视频教程和学习路线!》
链接:https://juejin.cn/post/692119...