公认的答案在几乎所有方面都是正确的，但它仍然只是事实的一半（好吧，95%的事实）。

假设以下代码：

private final Lock m_Lock = new ReentrantLock();
…
public final SomeObject doSomething( final SomeObject arg )
{
  final SomeObject retValue;
  try
  {
    lock.lock();
    retValue = SomeObject( arg );
  }
  finally
  {
    out.println( "Entering finally block");
    callingAnotherMethod( arg, retValue );
    lock.unlock();
  }
  
  return retValue;
}
…
try
{
   final var result = doSomething( new SomeObject() );
}
catch( final StackOverflowError e ) { /* Deliberately ignored */ }

调用doSomething（）方法将几乎立即导致StackOverflowError。

锁也不会松开！

但是，当finally块总是被执行时（接受的答案中已经列出了例外情况），这怎么会发生呢？

这是因为不能保证finally块中的所有语句都真正执行！

如果在调用lock.unlock（）之前调用System.exit（）或throws语句，这将是显而易见的。

但示例代码中没有类似的内容…

除此之外，调用lock.unlock（）之前finally块中的另外两个方法调用将导致另一个StackOverflowError…

瞧，锁没有松开！

虽然这样的示例代码很愚蠢，但在许多类型的软件中都可以找到类似的模式。只要最后一个街区没有发生什么丑恶的事情，一切都会好起来的…

有趣的事实是，它在Java的更高版本中不起作用（这意味着在更高的版本中，锁被释放了…）。不知道何时以及为什么会发生变化。

但您仍然必须确保finally块始终正常终止，否则它是否始终被执行可能无关紧要…

如果不处理异常，在终止程序之前，JVM将执行finally块。仅当程序的正常执行因以下原因而失败时，才会执行程序。。

通过导致导致进程中止的致命错误。由于内存损坏，程序终止。通过调用System.exit（）如果程序进入无限循环。

我尝试了上面的示例，但稍作修改-

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

public static int test() {
    int i = 0;
    try {
        i = 2;
        return i;
    } finally {
        i = 12;
        System.out.println("finally trumps return.");
    }
}

上述代码输出：

最终战胜了回报。2.

这是因为当返回i；i的值为2。在此之后，执行finally块，其中12被分配给i，然后执行System.out-out。

在执行finally块之后，try块返回2，而不是返回12，因为该返回语句不会再次执行。

如果您将在Eclipse中调试此代码，那么您会感觉到在执行System.out of finally块之后，try块的返回语句将再次执行。但事实并非如此。它只返回值2。

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

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

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

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