finally块总是在Java中执行吗？

考虑到这段代码，我能绝对确定finally块总是执行的吗，不管something（）是什么？

try {  
    something();  
    return success;  
}  
catch (Exception e) {   
    return failure;  
}  
finally {  
    System.out.println("I don't know if this will get printed out");
}

当前回答

公认的答案在几乎所有方面都是正确的，但它仍然只是事实的一半（好吧，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块始终正常终止，否则它是否始终被执行可能无关紧要…

2022-01-24 22:15:15

其他回答

我对不同论坛上提供的所有答案感到非常困惑，最终决定编码并查看。输出为：

即使try-and-catch块中有返回，也将执行finally。

try {  
  System.out.println("try"); 
  return;
  //int  i =5/0;
  //System.exit(0 ) ;
} catch (Exception e) {   
  System.out.println("catch");
  return;
  //int  i =5/0;
  //System.exit(0 ) ;
} finally {  
   System.out.println("Print me FINALLY");
}

输出

尝试最后打印我

如果返回被上述代码中try-and-catch块中的System.exit（0）替换，并且由于任何原因，在它之前发生了异常。

2015-05-13 11:11:01

除非由于JVM崩溃或调用System.exit（0）而导致程序异常终止，否则finally块将始终执行。

除此之外，finally块中返回的任何值都将覆盖finally块执行之前返回的值，因此在使用try finally时，请注意检查所有退出点。

2008-09-15 18:11:55

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

2008-09-15 18:03:05

无论异常处理与否，Finally块始终执行。如果在try块之前发生任何异常，那么Finally块将不会执行。

2014-02-17 08:48:25

在两种独特的情况下，返回后不会调用finally块：如果首先调用System.exit（），或者JVM崩溃。