网上有很多人探讨Java中异常捕获机制try…catch…finally块中的finally语句是不是一定会被执行？

很多人都说不是，当然他们的回答是正确的，经过我试验，至少有两种情况下finally语句是不会被

  • try语句没有被执行到，如在try语句之前就返回了，这样finally语句就不会执行，这也说明了finally语句被执行的必要而非充分条件是：相应的try语句一定被执行到。
  • 在try块中有System.exit(0);这样的语句，System.exit(0);是终止Java虚拟机JVM的，连JVM都停止了，所有都结束了，当然finally语句也不会被执行到。

当然还有很多人探讨finally语句的执行与return的关系，我这里总结一段话来说明整个的执行过程：

  1. 首先try语句如果没发生异常，会执行try语句return后面的表达式，确定try语句返回的值
  2. 如果try语句发生异常，那么会执行catch语句return后面的表达式，确定catch语句返回的值
  3. 除了上面说的两种情况，其他情况都会执行到finally语句，会执行finally语句return后面的表达式，确定finally语句返回的值
  4. 最后确定返回值，如果finally语句有执行到，并且有return语句，那么返回值就是finally语句的返回值，否则返回值是try语句的返回值或者catch语句的返回值

下面我举例说明：

测试用例1：

public class FinallyTest2 {
 
    public static void main(String[] args) {
 
        System.out.println(test2());
    }
 
    public static int test2() {
        int b = 20;
 
        try {
            System.out.println("try block");
 
            return b += 80;
        } catch (Exception e) {
 
            System.out.println("catch block");
        } finally {
 
            System.out.println("finally block");
 
            if (b > 25) {
                System.out.println("b>25, b = " + b);
            }
 
            return 200;
        }
 
        // return b;
    }
 
}

运行结果是：

try block
finally block
b>25, b = 100
200

执行过程分析：

  1. 执行第15行，b值为100，第15行变成return 100;
  2. 执行到23行，因为b这时候的值是100，所以会执行24行
  3. 执行到27行，会直接返回200（前面说过了finally语句的返回值会覆盖try或者catch的返回值）

测试用例2：

public class FinallyTest3 {
 
    public static void main(String[] args) {
 
        System.out.println(test3());
    }
 
    public static int test3() {
        int b = 20;
 
        try {
            System.out.println("try block");
 
            return b += 80;
        } catch (Exception e) {
 
            System.out.println("catch block");
        } finally {
 
            System.out.println("finally block");
 
            if (b > 25) {
                System.out.println("b>25, b = " + b);
            }
 
            b = 150;
        }
 
        return 2000;
    }
}

运行结果是：

try block
finally block
b>25, b = 100
100

执行过程分析：

  1. 执行第15行，b值为100，第15行变成return 100;
  2. 执行到23行，因为b这时候的值是100，所以会执行24行
  3. 执行到27行，b的值虽然变成了150，但是这个时候finally语句执行完了，然后会返回第15行的结果return 100;

测试用例3：

import java.util.*;
 
public class FinallyTest6
{
    public static void main(String[] args) {
        System.out.println(getMap().get("KEY").toString());
    }
     
    public static Map<String, String> getMap() {
        Map<String, String> map = new HashMap<String, String>();
        map.put("KEY", "INIT");
         
        try {
            map.put("KEY", "TRY");
            return map;
        }
        catch (Exception e) {
            map.put("KEY", "CATCH");
        }
        finally {
            map.put("KEY", "FINALLY");
            map = null;
        }
         
        return map;
    }
}

运行结果是：

FINALLY

执行过程分析：

  1. 执行第16行，第16行变成return map对象的内存地址;
  2. finally语句执行完了之后，map对象存储的内容为KEY-FINALLY，然后会返回到第16行，方法返回map对象的内存地址
  3. 打印map对象的value,结果肯定是FINALLY啦。

关于try catch finally语句网上有很多分析的文章，我觉得其实记住两点就行了，一个是执行return语句的时候，会将return语句后面表达式的值计算出来并且后面不再变化，另外一个是return语句的覆盖问题，后面的return语句会覆盖前面的return语句。记住这两点再去分析try catch finally语句就很容易了。