Java 异常从何而来？

Question

到目前为止，我认为每个 Java 异常都必须由构造函数在某处创建，因为我可以自己创建自定义异常：

throw new Exception();

但现在看来我必须处理来自 JavaMail 的一些异常 - MessagingException。它来自方法Store.close（继承自Service类）。

我去了那里（我需要检查什么时候抛出这个异常，这样我才能知道哪里出了问题），我看到这个方法调用了另外两个方法——它们都没有抛出异常！

public synchronized void close() throws MessagingException {
    setConnected(false);
    notifyConnectionListeners(ConnectionEvent.CLOSED);
}

据我了解，这是已检查异常（既不是错误也不是 RuntimeException），那么close 方法命令使用的任何一个都不必声明它怎么可能？它也不是在这里创建的，在这个方法中。

Answer 1

声明的异常与那个实现可以抛出什么无关——它是关于那个实现或子类中的实现可以抛出什么。 Service 是一个抽象类——JavaMail 实现的两个直接子类（Transport 和Store）也是如此。即使那些都没有覆盖close()，你使用的具体实现仍然完全有可能覆盖close()并且它的实现可能抛出MessagingException。

从 API 设计的角度来看是否有意义？我必须更仔细地研究 JavaMail 才能对此做出判断，谢天谢地，我已经很长时间没有使用 JavaMail。

从语言的角度来看是否有意义？绝对地。有一个不抛出特定检查异常但预期具体子类可能需要的实现是完全合理的。

Answer 2

关于method declaration的JLS说

声明检查异常的要求允许 Java 编译器确保包含用于处理此类错误条件的代码。如果方法或构造函数无法处理在其主体中作为已检查异常抛出的异常条件，则如果它们的 throws 子句中缺少适当的异常类型，则通常会导致编译时错误。因此，Java 编程语言鼓励一种以这种方式记录罕见和真正异常情况的编程风格。

基本上，如果不处理异常，您可以确定代码不会编译。所以即使它没有在这个实现中抛出，它也可能在一个子类中。

阅读完整页面了解更多详细信息。

public class Mother{
    public foo() throws Exception{
         system.out.println("I am mother");
    }
}

public class Daughter extends Mother{

    @Override
    public foo() throws Exception{
         throws new Exception("I am a teenager !!");
    }
}

因为这是允许的

Mother m = new Daughter();

你失去了实例的真实类型，所以幸运的是，如果你这样做了编译器会尖叫

m.foo(); //will not compile

请注意，如果子类中的重写方法需要 throws 某些东西，则不能在没有任何 throws 声明的情况下使用来自母亲的方法。禁止，不能在子类throws声明中添加或使用异常的超类