为什么Java编译器允许在throws部分中列出无法抛出方法的异常

Question

如果有一些代码显然不能引发异常，则Java编译器似乎不一致，而您编写的周围代码声明该代码可以引发该异常。

考虑这些代码片段。

片段1

一个catch是永远不会抛出异常。

public void g(){
        try {

        } catch (FileNotFoundException e) {//any checked exception

        }

}

是带信息的编译错误

Unreachable catch block for FileNotFoundException. This exception is never thrown from the try statement body

片段2

throws表示从未抛出的异常的声明。

public void g() throws FileNotFoundException{
}

它编译良好。

因此，第一个代码段的结果表明，编译器可以计算方法是否可以引发throws列表中列出的异常。因此，似乎编译器 故意
不报告第二个片段的错误。但为什么？为什么throws即使编译器知道无法抛出这些异常，编译器为何仍允许您在本节中编写异常？

Answer 1

编译器允许这样做，因为throws方法的子句是方法 签名 的一部分，而不是其 实现的
一部分。在使签名保持相同的同时，实现可能会在某个时候进行更改。旧的实现可能引发了检查异常，而新的实现则没有。否则，签名的设计者可能希望为实现者提供灵活性，使其在并非总是必要时抛出已检查的异常。