finally块中的代码什么时候被执行？finally是不是一定会被执行？（见最后引申）

问题描述：try{}里有一个return语句，那么紧跟在这个try{}后面的finally{}中的代码是否会被执行？如果会的话，什么时候被执行，在return之前还是return之后？

在Java语言的异常处理中，finally块的作用就是为了保证无论出现什么情况，finally块里的代码一定会被执行。由于程序执行return就意味着结束对当前函数的调用并跳出这个函数体，因此任何语句要执行都只能在return前执行（除非碰到exit函数），因此finally块里的代码也是在return之前执行的。此外，如果try-finally或者catch-finally中都有return，那么finally块中的return将会覆盖别处的return语句，最终返回到调用者那里的是finally中return的值。下面通过一个例子来说明这个问题：

package com.js;
/**
 * try-catch中有return语句，finally中代码运行时机问题
 * @author jiangshuai
 */

public class Test{
	public static int testFinally(){
		try {
			return 1;
		} catch (Exception e) {
			return 0;
		}finally{
			System.out.println("execute finally");
		}
	}
	public static void main(String[] args){
		int result = testFinally();
		System.out.println(result);
	}
}

运行结果：

execute finally
1
从上面这个例子中可以看出，在执行return语句前确实执行了finally块中的代码。紧接着，在finally块里放置个return语句，来看看到底最终返回的是哪个return语句的值，例子如下图所示：

package com.js;
/**
 * try-catch中有多个return语句，研究return的是哪一个
 * @author jiangshuai
 */

public class Test{
	public static int testFinally(){
		try {
			return 1;
		} catch (Exception e) {
			return 0;
		}finally{
			System.out.println("execute finally");
			return 3;
		}
	}
	public static void main(String[] args){
		int result = testFinally();
		System.out.println(result);
	}
}

运行结果：

execute finally
3
从以上运行结果可以看出，当finally块中有return语句时，将会覆盖函数中其他return语句。此外，由于在一个方法内部定义的变量都存储在栈中，当这个函数结束后，其对应的栈就会被回收，此时在其方法体中定义的变量将不存在了，因此，对基本类型的数据，在finally块中改变return的值对返回值没有任何影响，而对引用类型的数据会有影响（详见 

Java中的值传递与引用传递详解

）。下面通过一个例子来说明这个问题：

package com.js;
/**
 * 在finally块中改变基本数据类型、引用类型对比
 * @author jiangshuai
 */

public class Test{
	public static int testFinally1(){
		int result = 1;
		try {
			result = 2;
			return result;
		} catch (Exception e) {
			return 0;
		}finally{
			result = 3;
			System.out.println("execute finally1");
		}
	}
	public static StringBuffer testFinally2(){
		StringBuffer s = new StringBuffer("Hello");
		try {
			return s;
		} catch (Exception e) {
			return null;
		}finally{
			s.append(" World");
			System.out.println("execute finally2");
		}
	}
	public static void main(String[] args){
		int result = testFinally1();
		System.out.println(result);
		StringBuffer resultRef = testFinally2();
		System.out.println(resultRef);
	}
}

运行结果：

execute finally1
2
execute finally2
Hello World
程序在执行到return时会首先将返回值存储在一个指定的位置，其次去执行finally块，最后再返回。在方法testFinally1中调用return前，先把result的值1存储在一个指定的位置，然后再去执行finally块中的代码，此时修改result的值将不会影响到程序的返回结果。testFinally2中，在调用return前先把s存储到一个指定的位置，由于s为引用类型，因此在finally中修改s将会修改程序的返回结果。

引申：出现在Java程序中的finally块是不是一定会被执行？

答案：不一定。

下面给出两个finally块不会被执行的例子：

1）、当程序进入try块之前就出现异常时，会直接结束，不会执行finally块中的代码，示例如下：

package com.js;
/**
 * 在try之前发生异常
 * @author jiangshuai
 */

public class Test{
	public static void testFinally1(){
		int result = 1/0;
		try {
			System.out.println("try block");
		} catch (Exception e) {
			System.out.println("catch block");
		}finally{
			System.out.println("finally block");
		}
	}
	public static void main(String[] args){
		testFinally1();
	}
}

运行结果：

Exception in thread "main" java.lang.ArithmeticException: / by zero
at com.js.Test.testFinally1(Test.java:9)
at com.js.Test.main(Test.java:19)
程序在执行1/0时会抛出异常，导致没有执行try块，因此finally块也就不会被执行。

2）、当程序在try块中强制退出时也不会去执行finally块中的代码，示例如下：

package com.js;
/**
 * 在try之前发生异常
 * @author jiangshuai
 */

public class Test{
	public static void testFinally1(){
		try {
			System.out.println("try block");
			System.exit(0);
		} catch (Exception e) {
			System.out.println("catch block");
		}finally{
			System.out.println("finally block");
		}
	}
	public static void main(String[] args){
		testFinally1();
	}
}

运行结果：

try block

上例在try块中通过调用System.exit(0)强制退出了程序，因此导致finally块中的代码没有被执行。