finally代码块一定会执行吗？

太过爱你忘了你带给我的痛 2022-06-06 09:55 232阅读 0赞

## **深度解析Finally** ##

一、 首先在大家的印象中，无论程序是否出现异常，Finally代码块是一定会执行的。这个观点可能会让大家有些失望了，答案是否定的。接下来就让我来详细的给大家讲解一下吧。

案例1：

package com.test;
    
    public class MyTest {
    
    	public static void main(String[] args) {
    
    		System.out.println("main 代码块中的执行结果为：" + myMethod());
    	}
    
    	public static int myMethod() {
    
    		int i = 0;
    		int[] num = { 1, 2, 3 };
    
    		System.out.println(num[3]);
    
    		try {
    			System.out.println("try 代码块被执行！");
    			return 0;
    		} catch (Exception e) {
    			System.out.println("catch 代码块被执行！");
    			return 0;
    		} finally {
    			System.out.println("finally 代码块被执行！");
    		}
    
    	}
    
    }

其执行结果为：

Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 3
    	at com.test.MyTest.myMethod(MyTest.java:15)
    	at com.test.MyTest.main(MyTest.java:7)

可以看到结果显示 数组下标越界，没有下标为3的这个索引，我们可以看到并没有执行finally代码块中的打印语句

案例2：

package com.test;
    
    public class MyTest {
    
    	public static void main(String[] args) {
    
    		System.out.println("main 代码块中的执行结果为：" + myMethod());
    	}
    
    	public static int myMethod() {
    
    		int i = 0;
    		int[] num = { 1, 2, 3 };
    
    		if (i == 0) {
    		    return 0;
    		}
    
    		System.out.println(num[3]);
    
    		try {
    			System.out.println("try 代码块被执行！");
    			return 0;
    		} catch (Exception e) {
    			System.out.println("catch 代码块被执行！");
    			return 0;
    		} finally {
    			System.out.println("finally 代码块被执行！");
    		}
    
    	}
    
    }

另外，当我们在myMethod()方法中添加如下这段

if (i == 0) {
        return 0;
    }

在运行代码，其结果如下，也没有执行finally代码块中的打印语句

main 代码块中的执行结果为：0

通过以上例子可以看出，finally代码块中的打印语句都没有被执行，这是为什么呢？

这是因为这两个例子都在try代码块之前就结束了myMethod()方法，try代码块并没有得到执行，所以finally中的代码块也不会得到相应的执行。只有在try代码块得到执行的情况下，finally代码块才会得到执行。

二、那么问题又来了，是不是只要try代码块得到执行了，finally代码块才一定会执行呢？可能又会让你们失望了，答案是不一定会执行，这是为什么呢，请看如下的案例3：

package com.test;
    
    public class MyTest {
    
    	public static void main(String[] args) {
    
    		System.out.println("main 代码块中的执行结果为：" + myMethod());
    	}
    
    	public static int myMethod() {
    
    		try {
    			System.out.println("try 代码块被执行！");
    
    			System.exit(0);
    
    			return 0;
    		} catch (Exception e) {
    			System.out.println("catch 代码块被执行！");
    			return 0;
    		} finally {
    			System.out.println("finally 代码块被执行！");
    		}
    
    	}
    
    }

执行结果为：

try 代码块被执行！

可以看到只打印了try代码块中的语句，finally代码块中的语句并没有打印，这是因为System.exit(0)，它表示退出当前Java虚拟机，一旦退出Java虚拟机，任何代码都不会再执行。

三、你们会说，写程序一般都不会写System.exit(0)；来退出Java虚拟机，那么是不是不写System.exit(0)；finally代码块就一定会得到执行呢？

可能还是会让你们失望了，答案时不一定的，这又是为什么？来看这段文字，估计你应该会明白一些。

如果当一个线程在执行 try 语句块或者 catch 语句块时被打断（interrupted）或者被终止（killed），与其相对应的 finally 语句块可能不会执行。还有更极端的情况，就是在线程运行 try 语句块或者 catch 语句块时，突然死机或者断电，finally 语句块肯定不会执行了。

四、下面来让我们讲解一下，再排除以上finally代码块得不到执行的情况外，finally代码块与try代码块和catch代码块的执行顺序，当try和catch代码块中有return语句时，又是一个什么样的情况。请看如下的案例4：

package com.test;
    
    public class MyTest {
    
    	public static void main(String[] args) {
    
    		System.out.println("main 代码块中的执行结果为：" + myMethod());
    	}
    
    	public static int myMethod() {
    
    		int i = 6;
    		try {
    			System.out.println("try 代码块被执行！");
    
    			// i = i/0;
    
    			return 1;
    		} catch (Exception e) {
    			System.out.println("catch 代码块被执行！");
    			return 2;
    		} finally {
    			System.out.println("finally 代码块被执行！");
    		}
    
    	}
    
    }

执行结果为：

try 代码块被执行！
    finally 代码块被执行！
    main 代码块中的执行结果为：1

可以看到finally代码块中的打印语句在try代码块中的return 1; 语句之前被执行

当把 i = i/0; 前面的注释符去掉之后，其执行结果为：

try 代码块被执行！
    catch 代码块被执行！
    finally 代码块被执行！
    main 代码块中的执行结果为：2

可以看到finally代码块在catch代码块中的return 2; 语句之前被执行

