关于JAVA的try catch finally的return返回值问题

class TestTryFinallyC { public static void main(String[] args) { System.out.println(testt()); } public static int testt() { int x = 99; try { return x; }finally { x = 8; } } }

 

某年某月的某一天，群里一位仁兄发了上边的代码。

结果是出人意料的。

下面是这段代码的JVM完整指令  

Compiled from "TestTryFinallyC.java" class TestTryFinallyC extends java.lang.Object SourceFile: "TestTryFinallyC.java" minor version: 0 major version: 50 Constant pool: const #1 = class #2; // TestTryFinallyC const #2 = Asciz TestTryFinallyC; const #3 = class #4; // java/lang/Object const #4 = Asciz java/lang/Object; const #5 = Asciz <init>; const #6 = Asciz ()V; const #7 = Asciz Code; const #8 = Method #3.#9; // java/lang/Object."<init>":()V const #9 = NameAndType #5:#6;// "<init>":()V const #10 = Asciz LineNumberTable; const #11 = Asciz LocalVariableTable; const #12 = Asciz this; const #13 = Asciz LTestTryFinallyC;; const #14 = Asciz main; const #15 = Asciz ([Ljava/lang/String;)V; const #16 = Field #17.#19; // java/lang/System.out:Ljava/io/PrintStream; const #17 = class #18; // java/lang/System const #18 = Asciz java/lang/System; const #19 = NameAndType #20:#21;// out:Ljava/io/PrintStream; const #20 = Asciz out; const #21 = Asciz Ljava/io/PrintStream;; const #22 = Method #1.#23; // TestTryFinallyC.testt:()I const #23 = NameAndType #24:#25;// testt:()I const #24 = Asciz testt; const #25 = Asciz ()I; const #26 = Method #27.#29; // java/io/PrintStream.println:(I)V const #27 = class #28; // java/io/PrintStream const #28 = Asciz java/io/PrintStream; const #29 = NameAndType #30:#31;// println:(I)V const #30 = Asciz println; const #31 = Asciz (I)V; const #32 = Asciz args; const #33 = Asciz [Ljava/lang/String;; const #34 = Asciz x; const #35 = Asciz I; const #36 = Asciz StackMapTable; const #37 = class #38; // java/lang/Throwable const #38 = Asciz java/lang/Throwable; const #39 = Asciz SourceFile; const #40 = Asciz TestTryFinallyC.java; { TestTryFinallyC(); Code: Stack=1, Locals=1, Args_size=1 0: aload_0 1: invokespecial #8; //Method java/lang/Object."<init>":()V 4: return LineNumberTable: line 2: 0 LocalVariableTable: Start Length Slot Name Signature 0 5 0 this LTestTryFinallyC; public static void main(java.lang.String[]); Code: Stack=2, Locals=1, Args_size=1 0: getstatic #16; //Field java/lang/System.out:Ljava/io/PrintStream; 3: invokestatic #22; //Method testt:()I 6: invokevirtual #26; //Method java/io/PrintStream.println:(I)V 9: return LineNumberTable: line 4: 0 line 5: 9 LocalVariableTable: Start Length Slot Name Signature 0 10 0 args [Ljava/lang/String; public static int testt(); Code: Stack=1, Locals=3, Args_size=0 0: bipush 99 2: istore_0 3: iload_0 4: istore_2 5: bipush 8 7: istore_0 8: iload_2 9: ireturn 10: astore_1 11: bipush 8 13: istore_0 14: aload_1 15: athrow Exception table: from to target type 3 5 10 any LineNumberTable: line 8: 0 line 10: 3 line 12: 5 line 10: 8 line 11: 10 line 12: 11 line 13: 14 LocalVariableTable: Start Length Slot Name Signature 3 13 0 x I StackMapTable: number_of_entries = 1 frame_type = 255 /* full_frame */ offset_delta = 10 locals = [ int ] stack = [ class java/lang/Throwable ] }

 

 

 

重点是在testt方法，我为当前的栈上的操作数区以及局部变量区做了注释

public static int testt(); Code: Stack=1, Locals=3, Args_size=0 //操作数栈区：空 局部变量区：空 0: bipush 99 //操作数栈区：99 局部变量区：空 2: istore_0 //操作数栈区：空 局部变量区：0号:99 3: iload_0 //操作数栈区：99 局部变量区：0号:99 4: istore_2 //操作数栈区：空 局部变量区：0号:99 2号:99 5: bipush 8 //操作数栈区：8 局部变量区：0号:99 2号:99 7: istore_0 //操作数栈区：空 局部变量区：0号:8 2号:99 1号:99 8: iload_2 //操作数栈区：99 局部变量区：0号:8 2号:99 1号:99 9: ireturn //返回 10: astore_1 //操作数栈区：空 局部变量区：0号:8 2号:99 1号:99 11: bipush 8 //操作数栈区：8 局部变量区：0号:8 2号:99 1号:99 13: istore_0 //操作数栈区：空 局部变量区：0号:8 2号:99 1号:99 14: aload_1 //操作数栈区：99 局部变量区：0号:8 2号:99 1号:99 15: athrow Exception table: from to target type 3 5 10 any

 

