探讨try-finally结构中finally块的执行情况

探讨 try-finally 结构中 finally 块的执行情况

在 Java 编程语言中，try-finally 结构用于确保一段代码无论是否发生异常都能被执行。但是，对于 finally 块是否会始终执行，存在一些特殊情况需要我们注意。

结论概览：

• 如果在 try 块之前就已经返回结果，则 finally 块不会被执行。


• 若 try 块内抛出异常，会先执行 catch 块（如果有的话），然后执行 finally 块。


• 如果 try 块或 catch 块中有返回语句，finally 块仍然会被执行，但其内的返回语句会覆盖之前的返回值。

案例分析

1. 在 try 块前返回结果

public class Demo01 {
    private static int test() {
        int i = 1;
        if (i == 1) return i;
        try {
            System.out.println("执行try");
        } finally {
            System.out.println("执行finally");
        }
        return 0;
    }

    public static void main(String[] args) {
        System.out.println("执行main：" + test());
    }
}

此例中，由于在 try 块前已返回结果，因此 finally 块不会被执行。

2. try 块内抛出异常

public class Demo02 {
    private static int test02() {
        try {
            System.out.println("执行try");
            return 1 / 0;
        } catch (Exception e) {
            System.out.println("执行catch");
            return 11;
        } finally {
            System.out.println("执行finally");
        }
    }

    public static void main(String[] args) {
        System.out.println("执行main：" + test02());
    }
}

在这个例子中，try 块内发生了除零错误，因此跳转到 catch 块，并最终执行 finally 块。

3. try 块内有返回语句

public class Demo03 {
    private static int test03() {
        int i = 0;
        try {
            System.out.println("执行try：" + i);
            return i;
        } finally {
            ++i;
            System.out.println("执行finally：" + i);
        }
    }

    public static void main(String[] args) {
        System.out.println("执行main：" + test03());
    }
}

这里，尽管 try 块中有返回语句，但 finally 块仍然会执行，不过最终返回的是 try 块中的值。

4. try 和 finally 块中均有返回语句

public class Demo04 {
    private static int test04() {
        try {
            System.out.println("执行try");
            return 1;
        } finally {
            System.out.println("执行finally");
            return 2;
        }
    }

    public static void main(String[] args) {
        System.out.println("执行main：" + test04());
    }
}

在这个场景下，虽然 try 块中有返回语句，但由于 finally 块也包含返回语句，因此最终返回的是 finally 块中的值。

5. 进一步理解 try 和 finally 块中均有返回语句的情况

public class Demo05 {
    private static int test05() {
        int i = 1;
        try {
            System.out.println("执行try：" + i);
            i++;
            return i;
        } finally {
            ++i;
            System.out.println("执行finally：" + i);
            return i;
        }
    }

    public static void main(String[] args) {
        System.out.println("执行main：" + test05());
    }
}

此例进一步展示了即使 try 块中有返回语句，finally 块中的返回语句依然会覆盖前者的结果。

通过上述案例，我们可以更全面地理解 try-finally 结构中 finally 块的执行逻辑及其在不同情况下的行为表现。