关于java异常try catch finally的一道题

这两天，有人咨询我一道关于java基础的题，具体代码如下：

private static int m1() {
	int a = 10;	
	try {
		a = 20;
		throw new RuntimeException();
	} catch (Exception e) {
		a = 30;
		return a;
	} finally {
		a = 40;
	}
}
           

他问我这个方法的返回结果是多少？finally代码块不是一定会执行的吗？a不是赋值了40？为什么a返回的是30？

我说返回30，具体为什么是30呢？，为了更有说服力，我把上面代码的class进行反编译，得到如下代码：

private static int m1(){
	int a = 10;	
	try {
      		a = 20;
      		throw new RuntimeException();
    	} catch (Exception e){
      		e = e;
      		a = 30;
      		int i = a;
      		a = 40;return i;
    	} finally {
      		localObject = finally;
      		a = 40;
      		throw ((Throwable)localObject);
      	}
}
           

我们看第9和第10两行代码，心里是否已经有了答案？之所以结果是30是因为return返回的是i，而i是由a赋值30后赋值给的i。

总结：首先a初始化赋值为10，接着a重新赋值为了20，然后throw抛出异常catch被执行，所以a再次被赋值为30，接着把a赋值给i，所以i为30。当return的时候本来应该是直接返回i的，但是程序还要执行finally代码块，所以程序把i先放到暂存。最后虽然a被赋值为了40，但是程序返回的是i（30）。