这在任何语言中都是事实。。。finally将始终在return语句之前执行，无论该返回在方法体中的何处。如果不是这样的话，finally块就没有什么意义了。

是的，finally将在执行try或catch代码块后调用。

唯一不会被调用的时间是：

如果调用System.exit（）如果调用Runtime.getRuntime（）.hart（exitStatus）如果JVM首先崩溃如果JVM到达try或catch块中的无限循环（或其他一些不可中断、不终止的语句）如果操作系统强制终止JVM进程；例如，在UNIX上，kill-9<pid>如果主机系统失效；例如，电源故障、硬件错误、操作系统死机等如果finally块将由守护程序线程执行，并且所有其他非守护程序线程在finally调用之前退出

考虑这一点的逻辑方法是：

放置在finally块中的代码必须在try块中执行因此，如果try块中的代码试图返回一个值或抛出一个异常，则该项将被“搁置”，直到finally块可以执行因为finally块中的代码（根据定义）具有高优先级，所以它可以返回或抛出任何它喜欢的东西。在这种情况下，“搁在架子上”的任何东西都会被丢弃。唯一的例外是，如果VM在try块期间完全关闭，例如通过“System.exit”

最终将执行，这是肯定的。

在以下情况下，finally将不执行：

案例1：

执行System.exit（）时。

案例2：

当JVM/线程崩溃时。

案例3：

手动停止执行时。

如果在嵌套的finally块中引发异常，finally也可以提前退出。编译器会警告你finally块没有正常完成，或者给出一个错误，说明你有无法访问的代码。仅当抛出不在条件语句后面或循环内部时，才会显示不可访问代码的错误。

try{
}finally{
   try{
   }finally{
      //if(someCondition) --> no error because of unreachable code
      throw new RunTimeException();
   }
   int a = 5;//unreachable code
}

是的，因为没有控制语句可以阻止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
    }
}