Java:异常

Question

为什么这段代码是正确的:

try {

} catch(ArrayOutOfBoundsException e) {}

这是错误的:

try {

} catch(IOException e) {}

这段代码是错误的，因为在 try 主体中从未抛出 IOException，但在第一个主体中也从未抛出 ArrayOutOfBoundsException。第一个代码是正确的。为什么？？我是否也可以创建自己的异常，例如 IOException(必须在捕获之前抛出)？

Answer 1

ArrayIndexOutOfBoundsException是一个运行时异常(因为它是 java.lang.RuntimeException 的子级)，因此理论上它可以在任何地方抛出。任何代码都可以抛出所有运行时异常，而包含方法不需要在 throws 子句中声明它；因此编译器不会尝试检查任何给定代码块是否实际抛出此类异常。无论如何，这在任何非平凡的情况下都是不可能的；任何包含对非最终类的至少一个方法调用的代码都可能抛出这样的异常(即使您当前的类都没有这样做，也可以在运行时使用不同的子类来这样做) .

另一方面，IOException 是一个已检查的异常，因此只能由在其 throws 子句*中明确声明它的方法抛出。

参见 this Sun article有关已检查异常与未检查异常的更多哲学。还要注意，这有点像是一场宗教 war ，双方都在插入所有异常(exception)情况。

编辑:澄清一下，在您的第一个示例中，编译器可以可能会验证 AIOOBE 永远不会被抛出。但事实并非如此；首先，因为它只能在这种简单的情况下(比如这个)这样做，不会带来任何实际好处；其次，如果有时允许您包含“不可能的”运行时异常但有时不允许包含它，则可能会更加困惑，例如:

// Preparation stuff
private void myNoop() {}
public void publicNoop() {}
public final void finalNoop() {}

// hypothetically illegal (same as your first example)
try {
    // do nothing
} catch (ArrayIndexOutOfBoundsException e) {}

// hypothetically illegal (myNoop() can't be overridden)
try {
    myNoop();
} catch (ArrayIndexOutOfBoundsException e) {}

// hypothetically illegal (finalNoop() can't be overridden)
try {
    finalNoop();
} catch (ArrayIndexOutOfBoundsException e) {}

// legal (publicNoop() could do anything at runtime)
try {
    publicNoop();
} catch (ArrayIndexOutOfBoundsException e) {}

在我看来，更改方法(或实际上是类)的访问级别或最终性会突然改变捕获某些运行时异常的合法性，这似乎很奇怪。尤其是当您考虑到 catch block 在堆栈中的级别可能比被更改的方法高几个级别时...

此外，拥有一个永远不会被调用的 catch block 是无害的，真的。 “如果出现 AIOOBE，这就是你如何处理它”——而且它永远不会在运行时发生。实际上，检查异常也会发生同样的情况；例如，Callable.call()被声明为抛出 Exception，但您正在使用的特定实现可能永远不会抛出任何异常 - 因此，您将再次获得有关如何处理永远不会在运行时调用的异常的说明。

最终，编译器只是指出了差异——“你确定你打算捕获 IOException，因为这段代码永远不会运行吗？”这就像静态类型，因为它会自动提醒您界面的变化。存在运行时异常，因此您不必声明每一个方法来抛出 NullPointerException 等。

*从技术上讲，这不是严格意义上的，这有一些低级漏洞，但从广义上讲是这样的。异常通常是异常、人工制品和/或已弃用。