定论
问：finally语句一定会执行吗？
答：
1.如果没有执行相应的try语句则不会执行。
2.在try语句中如果调用System.exit(0)方法则不会执行。
问：finally会在什么时候执行？
答：如果在try/catch语句中调用转移指令例如：return，break，continue，throw等。则会在转移指令前执行。
总结
如果在finally中含有return语句，那么try/catch语句的return还有作用吗？
先看一段代码：
/**
* Created by gavin on 15-9-2.
*/
public class FinallyTest {
public static void main(String[] args){
System.out.println(test1()); //3
System.out.println(test2()); //3
System.out.println(test3()); //2
System.out.println(test4()); //2
}
public static int test1()
{
int i = 1;
try {
i = 2;
return i;
}finally {
i++;
return i;
}
}
public static int test2()
{
int i = 1;
try {
i = 2;
return i;
}finally {
i = 3;
return i;
}
}
public static int test3()
{
int i = 1;
try {
i = 2;
return i;
}finally {
i++;
}
}
public static int test4()
{
int i = 1;
try {
i = 2;
return i;
}finally {
i = 3;
}
}
}
如果你对java内存布局不是很清楚，请看这篇文章：java虚拟机类加载机制和字节码执行引擎 http://my.oschina.net/jiangmitiao/blog/483824
重点关注运行时栈帧结构（局部变量表槽，操作数栈）。
上边的代码非常简单，来看一下字节码指令吧
public static int test1(); flags: ACC_PUBLIC, ACC_STATIC Code: stack=1, locals=3, args_size=0 0: iconst_1 //定义一个常量1入栈到操作数栈 //栈1 0: 1: 1: istore_0 //出栈，存储到局部便量表槽0 //栈 0:1 1: 2: iconst_2 //定义一个常量2入栈到操作数栈 //栈2 0:1 1: 3: istore_0 //出栈，存储到局部变量表槽0 //栈 0:2 1: 4: iload_0 //从局部便量表槽0入栈到操作数栈 //栈2 0:2 1: 5: istore_1 //出栈，存储到局部变量表槽1 //栈 0:2 1:2 6: iinc 0, 1 //局部变量表槽0变量加1 //栈 0:3 1:2 9: iload_0 //从局部变量表槽0入栈到操作数栈 //栈3 0:3 1:2 10: ireturn //结束，返回 //栈3 0:3 1:2 11: astore_2 12: iinc 0, 1 15: iload_0 16: ireturn public static int test2(); flags: ACC_PUBLIC, ACC_STATIC Code: stack=1, locals=3, args_size=0 0: iconst_1 //定义一个常量1入栈到操作数栈 //栈1 0: 1: 1: istore_0 //出栈，存储到局部便量表槽0 //栈 0:1 1: 2: iconst_2 //定义一个常量2入栈到操作数栈 //栈2 0:1 1: 3: istore_0 //出栈，存储到局部变量表槽0 //栈 0:2 1: 4: iload_0 //从局部变量表槽0入栈 //栈2 0:2 1: 5: istore_1 //出栈，存储到局部变量表槽1 //栈 0:2 1:2 6: iconst_3 //定义一个常量3入栈 //栈3 0:2 1:2 7: istore_0 //出栈，存储到局部便量表槽0 //栈 0:3 1:2 8: iload_0 //从局部变量表槽0入栈 //栈3 0:3 1:2 9: ireturn //结束，返回 //栈3 0:3 1:2 10: astore_2 11: iconst_3 12: istore_0 13: iload_0 14: ireturn public static int test3(); flags: ACC_PUBLIC, ACC_STATIC Code: stack=1, locals=3, args_size=0 0: iconst_1 //定义一个常量1入栈到操作数栈 //栈1 0: 1: 1: istore_0 //出栈，存储到局部便量表槽0 //栈 0:1 1: 2: iconst_2 //定义一个常量2入栈到操作数栈 //栈2 0:1 1: 3: istore_0 //出栈，存储到局部变量表槽0 //栈 0:2 1: 4: iload_0 //从局部变量表槽0入栈 //栈2 0:2 1: 5: istore_1 //出栈，存储到局部变量表槽1 //栈 0:2 1:2 6: iinc 0, 1 //局部变量表槽0变量加一 //栈 0:3 1:2 9: iload_1 //从局部变量表槽1入栈 //栈2 0:3 1:2 10: ireturn //结束，返回 //栈2 0:3 1:2 11: astore_2 12: iinc 0, 1 15: aload_2 16: athrow public static int test4(); flags: ACC_PUBLIC, ACC_STATIC Code: stack=1, locals=3, args_size=0 0: iconst_1 //定义一个常量1入栈到操作数栈 //栈1 0: 1: 1: istore_0 //出栈，存储到局部便量表槽0 //栈 0:1 1: 2: iconst_2 //定义一个常量2入栈到操作数栈 //栈2 0:1 1: 3: istore_0 //出栈，存储到局部变量表槽0 //栈 0:2 1: 4: iload_0 //从局部变量表槽0入栈 //栈2 0:2 1: 5: istore_1 //出栈，存储到局部变量表槽1 //栈 0:2 1:2 6: iconst_3 //定义一个常量3入栈到操作数栈 //栈3 0:2 1:2 7: istore_0 //出栈，存储到局部变量表槽0 //栈 0:3 1:2 8: iload_1 //从局部变量表槽1入栈 //栈2 0:3 1:2 9: ireturn //结束，返回 //栈2 0:3 1:2 10: astore_2 11: iconst_3 12: istore_0 13: aload_2 14: athrow
我们看到，在finally中没有return时，栈中最后存储的数据是try/catch中操作后数据。即finally操作后的数据存储到其他槽中，而后再加载try/catch操作后的数据。
而在finally中含有return时，栈中最后存储的数据是finally中操作后的数据。即finally操作后的数据存储到其他槽中，而后加载的是其他槽（finally）中的数据。
也就是说：如果finally中不含有return语句，finally对try/catch操作的八大基础类型不会再加载到操作数栈中。
如果返回值是对象引用，finally中的return还有待考据。
参考：关于 Java 中 finally 语句块的深度辨析 http://www.ibm.com/developerworks/cn/java/j-lo-finally/
时间： 2024-08-29 19:32:59