Java 为什么一个方法可以声明为抛出许多异常，即使没有抛出任何异常？

我正在将我的源代码与一位同事的源代码合并，我看到他在方法声明中添加了一个要抛出的异常；然而，我知道，该异常永远不会从该方法中真正抛出

我想知道为什么编译器没有警告我“声明了未抛出的异常”（或者类似的东西）。我意识到，您可以声明一个抛出N个异常的方法，即使该方法中的代码没有抛出任何异常

为什么呢

public void foo() throws IOException, IntrospectionException,  BadStringOperationException, ... {
    //do nothing
}

重写该方法的子类可能抛出异常，即使其超类没有抛出异常

您可以稍后更改该方法以抛出列出的异常之一，同时保持向后兼容性

---

因为JVM可以传播异常