Java多个catch block 中 `e`变量的类型是什么？

Question

这个问题已经有答案了:

reference type of exception issue in multi-catch block (3 个回答)

已关闭 5 年前。

Java 提供了在单个 catch block 中捕获多个异常的功能。但这让我很困惑。我怎么知道这个 block 中捕获了哪个异常？通常java中的变量只有一种类型。那么如何e变量的类型太多？

示例

try {
    // codes
    // ...
    // ..
    // .
} catch(InturreptedException | FileNotFoundException | AnotherException e) {
    // how can I know what the type of `e` is ?
}

Answer 1

e 类型是 multi-catch 子句中列出的可抛出类型中最具体的常见父类(super class)型。

如果AnotherException是Exception的某种子类型，那么在您的情况下它将是Exception，因为InterruptedException和 FileNotFoundException 将 Exception 作为最具体的常见父类(super class)型。

更准确地说，规范的内容如下:

The declared type of an exception parameter that denotes its type as a union with alternatives D1 | D2 | ... | Dn is lub(D1, D2, ..., Dn) (§15.12.2.7).

lub 是 Java 语言规范第 4.10.4 节中定义的“最小上限”: https://docs.oracle.com/javase/specs/jls/se8/html/jls-4.html