五、 通过以上案例，是不是觉得自己对finally已经掌握颇深了呢？别急，还有一些是你不了解的，请听我来给你详细的讲解一下。请看如下的案例5：

package com.test;
    
    public class MyTest {
    
    	public static void main(String[] args) {
    
    		System.out.println("main 代码块中的执行结果为：" + myMethod());
    	}
    
    	@SuppressWarnings("finally")
    	public static int myMethod() {
    
    		try {
    			System.out.println("try 代码块被执行！");
    			return 1;
    		} catch (Exception e) {
    			System.out.println("catch 代码块被执行！");
    			return 2;
    		} finally {
    			System.out.println("finally 代码块被执行！");
    			return 3;
    		}
    
    	}
    
    }

其执行结果为：

try 代码块被执行！
    finally 代码块被执行！
    main 代码块中的执行结果为：3

想必看了执行结果应该很容易理解，因为finally代码块要在try代码块中的 return 1; 语句之前执行，所以当执行到finally代码块中的return 3; 语句时，myMethod()方法就结束了，并返回一个3.

六、再来看一个案例，大家可以先不看执行结果，想一下它的执行结果会是什么样子的，请看如下的案例6：

package com.test;
    
    public class MyTest {
    
    	public static void main(String[] args) {
    
    		System.out.println("main 代码块中的执行结果为：" + myMethod());
    	}
    
    	public static int myMethod() {
    
    		int i = 1;
    		try {
    
    			System.out.println("try 代码块被执行！");
    			return i;
    		} finally {
    			++i;
    			System.out.println("finally 代码块被执行！");
    			System.out.println("finally 代码块中的i = " + i);
    		}
    
    	}
    
    }

执行结果为：

try 代码块被执行！
    finally 代码块被执行！
    finally 代码块中的i = 2
    main 代码块中的执行结果为：1

是不是觉得结果有点出乎意料，最后一句输出语句的执行结果应该为2，可为什么是1呢？而且finally代码块中的 ++i 语句也的确在try代码块中的 return i; 语句之前得到执行了，finally代码块中的 i 也确实变成了2，可是为什么main函数打印出来的结果却是1呢？

通俗的说就是：先会把try或者catch代码块中的返回值保留，再来执行finally代码块中的语句，等到finally代码块执行完毕之后，在把之前保留的返回值给返回出去。

请注意，对于前面这条规则（保留返回值），只适用于 return和throw语句，不适用于break和continue语句，因为它们根本就没有返回值。

这样就能够理解为什么打印的是1，而不是2了，这是因为try代码块中先会保留return返回的1，然后再去执行finally代码块中的++i，i的值虽然变成了2，可是保留的值还是1，没有变，所以等到finally代码块执行完毕之后，try代码块就会把保留值1给返回出去

七、有了上面的讲解，我们在来看一下下面的这几个案例

案例7：

package com.test;
    
    public class MyTest {
    
    	public static void main(String[] args) {
    
    		System.out.println("main 代码块中的执行结果为：" + myMethod());
    	}
    
    	@SuppressWarnings("finally")
    	public static int myMethod() {
    
    		int i = 1;
    		try {
    
    			System.out.println("try 代码块被执行！");
    
    		} finally {
    			++i;
    			System.out.println("finally 代码块被执行！");
    			System.out.println("finally 代码块中的i = " + i);
    			return i;
    		}
    
    	}
    
    }

其执行结果为:

try 代码块被执行！
    finally 代码块被执行！
    finally 代码块中的i = 2
    main 代码块中的执行结果为：2

案例8：

package com.test;
    
    public class MyTest {
    
    	public static void main(String[] args) {
    
    		System.out.println("main 代码块中的执行结果为：" + myMethod());
    	}
    
    	public static int myMethod() {
    
    		int i = 1;
    		try {
    
    			System.out.println("try 代码块被执行！");
    			i = 3;
    		} finally {
    			++i;
    			System.out.println("finally 代码块被执行！");
    			System.out.println("finally 代码块中的i = " + i);
    
    		}
    
    		return i;
    
    	}
    
    }

其执行结果为:

try 代码块被执行！
    finally 代码块被执行！
    finally 代码块中的i = 4
    main 代码块中的执行结果为：4

八、以上的两个案例都比较好理解，接下来看一下下面这个案例9，大家可以先不看执行结果，来想一下它的执行情况

package com.test;
    
    public class MyTest {
    
    	public static void main(String[] args) {
    
    		System.out.println("main 代码块中的执行结果为：" + myMethod());
    	}
    
    	public static int myMethod() {
    
    		try {
    
    			System.out.println("try 代码块被执行！");
    			return num();
    		} finally {
    
    			System.out.println("finally 代码块被执行！");
    
    		}
    
    	}
    
    	public static int num() {
    
    		System.out.println("num 代码块被执行！");
    		return 2;
    	}
    
    }

其执行结果为:

try 代码块被执行！
    num 代码块被执行！
    finally 代码块被执行！
    main 代码块中的执行结果为：2

是不是觉得很奇怪，num()方法中的打印语句居然在finally代码块中的打印语句之前被执行，而finally代码块的打印语句又在num()方法中的 return 2; 语句之前被打印，这又是为什么呢？

其实   return num();  等同于下面这段代码

int sum = num();
    return sum;

所以就会先打印num()方法中的语句，后打印finally代码块中的语句。

通过以上讲解，是不是对finally有了一个更深的了解了呢！