java代码块如果出现异常_synchronized 语句块里代码出现异常会怎么样？

前几天同组的一个小伙伴忽然问我一个问题：synchronized 里异常挂掉会怎么样，锁释放不释放，为什么？我当时的本能回答是：锁肯定会释放，不释放就出问题了，应该会在异常退出时自动释放掉。但至于为什么，却也想不起来了，于是重新翻看了下《深入理解 Java 虚拟机》, 找到了答案。

先介绍 Java 虚拟机的两个关于同步的指令

字节码

助记符

指令含义

0xc2

monitorenter

获得对象的锁，用于同步方法或同步块

0xc3

monitorexit

释放对象的锁，用于同步方法或同步块

下面举个例子说明一下：

public class Test {

void onlyMe(Foo f) {

synchronized(f) {

doSomething();

}

}

void doSomething() {}

private static class Foo {

}

}

经 javac 编译后，这段代码生成的字节码序列如下(仅仅截取了 onlyMe 方法):

通过上面可以看到有两个 monitorexit 指令，第一个 monitorexit 指令如果正确执行，会走到下面的 goto 指令，直接跳转到 18 行 return，而如果发生异常，下面的 astore_3 和 aload_2 指令会继续执行异常问题， aload_2 将把局部变量 Slow 2 的元素 (即 f ) 入栈，下一步会继续执行 monitorexit 指令退出同步。