为什么我可以在一个 catch 块上捕获多个异常，但不能在一个方法中放入多个参数？

Question

从 Java 7 开始，以下代码是可能的：

    try{
        ...
    }
    catch(FileNotFoundException | SomeOtherException e){
        e.printStackTrace();
    }

但在方法中模拟语法不是：

    public int test(int |double d){
        ...
    }

而必须这样做

    public int test(int d){
        ...
    }
    public int test(double d){
        ...
    }

或者这个：

    public class Foo<E>{
        ...
        public int test(E something){
            ...
        }
    }

为什么我不能在像 catch 块这样的方法中做这么简单的事情？是什么让 catch 块与众不同（除了捕获异常和它是一个块的事实）？

感谢您的帮助。

Answer 1

新的catch 子句中的语法并非完全偏离 OOP 标准。

e 变量的编译器类型是您声明的所有异常的公共超类。因此，如果您声明这样的内容，

catch (IllegalArgumentException | OutOfMemoryError e)

那么e 的实际类型是Throwable，这确实有些道理。因此，在 catch 块内，您不能调用特定于两个异常中的任何一个的方法，而只能调用 Throwable 类中存在的方法。

在你的例子中，

public int test(int | double d)

d 的编译类型是什么？ Java 是静态类型的，所以这个声明没有任何意义。

所以我认为在try...catch 的情况下，您可以通过继承静态键入变量；在你的例子中这是不可能的，这就是它被禁止的原因。

Answer 2

try{
        ...
    }
    catch(FileNotFoundException | IOException e){
        e.printStackTrace();
    }

您也不能这样做，因为 FileNotFoundException 是 IOException 的子类：multi-catch 语句中的替代项不能通过子类化关联

Answer 3

当您捕获多个异常时，变量e 具有最接近的公共超类的类型，通常是Exception。 int|double 不能这样做，因为它们没有共同的超类（它们是原语）。

你可以用方法做类似的事情：

// Instead of 
public void test(IOException | NullPointerException e) {...
// Just write
public void test(Exception e) { ...

这当然会接受所有例外情况。为了防止这种情况，你可以写：

public void test(IOException e) {test2(e);}
public void test(NullPointerException e) {test2(e);}
private void test2(Exception e) { ...

您可能会争辩说，使用| 运算符作为它的简写会很有用，但碰巧您在现实世界中很少这样做。所以没有实现这个的愿望。

另一方面，您在捕获异常时经常这样做。在 java 中引入 multi-catch 之前，你经常会看到这样的东西：

} catch(FileNotFoundException e){
    handleException(e);
} catch(IllegalArgumentException e){
    handleException(e);
} catch(SomeOtherException e){
    handleException(e);
}