同学问一个关于try return finally的问题。刚好前段时间看《java编程思想》String那一章学会了反编译指令,javap,所以运用起来,探究一下Java try/catch底层实现
public class Test { public static void main(String a[]){ System.out.println(test()); } public static int test() { int i = 10; try { System.out.println("Start..."); return i+=10; } catch (Exception e) { System.out.println("error..."); }finally { if(i>10) { System.out.println(i); } System.out.println("finally..."); } return i; } }
cmd打开命令行
javac Test,java
javap -c Test
根据字节码画了个简单的流程图:
总结:
对于上面代码输出结果我心中的答案是 //start... //finally... //20,程序运行后,发现是错的。
笔记1:关于try catch finally的执行顺序,如流程图一目了然,finally在try、catch指令执行结束前会执行,catch中发生异常,也会执行。
笔记2:JVM是以C语言编写的。C语言中没有try、catch、finally,异常处理是由goto进行程序跳转控制来解决异常问题。
java的trycatch的底层其实是向C语言靠齐,编译器将trycatch关键字翻译成普通代码块然后用goto跳转控制。
笔记3:虚拟机并不是以代码行为运行单位,而是编译后的指令。上面正常不报错流程:return i+=10;被拆分成 i+=10;finally{};return;
这条笔记拓展应用一下,多线程方面,代码每行看起来可能是线程安全的,然而编译后,一行代码可分多个指令,可能就不是线程安全的。就如上面return i+=10;可在finally产生线程安全问题。下面是代码。
public class Test { public static void main(String[] args) { TryTest tryTest = new TryTest(); for(int i = 0;i<100000;i++) { new Thread(tryTest).start(); } try { Thread.sleep(15000); } catch (InterruptedException e) { e.printStackTrace(); } System.out.println(tryTest.getI()); } } class TryTest implements Runnable{ private int i = 10; @Override public void run() { i+=10; } public int getI() { return i; } }