2.字节码指令

2.1 入门

jvm的解释器可以识别平台无关的字节码指令，解释为机器码执行。

 

 

 2a b7  00 01  b1

this .    init（） return

 

准备了System.out对象，准备了参数“hello world”,准备了对象的方法println(String)V，并return

2.2 javap 工具

这里常量池直接把查询结果放在了右边。 

有了javap,终于不用看那狗屎字节码文件了 

这部分是方法信息里的init构造方法。

 main方法

有参数类型，访问类型，方法属性，局部变量表，方法参数信息等等

2.3 图解方法执行流程

1)原始 java 代码

b是Short类型的最大值+1。 

2)编译后的字节码文件

3)常量池载入运行时常量池

java代码执行时会由java虚拟机的类加载器将main方法所在类进行类加载。

类加载就是把class文件里的字节数据读取到内存里面。

运行时常量池是方法区的组成部分

 32768对应的是源代码里面的short.value+1,比较小的数字不会存储在常量池，比如10，10会跟着方法的字节码指令存一起，一旦数字范围超过整数最大值就会存储在常量池中。

4)方法字节码载入方法区

5) main 线程开始运行，分配栈帧内存

绿色区域是局部变量表，蓝色是操作数。字节码指令里面有一个栈的最大深度和局部变量表的长度。这两项决定了栈帧内存大小。

6)执行引擎开始执行字节码

bipush 10

istore_1

 然后a被复制为10，对应操作就是a=10

1dc #3

 istore 2

  

iload1

局部变量表中不能执行a+b的操作，所以，执行引擎会对它们进行一个读取。

iload2

iadd

 iadd操作是将操作数栈中的两个数取出来相加再放回去。

istore 3

给c赋值

 

getstatic #4

这个是到常量池中找一个成员变量的引用。这里是找System.out。找到之后不是把对象放入操作数栈，而是获取引用

 

 iload_3

执行打印需要参数c,所以将局部变量表中c的值32778读入到操作数栈

 

 invokevirtual #5

在常量池中找到5号条目，执行println(I)方法,参数 l 表示整数。

 println方法执行时会找到方法区中新的方法，然后分配一个新的栈帧

执行时会把32778作为参数传递给新的栈帧中作为整数参数完成打印操作。

 return

 2.4练习-分析a++

分析

a++执行的指令是iinc,但是这玩意直接原地拉屎变大，不需要进栈又出栈。

a++是iload先，++a是iinc先

iinc的两个参数，一个是要对哪个槽位做自增，一个是自增多少。

 

 

 

 

 

 

 到这里第一个加法结束了。

 

2.5 条件判断指令

 

 较小的数用iconst表示，-1到5的数

ifne 不成立时会跳转到12行，压20入栈然后往下执行。

成立时就直接往下执行然后到goto跳过12,14，直接返回

 

2.6 循环控制指令

 依旧是if+goto

 if_icmpge判断是否大于等于10，是的话就跳到14

do_while

for循环

2.7 练习 - 判断结果

 先load，再iinc，最后istore，又把栈里的load到的数据放回去了。

先把0读进操作数栈的，然后局部变量表上x自增1变成，然后将局部变量表上的0赋值给x.

2.8 构造方法

1) <cinit>()v

静态变量初始化，静态代码块从上到下依次执行

 

cinit是整个类的构造方法。

2) <init>()V

init是实例的构造方法。

从上到下有成员变量，初始化代码块，有参构造。

最后答案是s3 30

2.9方法调用

类中从上到下有构造方法，私有方法，final方法，公共方法，静态方法。

通过对象和类型都调用了静态方法 

有三种指令出现。

invokevirtual是动态绑定，公共方法有可能子类也有可能父类，要在运行时确定。

另外两个都是静态绑定，可以直接找到执行地址。

执行new的时候会先分配内存给它，然后把对象的引用放到操作数栈。

dup是对栈顶的复制，操作数栈里有两个相同的引用。

invokespecial会根据栈顶的引用调用对应的构造方法。 这里消耗一个引用

