不总是这样

Java语言规范描述了try-catch finally和try-catch块在14.20.2在任何地方，它都不会指定始终执行finally块。但对于try-catch-finally和try-finally块完成的所有情况，它确实指定在完成之前必须执行finally。

try {
  CODE inside the try block
}
finally {
  FIN code inside finally block
}
NEXT code executed after the try-finally block (may be in a different method).

JLS不保证在CODE之后执行FIN。JLS保证，如果执行CODE和NEXT，则FIN将始终在CODE之后和NEXT之前执行。

为什么JLS不能保证finally块总是在try块之后执行？因为这是不可能的。在完成try块之后但在执行finally块之前，JVM不太可能被中止（终止、崩溃、断电）。JLS无法避免这种情况。

因此，任何软件的正常行为都取决于最终块，总是在其尝试块完成后执行。

try块中的返回指令与此问题无关。如果执行在try-catch finally之后到达代码，则可以保证finally块之前已经执行过，无论是否在try块内有返回指令。

添加到@vibhash的答案中，因为没有其他答案解释了在像下面这样的可变对象的情况下会发生什么。

public static void main(String[] args) {
    System.out.println(test().toString());
}

public static StringBuffer test() {
    StringBuffer s = new StringBuffer();
    try {
        s.append("sb");
        return s;
    } finally {
        s.append("updated ");
    }
}

将输出

sb已更新

是的，会的。无论try或catch块中发生什么，除非调用System.exit（）或JVM崩溃。如果块中有任何return语句，finally将在该return语句之前执行。

此外，finally的返回将丢弃任何异常。http://jamesjava.blogspot.com/2006/03/dont-return-in-finally-clause.html

这是Java语言规范中的官方词汇。

14.20.2.执行try finally和try catch finally

带有finally块的try语句通过首先执行try块来执行。然后有一个选择：如果try块的执行正常完成，[…]如果try块的执行因抛出值V而突然完成，[…]如果由于任何其他原因R，try块的执行突然完成，则执行finally块。然后有一个选择：如果finally块正常完成，则try语句由于原因R而突然完成。如果finally块因原因S而突然完成，则try语句因原因S突然完成（并且原因R被丢弃）。

返回的规范实际上明确了这一点：

JLS 14.17退货声明

退货声明：返回表达式（opt）；没有表达式的return语句试图将控制传递给包含它的方法或构造函数的调用者。带有表达式的return语句试图将控制权传递给包含它的方法的调用者；表达式的值变为方法调用的值。前面的描述说的是“试图传递控制”而不仅仅是“传递控制”，因为如果在方法或构造函数中有任何try语句，其try块包含return语句，那么在将控制传递给方法或构造函数的调用程序之前，这些try语句的任何finally子句都将按从内到外的顺序执行。finally子句的突然完成可能会中断由return语句发起的控制权转移。

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