Checked Exception 2种行为

Question

我注意到有两种检查异常：

1)

public static void main (String []args)
{
    try{
        //no exception thrown here, it still compiles though.
    }
    catch(Exception e){System.out.println(e);}
}

2)

public static void main (String []args)
{
    try{
         // it does not compile if not written any code which potentially might throw it
    }
    catch(IOException io){System.out.println(io);}
}

是否有任何规则可以预测这种行为？提前知道哪些不是必须在场的吗？ 希望我已经很清楚地解释了这个问题。 谢谢， 确实是

Answer 1

Java Language specification 状态

如果catch 子句可以catch 被检查，这是一个编译时错误 异常类 E1 并且 try 块不是这种情况 对应catch子句可以抛出检查异常类 是 E1 的子类或超类，除非 E1 是 Exception 或 异常的超类。

Answer 2

代码使用Exception 编译得很好，因为它是所有Checked 和Unchecked 异常的超类。因此，带有Exception 的catch 子句也可以处理未经检查的异常。对于未经检查的异常，编译器无法在编译时检查是否抛出了异常。因此，Exception 不会出现任何错误。

你甚至可以用RuntimeException试试这个：

try {

} catch (RuntimeException e) {

}

...这也将编译。

来自JLS Section 11.2.3 - Exception Checking：

如果catch 子句可以捕获已检查的异常类E1，并且与catch 子句对应的try 块不能抛出作为E1 的子类或超类的已检查异常类，则这是编译时错误，除非 E1 是 Exception 或 Exception 的超类。

Answer 3

Exception 本身是一个已检查异常，但也是 RuntimeException 和其他未检查异常的超类。

1) 在第一种情况下，因为Exception 类层次结构包括RunTimeException，编译器不能断定Exception 将不会被抛出你的try { ... } 块。所以，它必须允许代码。

它可以确认肯定情况（如果你调用声明throws Exception或非运行时子类的方法），但不能确认否定情况。

2) 在第二种情况下，它可以在编译时得出结论，IOException 不会被抛出try { ... } 块，因为IOException （除了Exception 本身之外，也没有任何其他已检查异常）不是任何运行时异常的超类。

---

在以下行为中，我认为Exception是唯一一种结合了两种类型的特殊情况：

如果抛出：
1A.不需要声明或 1B.必须声明

如果声明：
2A.不需要抛出或 2B.必须扔掉

如果不扔：
3A.可能会被抓住或 3B.不能被抓到

• RuntimeException：1A、2A、3A
• 任何其他已检查的异常：1B、2B、3B
• 例外：1B、2A、3A

---

此答案中有关已检查与未检查异常的更多信息：https://stackoverflow.com/a/6116020/143295