关于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; // TestTryFinallyCconst #2 = Asciz TestTryFinallyC;const #3 = class #4; // java/lang/Objectconst #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>":()Vconst #9 = NameAndType #5:#6;// "<init>":()Vconst #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/Systemconst #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:()Iconst #23 = NameAndType #24:#25;// testt:()Iconst #24 = Asciz testt;const #25 = Asciz ()I;const #26 = Method #27.#29; // java/io/PrintStream.println:(I)Vconst #27 = class #28; // java/io/PrintStreamconst #28 = Asciz java/io/PrintStream;const #29 = NameAndType #30:#31;// println:(I)Vconst #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/Throwableconst #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:bipush99 //操作数栈区：99 局部变量区：空 2:istore_0 //操作数栈区：空 局部变量区：0号:99 3:iload_0 //操作数栈区：99 局部变量区：0号:99 4:istore_3 //操作数栈区：空 局部变量区：0号:99 3号:99 5:bipush8 //操作数栈区：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:bipush8 //操作数栈区：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:bipush8 //操作数栈区：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引用类型.