为什么编译器在方法永远不会抛出异常的情况下允许抛出

Question

我想知道为什么java编译器允许在方法声明中抛出，而方法永远不会抛出异常。因为“throws”是处理异常的一种方式（告诉调用方处理它）。

因为有两种处理异常的方法（抛出和try/catch）。在try/catch中，它不允许捕获try块中未抛出的异常，但它允许在不抛出异常的方法中抛出。

private static void methodA() {
    try {
        // Do something
        // No IO operation here
    } catch (IOException ex) {  //This line does not compile because
                              //exception is never thrown from try
        // Handle   
    }
}

private static void methodB() throws IOException { //Why does this //compile when excetion is never thrown in function body
    //Do Something 
    //No IO operation
}

Answer 1

throws子句是方法契约的一部分。它要求方法的调用方的行为就好像指定的异常可能由方法引发一样（即，或者捕获异常，或者声明它们自己的throws子句）。

方法的初始版本可能不抛出throws子句中指定的异常，但未来版本可以抛出它而不破坏API（即调用该方法的任何现有代码仍将传递编译）。

相反也有可能。如果用于抛出throws子句中指定的异常的方法，但它的未来版本不再抛出它，则应保留throws子句，以免破坏使用您的方法的现有代码。

第一个例子：

假设您有使用methodB的代码：

private static void methodA() {
    methodB(); // doesn't have throws IOException clause yet
}

如果稍后要更改MethodB以抛出IOException，MethodA将停止传递编译。

private static void methodA() {
    try {
        methodB(); // throws IOException
    }
    catch (IOException ex) {

    }
}

如果从methodB的未来版本中删除throws子句，methodA将不再传递编译。

当methoda是private时，这个示例就不太有趣了，因为它只能在本地使用（在同一个类中，很容易修改调用它的所有方法）。

但是，如果它变成public，您就不知道谁使用（或将要使用）您的方法，因此您无法控制由于添加或删除throws子句而可能中断的所有代码。

如果是实例方法，那么即使不抛出异常也允许throws子句还有另一个原因--方法可以被重写，重写方法也可能抛出异常，即使基类实现不这样做。