Java重写throws子句

5 回答

• 2

  正如马努蒂所说，这本书是错误的 . 你肯定可以有更精确或没有例外，但你不能有一个更普遍的：

  interface A {
      void meth() throws IOException;
  }
  
  class B implements A {
      @Override
      void meth() throws FileNotFoundException { } // compiles fine
  }
  
  class C implements A  {
      @Override
      void meth() { } // compiles fine
  }
  
  class D implements A  {
      @Override
      void meth() throws Exception { } // compile error
  }
  

  回复于 2024-04-20T10:47:34+08:00
• 2

  反例A点

  A点上的这本书是错误的 .

  以下代码编译完全正常：

  class A {
      void method() throws GeneralSecurityException {
      }
  }
  
  class B extends A {
      void method() {
      }
  }
  

  类 B 明显使A点无效 .

  反例C点

  本书也过分简化了C点：只要抛出的异常是已经抛出的已检查异常的子类，代码就是正确的 .

  class C extends A {
      void method() throws NoSuchAlgorithmException, InvalidKeyException {
      }
  }
  

  在代码中 NoSuchAlgorithmException 和 InvalidKeyException 是 GeneralSecurityException 的子类 .

  类 C 显示了C点的过度简化 .

  JLS参考

  以下是The Java Language Specification, Java SE 8 Edition, chapter 11.2中的状态：

  ... throws子句中命名的已检查异常类（第11.1.1节）是方法或构造函数的实现者和用户之间的 Contract 的一部分 . 重写方法的throws子句可能没有指定此方法将抛出任何被抛出的方法不允许被抛出的方法抛出的任何已检查异常抛出（§8.4.8.3） . ...

  8.4.8.3中的引用如下：

  ...如果m2有一个throws子句提到任何已检查的异常类型，那么m1必须有一个throws子句，否则会发生编译时错误 . 对于m2的throws子句中列出的每个已检查异常类型，在m1的throws子句的擦除（第4.6节）中必须出现相同的异常类或其超类型之一;否则，发生编译时错误 . ...

  讨论JLS文本

  这些JLS章节是有道理的 . 最后，调用声明特定已检查异常的方法的代码将具有处理该特定已检查异常的代码 . 如果子类实例的方法抛出另一个已检查的异常，则不太可能处理已检查的异常 . 另一方面，如果方法没有抛出调用者期望的任何异常，则调用者是可以的;根本不会调用异常处理代码 .

  代码应始终期望接收运行时异常，因此基于 RuntimeException 的异常免于编译时检查 .

  经验法则

  只要您只抛出调用者期望的异常，代码就可以了 .

  回复于 2024-04-20T10:47:34+08:00
• 0

  好吧，这本书错了：

  class A {
      public void foo() throws FileNotFoundException {
  
      }
  }
  
  class B extends A {
      public void foo() {
  
      }
  }
  

  编译确定 . 对于这样的语言特性，最好参考Java语言规范 .

  回复于 2024-04-20T10:47:34+08:00
• 1

  这本书混合了两件事 . 它讨论的是子类中的重写throws子句，但它提供的示例与此完全无关：

  public int readIntFromFile() {
      Scanner consoleScanner = new Scanner(new File("integer.txt"));
      return consoleScanner.nextInt();
  }
  

  你会在这里得到一个编译错误，因为 Scanner 构造函数会抛出 FileNotFoundException ，它不会在 readIntFromFile() 中被捕获或传播 . 也就是说，从 readIntFromFile() 的声明中可以看出它可能会引发异常 .

  仅当子类中的方法调用其超级方法时，这适用于子类/基类：

  class A {
      void meth() throws IOException {
          // ...
      }
  }
  
  class B extends A {
      @Override
      public
      void meth() { 
          super.meth(); // compile error here
          // ...
      }
  }
  

  回复于 2024-04-20T10:47:34+08:00
• 0

  java.io.Printwritter/PrintStream :: close() java中的api是在超类抛出的 IOException 的最佳示例（ java.io.OutputStream :: close() ）在子类中被忽略 .

  还有一件事是

  try {
     //CheckedExceptionX must be thrown from here
  }
  catch(CheckedExceptionX e) {
  }
  

  然而

  public void someAPI throws CheckedExceptionX {
       //trowing CheckedExceptionX is not mandatory in this method
       //Means this body can be free from throwing that mentioned CheckedException 
  }
  

  回复于 2024-04-20T10:47:34+08:00