astore_1会根据剩余的引用出栈存储到局部变量表中。这里消耗一个引用

执行到d.test4()时先把引用放入栈，但由于静态方法不需要引用，所以又pop弹出了,然后用invokestatic执行test4了。

要调用静态方法直接用类名去调用即可，否则会产生多余的虚拟机指令。

2.10 多态的原理

在上面有一个invokevirtual不能直接找到地址去执行，需要找到是父类还是子类。

研究invokevirtual就是研究多态的原理

面试高频题：讲讲什么是多态，底层原理是啥

1) 运行代码

64位操作系统为了节省内存用了指针压缩，查看地址时要换算不方便

 

代码中一个Animal父类，一个抽象方法eat(),一个toString方法，还有两个子类继承了Animal父类。

在公共类中有一个test方法，参数是Animal，这里产生了多态，实际对象可能是cat，也可能是dog. 

2)运行 HSDB 工具

JDK9之后，执行JHSDB HSDB 

 

3)找某个对象

 

 查询语句和sql语句十分相似，这里通过查询类型别名查到dog对象在内存中的地址。

这里虚拟机中只有一个dog对象，所以查到的是唯一dog.

4)查看对象内存结构

5) 查看对象 Class 的内存地址

 第二行是类型指针，用类型指针继续查

 上面是类的结构。

6)查看类的 vtable

接着找类中的方法，多态的方法存在vtable虚方法表中。在类结构的最后。

 是该类的地址加上1B8就是vtable地址。vtable长度是6。

然后看见6个支持重写的方法的入口地址。

7)验证方法地址

在虚方法表中的最后一个方法对应的就是dog类的eat方法。

 因为dog类没有重写父类，用的是Animal的toString方法。

 ​​​​​​​

方法表中的第一项有Object的finalize，clone,equals方法 ，因为Animal和dog都没有重写这些方法。

8) 小结

一句话总结：invokevirtual指令调用的对象vtable中的方法

类加载阶段指的是 验证、准备、解析 这三个阶段，即加载之后，初始化之前、 

2.11 异常处理

try-catch

2 4 是try中的内容， try中如果没有发生异常，就会直接去到12了。

借助Exception table异常表检测[2~5)行内容，不包含5，2~4有异常会先跟声明的异常是否一致或是子类异常，是的话就会进入第8行。

第8行astore_2是把异常对象的引用地址存储下面局部变量的e槽位上,就是catch那一行的执行。

9，11就是i=20.

多个single-catch 块的情况

 

 

与try_catch的相差不多。

multi-catch 的情况

直接一个catch块捕获多个异常。

 

finally

 字节码

因为有可能发生Exception父类的异常，所以异常表里面又多了别的异常类型。 

finally的工作方法就是将finally中的东西放在每一个分支后面，在reutrn前面，以此保证一定会被执行。

因此有三个分支，一个是try，一个是Exception的catch,一个是非Exception的catch.

 2.12 练习 - finally 面试题

finally 出现了 return

 正确答案是20。

 

 简单来说，就是即使报了异常，但是最后还是执行finally例的ireturn，不会执行athrow

抛异常和返回值，这两个是冲突的，只能执行一个，平时绝对不能在finally中return

该代码最后正常执行完没有除零报错。

finally 对返回值影响

 最后返回的是10

2.13 synchronized

new时复制了一份，一个用于调用构造方法，一个是给了局部变量表。

synchronized（lock）先将lock引用加载到操作数栈，然后又复制了一份。

待会一个给monitorenter 指令用，一个给了monitorexit指令用，加锁和解锁。

然后一个lock存入局部变量表2槽，剩下那个给了monitorenter 加锁。

然后12~17是打印指令

20~22是把2号槽位的引用加载到栈顶并给monitorexit解锁，然后goto return正常结束。

 如果12~22有异常会进到25.

25将错误保存到局部变量表。26~27将lock引用给monitorexit解锁。

28,29加载异常类抛出。