据我了解，Java/JVM 中的最佳实践规定您永远不应捕获 Throwable直接，因为它涵盖了Error这恰好包含像 OutOfMemoryError 这样的东西和 KernelError .一些引用 here和 here .

但是在 Scala 标准库中，有一个提取器 NonFatal被广泛推荐(并被 Akka 等流行库广泛使用)作为 catch 中的最终处理程序(如果需要的话) block 。正如所怀疑的那样，这个提取器恰好捕获了 Throwable如果它是 fatal error 之一，则重新抛出它。查看代码 here .

这可以通过一些反汇编的字节码进一步证实:

问题:

1. 我在第一段中所做的假设是否正确？还是我假设抓不到 Throwable 是不正确的？ ？
2. 如果这个假设是正确的，NonFatal 的行为可以吗？导致严重问题？如果不是，为什么不呢？

最佳答案

注意捕获 Throwable发生的频率比您可能意识到的要高。其中一些情况与 Java 语言功能紧密结合，可能会生成与您所展示的非常相似的字节代码。

首先，因为 finally 没有悬而未决的在字节码级别，它通过为 Throwable 安装异常处理程序来实现这将执行 finally 的代码在重新抛出 Throwable 之前阻塞如果代码流到达那个点。此时你可能会做非常糟糕的事情:

try
{
    throw new OutOfMemoryError();
}
finally
{
    // highly discouraged, return from finally discards any throwable
    return;
}

没有

try
{
    throw new OutOfMemoryError();
}
finally
{
    // highly discouraged too, throwing in finally shadows any throwable
    throw new RuntimeException("has something happened?");
}

java.lang.RuntimeException: has something happened?
    at Throwables.example2(Throwables.java:45)
    at Throwables.main(Throwables.java:14)

当然，finally 也有合法的用例，就像做资源清理一样。使用类似字节码模式的相关构造是 synchronized ，这将在重新抛出之前释放对象监视器:

Object lock = new Object();
try
{
    synchronized(lock) {
        System.out.println("holding lock: "+Thread.holdsLock(lock));
        throw new OutOfMemoryError();
    }
}
catch(Throwable t) // just for demonstration
{
    System.out.println(t+" has been thrown, holding lock: "+Thread.holdsLock(lock));
}

holding lock: true
java.lang.OutOfMemoryError has been thrown, holding lock: false

try-with-resource声明更进一步；它可能会通过记录 close() 抛出的后续抑制异常来修改挂起的 throwable操作:

try(AutoCloseable c = () -> { throw new Exception("and closing failed too"); }) {
    throw new OutOfMemoryError();
}

java.lang.OutOfMemoryError
    at Throwables.example4(Throwables.java:64)
    at Throwables.main(Throwables.java:18)
    Suppressed: java.lang.Exception: and closing failed too
        at Throwables.lambda$example4$0(Throwables.java:63)
        at Throwables.example4(Throwables.java:65)
        ... 1 more

此外，当你 submit ExecutorService 的任务, 所有 throwables 都将被捕获并记录在返回的 future 中:

ExecutorService es = Executors.newSingleThreadExecutor();
Future<Object> f = es.submit(() -> { throw new OutOfMemoryError(); });
try {
    f.get();
}
catch(ExecutionException ex) {
    System.out.println("caught and wrapped: "+ex.getCause());
}
finally { es.shutdown(); }

caught and wrapped: java.lang.OutOfMemoryError

在 JRE 提供执行程序服务的情况下，责任在于 FutureTask 这是默认值 RunnableFuture 内部使用。我们可以直接演示该行为:

FutureTask<Object> f = new FutureTask<>(() -> { throw new OutOfMemoryError(); });
f.run(); // see, it has been caught
try {
    f.get();
}
catch(ExecutionException ex) {
    System.out.println("caught and wrapped: "+ex.getCause());
}

caught and wrapped: java.lang.OutOfMemoryError

但是 CompletableFuture 表现出捕获所有可抛出物的类似行为。

// using Runnable::run as Executor means we're executing it directly in our thread
CompletableFuture<Void> cf = CompletableFuture.runAsync(
    () -> { throw new OutOfMemoryError(); }, Runnable::run);
System.out.println("if we reach this point, the throwable must have been caught");
cf.join();

if we reach this point, the throwable must have been caught
java.util.concurrent.CompletionException: java.lang.OutOfMemoryError
    at java.base/java.util.concurrent.CompletableFuture.encodeThrowable(CompletableFuture.java:314)
    at java.base/java.util.concurrent.CompletableFuture.completeThrowable(CompletableFuture.java:319)
    at java.base/java.util.concurrent.CompletableFuture$AsyncRun.run(CompletableFuture.java:1739)
    at java.base/java.util.concurrent.CompletableFuture.asyncRunStage(CompletableFuture.java:1750)
    at java.base/java.util.concurrent.CompletableFuture.runAsync(CompletableFuture.java:1959)
    at Throwables.example7(Throwables.java:90)
    at Throwables.main(Throwables.java:24)
Caused by: java.lang.OutOfMemoryError
    at Throwables.lambda$example7$3(Throwables.java:91)
    at java.base/java.util.concurrent.CompletableFuture$AsyncRun.run(CompletableFuture.java:1736)
    ... 4 more

所以最重要的是，您不应该关注 Throwable 是否存在的技术细节。会在某处被捕获，但代码的语义。这是否用于忽略异常(坏)或尽管已报告严重的环境错误(坏)或仅用于执行清理(好)但仍尝试继续？上面描述的大多数工具都可以用于好的和坏的......

关于java - NonFatal 捕获 Throwable 可以吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/49774518/