使用从不在方法主体中引发的throws子句声明检查异常

Question

try
{
}
catch(IOException e)
{
}

void test() throws IOException
{
}

请解释一下背后的原因。蒂娅。

Answer 1

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

这告诉你所有这些都是有效的：

try { }
catch(Exception e){}

--

try{ }
catch(NullPointerException  e) {}

try{ }
catch(ArrayIndexOutOfBoundsException  e) {}

try{ }
catch(RuntimeException e) {}

try{ }
catch(Error e) {}

try{ }
catch(Throwable e){ }

与throws的区别在于：在此上下文中不存在不可达代码的概念。方法抛出异常的可能性并不以该方法的缺陷而结束。例如：

abstract void readFile(String path) throws IOException;

这个方法甚至没有块，因为它是一个抽象方法。很容易猜测这一行不会抛出任何IOException。但它为将实现它的扩展定义了一种行为。为了重写它，您的方法必须抛出IOException。

同样，如果有人重写了您的测试方法：

@Override
void test() throws IOException
{
   readFile(file);
}