关于try……finally问题中return的问题，看到很多面试机经有着不同的说法，这里配合javap对字节码进行反汇编之后仔细分析一番。
这是正常场景，try中return的情况：
public classTest1 {
public static void main(String[] args) {
System.out.println(tryReturn());
}
static String tryReturn() {
String x = "hello";
String y = "你好";
try {
return x;
}
finally {
System.out.println(x);
x = "hi";
System.out.println(x);
}
}
publictestGit.Test1();
Code:
0: aload_0
1: invokespecial #8 // Methodjava/lang/Object."":()V
4: return
public static void main(java.lang.String[]);
Code:
0: getstatic #16 // Fieldjava/lang/System.out:Ljava/io/PrintStream;
3: invokestatic #22 // MethodtryReturn:()Ljava/lang/String;
6: invokevirtual #26 // Methodjava/io/PrintStream.println:(Ljava/lang/String;)V
9: return
static java.lang.String tryReturn();
Code:
0: ldc #34 // String hello
2: astore_0
3: ldc #36 // String你好
5: astore_1
6: aload_0
7: astore_3
8: getstatic #16 // Fieldjava/lang/System.out:Ljava/io/PrintStream;
11: aload_0
12: invokevirtual #26 // Methodjava/io/PrintStream.println:(Ljava/lang/String;)V
15:ldc #38 // String hi
17: astore_0
18: getstatic #16 // Fieldjava/lang/System.out:Ljava/io/PrintStream;
21: aload_0
22: invokevirtual #26 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
25: aload_3
26: areturn //关注这个指令码，它代表return
27: astore_2
28: getstatic #16 // Fieldjava/lang/System.out:Ljava/io/PrintStream;
31: aload_0
32: invokevirtual #26 // Methodjava/io/PrintStream.println:(Ljava/lang/String;)V
35: ldc #38 // String hi
37: astore_0
38: getstatic #16 // Fieldjava/lang/System.out:Ljava/io/PrintStream;
41: aload_0
42: invokevirtual #26 // Methodjava/io/PrintStream.println:(Ljava/lang/String;)V
45: aload_2
46: athrow
Exception table:
from to target type
6 8 27 any
}
首先明确一点，即使try中return了，try-catch-finally代码块也会执行到结尾，所以finally{}中的代码是一定会被执行的。
然后注意字节码指令areturn，它代表return。我们发现正常情况下，要return的对象被装入了一个新的空间astore_3，同时执行返回时也是通过aload_3读取这个拷贝。换句话说正常情况下，finally中的代码对局部变量的操作不会影响返回值，因为要return的变量是try中变量的副本。
注意，这里也是一个坑所在的地方。变量传递的时候都是值传递，所以如果变量存放的是指向对象的reference，那么这里就会有个问题，虽然我在finally中修改变量的值不会影响返回的结果，但是我在finally中对方法要返回的对象进行操作时可以的。注意这段代码：
publicclass Test1 {
public static void main(String[] args){
System.out.println(tryReturn().getName());
}
static A tryReturn() {
A a = new A();
try {
a.setName("beijing");
return a;
}
finally {
System.out.println(a.getName());
a.setName("shanghai");
System.out.println(a.getName());//这里成功将a.name变成了上海，最后主函数打印时将显示上海
}
}
}
classA{
private String name;
public void setName(String s) {
name = s;
}
public String getName() {
return name;
}
}
Finally中的代码成功修改了a中的成员变量，这是要明确注意的。
最后，我们讨论一下finally中也有return的情况：
这是在finally中加入return的情况
publicclassTest1{
publicstaticvoidmain(String[] args) {
System.out.println(tryReturn());
}
staticStringtryReturn() {
Stringx= "hello";
Stringy= "你好";
try{
return x;
}
finally{//这么写IDE是要给你警告的
System.out.println(x);
x = "hi";
System.out.println(x);
return x;
}
}
}
publicclass testGit.Test1 {
public testGit.Test1();
Code:
0: aload_0
1: invokespecial #8 // Methodjava/lang/Object."":()V
4: return
public static void main(java.lang.String[]);
Code:
0: getstatic #16 // Fieldjava/lang/System.out:Ljava/io/PrintStream;
3: invokestatic #22 // MethodtryReturn:()Ljava/lang/String;
6: invokevirtual #26 // Methodjava/io/PrintStream.println:(Ljava/lang/String;)V
9: return
static java.lang.String tryReturn();
Code:
0: ldc #34 // String hello
2: astore_0
3: ldc #36 // String你好
5: astore_1
6: goto 10
9: pop
10: getstatic #16 // Fieldjava/lang/System.out:Ljava/io/PrintStream;
13: aload_0
14: invokevirtual #26 // Methodjava/io/PrintStream.println:(Ljava/lang/String;)V
17: ldc #38 // String hi
19: astore_0
20: getstatic #16 // Fieldjava/lang/System.out:Ljava/io/PrintStream;
23: aload_0
24: invokevirtual #26 // Methodjava/io/PrintStream.println:(Ljava/lang/String;)V
27: aload_0
28: areturn
Exception table:
from to target type
6 9 9 any
}
注意字节码，try中的return被跳过去了。根据底部Exception table的提示，try中的代码块应该是code：6、9这两行。然而并没有执行areturn，而是执行了goto直接跳到了finally的部分。换句话说如果try和finally中都有return语句，编译器会忽视try中的return而选择finally中的return。当然如果你try和finally都写return了，IDE多半是要给你黄线警告的。
结论：
-
try……catch……finally结构中，代码一定会按流程执行到结尾，当然没有异常被捕捉到的时候catch里的代码是不执行的。
-
关于finally在return之前还是之后。细扣的话，我认为finally中的代码生效在return之后，方法结束之前。这点从ex1中的字节码文件中可以看到。当然如果将return定义成方法结束的话，finally也的确就是发生在return之前的。
-
关于finally中代码对返回值的影响。简单地说，如果返回值是基本类型或者string，finally中任何关于局部变量的操作都不会影响到返回值；如果返回值是在此之外的对象，请一定注意finally中是可以对对象进行操作的。
-
关于try和finally中都有return的情况。一般说来IDE会提醒你不要这么写（eclipse和IDEA都会给你警告，当然编译器是能接受这种写法的），如果你这么写了，try中的return语句会被编译器直接跳过。
网友评论