简而言之，在官方Java文档（单击此处）中-

如果JVM在执行try或catch代码时退出，则finally块可能不执行。同样，如果线程执行try-or-catch代码被中断或终止，finally块可能即使应用程序作为一个整体继续，也不会执行。

以下是一些可以绕过finally块的条件：

如果在执行try或catch代码时JVM退出，那么finally块可能不会执行。更多太阳教程正常关闭-当最后一个非守护程序线程退出时，或者当Runtime.exit（）（一些不错的博客）时，都会发生这种情况。当线程退出时，JVM会对正在运行的线程进行盘点，如果只剩下守护进程线程，则会启动有序关闭。当JVM停止时，所有剩余的守护程序线程都将被放弃。如果不执行块，堆栈也不会被解开，JVM只会退出。守护程序线程应该很少使用，很少有处理活动可以在任何时候安全地放弃，而无需清理。特别是，将守护程序线程用于可能执行任何类型I/O的任务是危险的。守护程序线程最好保存用于“内务管理”任务，例如后台线程，它定期从内存缓存中删除过期条目（源）

最后一个非守护程序线程退出示例：

public class TestDaemon {
    private static Runnable runnable = new Runnable() {
        @Override
        public void run() {
            try {
                while (true) {
                    System.out.println("Is alive");
                    Thread.sleep(10);
                    // throw new RuntimeException();
                }
            } catch (Throwable t) {
                t.printStackTrace();
            } finally {
                System.out.println("This will never be executed.");
            }
        }
    };

    public static void main(String[] args) throws InterruptedException {
        Thread daemon = new Thread(runnable);
        daemon.setDaemon(true);
        daemon.start();
        Thread.sleep(100);
        // daemon.stop();
        System.out.println("Last non-daemon thread exits.");
    }
}

输出：

Is alive
Is alive
Is alive
Is alive
Is alive
Is alive
Is alive
Is alive
Is alive
Is alive
Last non-daemon thread exits.
Is alive
Is alive
Is alive
Is alive
Is alive

是的，因为没有控制语句可以阻止finally被执行。

下面是一个参考示例，其中将执行所有代码块：

| x | Current result | Code 
|---|----------------|------ - - -
|   |                |     
|   |                | public static int finallyTest() {
| 3 |                |     int x = 3;
|   |                |     try {
|   |                |        try {
| 4 |                |             x++;
| 4 | return 4       |             return x;
|   |                |         } finally {
| 3 |                |             x--;
| 3 | throw          |             throw new RuntimeException("Ahh!");
|   |                |         }
|   |                |     } catch (RuntimeException e) {
| 4 | return 4       |         return ++x;
|   |                |     } finally {
| 3 |                |         x--;
|   |                |     }
|   |                | }
|   |                |
|---|----------------|------ - - -
|   | Result: 4      |

在下面的变体中，返回x；将跳过。结果仍然是4:

public static int finallyTest() {
    int x = 3;
    try {
        try {
            x++;
            if (true) throw new RuntimeException("Ahh!");
            return x; // skipped
        } finally {
            x--;
        }
    } catch (RuntimeException e) {
        return ++x;
    } finally {
        x--;
    }
}

当然，引用可以跟踪其状态。此示例返回值为4的引用：

static class IntRef { public int value; }
public static IntRef finallyTest() {
    IntRef x = new IntRef();
    x.value = 3;
    try {
        return x;
    } finally {
        x.value++; // will be tracked even after return
    }
}

最后总是执行Block。除非和直到存在System.exit（）语句（finally块中的第一条语句）。如果system.exit（）是第一条语句，那么finally块将不会被执行，控制权将从finally块中释放出来。每当System.exit（）语句进入finally块，直到该语句最终执行块，当System.exit）出现时，控制力完全从finally块中释放出来。

finally块总是在返回x（计算）值之前执行。

System.out.println("x value from foo() = " + foo());

...

int foo() {
  int x = 2;
  try {
    return x++;
  } finally {
    System.out.println("x value in finally = " + x);
  }
}

输出：

最终x值=3来自foo（）的x值=2

这就是最后一块的全部想法。当然，它可以让你确保你做了清理，否则可能会因为你回来而被跳过。

不管try块中发生了什么，最终都会被调用（除非您调用System.exit（int）或Java虚拟机因其他原因退出）。