关于try{....return;}finally{....}的疑问

Question

在java中，规定先执行finally中的代码，再return。但是看过这么一段代码，如下                       
public class Bruce
{
  static int deal(int a)
  {
   try{
    a++;
    return a;
    }
    finally
    {
     a++;
    }
  }
  
  public static void main(String[] args)
  {
   System.out.println("The result is "+deal(5));
  }
}得到结果为：The result is 6我认为当执行到return a；时，程序将变量a保护起来，再执行finally中代码，最后return a的值不知道各位怎样认为?

Answer 1

java中没这规定吧，只是说finally中的代码最后是必须执行的

Answer 2

应该是这样,把那个函数改成如下:
static int deal(int a)
    {
     try{
      a++;
      return a;
      }
      finally
      {
       a++;
       System.out.print("finally");
      }
    }
结果:
finally6可以看出finally
中的代码在return前执行.

Answer 3

我覺得不是這樣啊
try裏面的return已經返回值了，因此雖然finally里的語句執行到了，卻不能對return有影響，所以得到的結果是6
樓主的説法我贊成

Answer 4

楼主的意思是，为什么在finally里面自增的a不能返回？而返回的是自增前的a

Answer 5

你可以再看看这个，返回都是in finallypublic class Bruce {
    static T deal(T t) {
        try {
            t.s = "in try";
            return t;
        } finally {
            t.s = "in finally";
            System.out.println(t);
        }
    }    public static void main(String[] args) {
        T t = new T();
        System.out.println(deal(t));
    }}class T {
    String s;
    public String toString() {
        return s;
    }
}

Answer 6

我感觉是return a和finally里面的a其实已经不是同一个a了，原因是a不是类，不是引用，不知道理解对不对

Answer 7

结果是这样的：
当程序运行到return时，jvm把返回值保存在一个临时的对象中去了。并不是说程序在此时退出。相反程序需要执行finally中的语句。不管是什么情况，只要有finally语句，程序最后都要执行。

Answer 8

public class Bruce extends java.lang.Object {
    public Bruce();
    static int deal(int);
    public static void main(java.lang.String[]);
}Method Bruce()
   0 aload_0
   1 invokespecial #1 <Method java.lang.Object()>
   4 returnMethod int deal(int)
   0 iinc 0 1
   3 iload_0
   4 istore_1
   5 jsr 16
   8 iload_1
   9 ireturn
  10 astore_2
  11 jsr 16
  14 aload_2
  15 athrow
  16 astore_3
  17 iinc 0 1
  20 ret 3
Exception table:
   from   to  target type
     0     8    10   any
    10    14    10   anyMethod void main(java.lang.String[])
   0 getstatic #2 <Field java.io.PrintStream out>
   3 new #3 <Class java.lang.StringBuffer>
   6 dup
   7 invokespecial #4 <Method java.lang.StringBuffer()>
  10 ldc #5 <String "The result is ">
  12 invokevirtual #6 <Method java.lang.StringBuffer append(java.lang.String)>
  15 iconst_5
  16 invokestatic #7 <Method int deal(int)>
  19 invokevirtual #8 <Method java.lang.StringBuffer append(int)>
  22 invokevirtual #9 <Method java.lang.String toString()>
  25 invokevirtual #10 <Method void println(java.lang.String)>
  28 return

Answer 9

kypfos(人群中我找不到你)的解释是正解
当执行到return时，会把当前的a（a=6）值压栈,再去执行finally代码段把处理后的a值（a=7）压到另一地方，返回的时候，JVM取的是第一次压栈的值a=6

Answer 10

用javap -c Bruce就可以看到java指令代码

Answer 11

return a;前有store动作，转去执行finally;
执行完finally再load a值返回。

Answer 12

kypfos(人群中我找不到你)能解釋一下關鍵的語句嗎？

Answer 13

希望kypfos(人群中我找不到你) 能把每个指令具体解释下

Answer 14

我运行这条怎么 Could not found Bruce ?
要啥版本?

Answer 15

楼上的头晕了把? Bruce是类名. 
你只需要javap -c classname 就行了 !
^_^

Answer 16

kypfos(人群中我找不到你)  麻烦可以解释下那些关键代码都是做什么用的吗???关注中.......

Answer 17

深入java虚拟机里面好像有讲!

Answer 18

应该可以这样理解了:
在return之前,finally里的语句都会执行.在finally之前回保存,基本类型保存的是值,而对象保存的是引用.在finally执行之后,会load保存的值返回.楼主的例子里是基本类型所以返回的值是6，而forair(forair) 的例子里保存的是T的引用，所以finally中改变了T中的值，当return的时候，返回的是T的引用，所以后来print的结果都是"in finally"

Answer 19

哈哈，我很喜欢 kypfos 查看问题的方法，这样可能对深入理解一些概念性的问题大有帮助。    不过这里如果用一句简单的话来解释，可以是：
    “在非void函数过程体中，可以有任意多个return语句，但只返回运行过程中的第一个返回参数。”
    所以当运行到第一个return语句时，返回参数就已经被锁定了，不过深入查看指令代码确实让我们大家又理解了JAVA底层是如何实现的。^^另：在void函数体中，运行时一旦遇到return;语句，则立刻离开函数体，但无论如何finally块中的语句将始终执行。
@.@||~

Answer 20

其实finally中的a++被执行了，只所以你的到的结果是6是因为你在try中就返回了a，这样deal的所有环境被保存在了堆栈中，包括返回值。当执行完finally块后恢复堆栈中的deal环境变量，因此你的到的结果是6。如果改称下列形式就会返回7。static int deal(int a)
    {
     try{
      a++;
      return a;
      }
      finally
      {
       a++;
       System.out.print("finally");
       return a; //加上此句
      }
    }

Answer 21

我覺得返回結果和參數類型有關，因為在try中的return語句把要返回的值暫存到一個臨時對象中,而當函數中的參數為對象時，在finally中的語句如果執行了對該臨時對象的值的改變，則會引起最後結果 的改變!
不知道能否這樣理解!
請高人分析!up!@~~~~~~~~~~~~~~~