Java 中的嵌套 try-finally 块、等价和保证

将 an 和 an 添加到组合中，它变得比现在更清楚，这是一个难以维护的混乱，需要注释解释为什么你有这种奇怪的嵌套尝试块组合。s4s5

因此，我建议你这样做：

Throwable t = null;
try { s1(); } catch (Throwable e) {t = e;}
try { s2(); } catch (Throwable e) {t = e;}
try { s3(); } catch (Throwable e) {t = e;}
if (t != null) throw t;

您可以花一些时间，并用实用程序方法（）替换，如果已经发生异常，则将它们附加为抑制异常，就像try-finally一样。t = e;t = update(t, e);

或者，更好的是，添加 lambda 支持：

public final class Cleanup {
  public interface CleanupJob<T extends Throwable> {
    void cleanup() throws T;
  }

  @SafeVarargs
  public static <T extends Throwable> void cleanup(CleanupJob<? extends T>... jobs) {
    Throwable ex = null;
    for (var job : jobs) try {
      job.cleanup();
    } catch (Exception e) {
      if (ex == null) {
        ex = e;
      } else {
        ex.addSuppressed(e);
      }
    }

    if (ex != null) throw (T) ex;
  }
}

要使用：

import static CleanupRunner.cleanup;

...

cleanup(
() -> s1(),
() -> s2(),
() -> s3(),
() -> s4());

// or even

cleanup(
  this::s1,
  ref::s2,
  SomeClass::staticS3
);

此外，从理论上讲，JVM 在第一个代码示例中抛出 Error 是否可能 // 而不是语句（请参阅下面的代码），从而不再尝试内部 try 块？

事实并非如此。

"...我想确保每个语句都尝试执行（全部或根本不执行）。..."

在前面，使用提供的示例，将执行所有语句。
不会有，“......或者根本没有”。

使用布尔值，这是一个示例。

boolean exit = false;
try {
        
} catch (Throwable t) {
    exit = true;
} finally {
    if (!exit) {
        try {

        } catch (Throwable t) {
            exit = true;
        } finally {
        
        }
    }
}

通常，最终代码块用于简单地应用最终过程。
在某些情况下，这实际上是必要的，例如，关闭 Closeable 对象。
实际上，这就是实现 AutoCloseable 接口和 try-with-resources 语法的原因。

int value;
try {
    value = Integer.parseInt("abc");
} finally {
    value = 123;
}

换句话说，虽然您的代码是允许的并且有效，但您通常不希望继续嵌套 try 代码块。
只需重新评估您当前的设计和控制流程即可。

"...然后我注意到还有另一种（也许更正确？）方法可以做同样的事情......”

没错，此示例将提供相同的功能。
而且，我想解释器会为每个编译一个类似的“字节码”。

"...就 JVM 提供的保证而言，这些方法之间实际上存在差异吗？..."

保证是一样的;抽象是一样的。
每个最终方块都会被执行，无论是否投掷了 Throwable;与 Catch 块不同。

"...从理论上讲，JVM是否有可能在第一个代码示例中抛出错误...这样内部的尝试块就不再尝试了？..."

同样，如果在该行抛出 Error，则不会执行任何后续代码。
该程序将简单地停止并退出。
您还需要将该代码放在 try-catch 块中。

try {

} finally {
    try {
        throw new Error();
    } finally {

    }
}