添加到@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已更新

这是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语句发起的控制权转移。

即使在try块中放入return语句，也始终执行finally块。finally块将在return语句之前执行。

除了最后替换try块中的返回之外，异常也是如此。引发异常的finally块将替换try块中引发的返回或异常。

下面是凯文的回答。重要的是要知道，要返回的表达式在finally之前求值，即使在finally之后返回。

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

public static int printX() {
    System.out.println("X");
    return 0;
}

public static int test() {
    try {
        return printX();
    }
    finally {
        System.out.println("finally trumps return... sort of");
        return 42;
    }
}

输出：

X
finally trumps return... sort of
42

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

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