通过异常表可以看到：3-5行被包在exception里，然后会跳到target：10行，再跳回7直到运行至ireturn,返回值是栈顶的99.

其中仔细看,可以看到99和8都在局部变量区有值,但是到最后要return的时候,JVM把变量99从变量区装载到操作数栈,作为返回值返回了.

 

 --------------------------------------------------------

我把testt方法变一下形

public static int testt() { int x = 99; try { return x; }catch(Exception e){ return x; }finally { x = 8; } }

 

 

相应的它的JVM代码是  

public static int testt(); Code: Stack=1, Locals=4, Args_size=0 //操作数栈区：空 局部变量区：空 0: bipush 99 //操作数栈区：99 局部变量区：空 2: istore_0 //操作数栈区：空 局部变量区：0号:99 3: iload_0 //操作数栈区：99 局部变量区：0号:99 4: istore_3 //操作数栈区：空 局部变量区：0号:99 3号:99 5: bipush 8 //操作数栈区：8 局部变量区：0号:99 3号:99 7: istore_0 //操作数栈区：空 局部变量区：0号:8 3号:99 2号:8 8: iload_3 //操作数栈区：99 局部变量区：0号:8 3号:99 9: ireturn 10: astore_1 //操作数栈区：空 局部变量区：0号:99 1号:8 3号:99 11: iload_0 //操作数栈区：99 局部变量区：0号:99 1号:8 3号:99 12: istore_3 //操作数栈区：空 局部变量区：0号:99 1号:8 3号:99 13: bipush 8 //操作数栈区：8 局部变量区：0号:99 1号:8 3号:99 15: istore_0 //操作数栈区：空 局部变量区：0号:8 1号:8 3号:99 16: iload_3 //操作数栈区：99 局部变量区：0号:8 1号:8 3号:99 17: ireturn 18: astore_2 //操作数栈区：空 局部变量区：0号:99 3号:99 2号:8 19: bipush 8 //操作数栈区：8 局部变量区：0号:99 3号:99 2号:8 21: istore_0 //操作数栈区：空 局部变量区：0号:8 3号:99 2号:8 22: aload_2 //操作数栈区：8 局部变量区：0号:8 3号:99 2号:8 23: athrow Exception table: from to target type 3 5 10 Class java/lang/Exception 3 5 18 any 10 13 18 any

 

普通的执行顺序:(0-5)->(18-23)->(7-9)

截获异常的执行顺序:(0-5)->(10-13)->(18-23)->(15-17)

结果还是一样，并且既使 return x/0;进入异常，它还是不会把finally里的值正确加入。

 

 -----------------------------------------------

再变一下形

public static int testt() { int x = 99; try { return x; }catch(Exception e){ }finally { x = 8; } return x; }

 

这样正常运行得到的值是99

当把"return x;" 改成"return x/0;"时,会进入catch->finally->第10行return.最后结果是8,为什么呢?

 

---------------------------------------

马上来揭开答案

再把程序稍微改一下

 

class A1 { public static void main(String[] args) { System.out.printf("x:%d______testt():%d_____x:%d/n" ,x,testt(),x); } static int x = 99; public static int testt() { try { return x; } catch (Exception e) { } finally { x = 8; } return x; } }

执行结果是:

x:99______testt():99_____x:8

 

分析一下结果,刚开始X的值是99

->执行testt()方法

->进入方法的try语句

->执行return x;  //这时x被JVM存在了栈区的局部变量栈区里

->然后执行finally里的x=8 //这句更新了全局变量里的static int x,

最后testt方法执行完 JVM会把 try里的这句return的局部变量load到操作数栈.所以结果就清楚了.

 

把上边程序的 try语句里的"return x;" 改为 return x/0;时执行结果是

x:99______testt():8_____x:8

 

 

----------------------------------

后续问题:

class A4 { public static void main(String[] args) { System.out.println(testt().size()); } public static List testt() { List list = new ArrayList(); list.add("a"); try { return list; } catch (Exception e) { } finally { list.add("b"); } return list; } }

这个结果就是2

因为list是一个引用类型,JVM返回的时候 只返回 list的地址,而不是整个list对象

当return list和list.add() 是对一个块堆内存进行的操作.

 

 

 待续...

简单说一下push store load:

push:将常量入操作数栈

store_x:将操作数栈顶数据弹到x号局部变量

load_x:将x号局部变量装载到操作数栈

 

ipush前边加i说明是integer类型,还有l(long),f(float),d(double)等,还有a引用类型.