- 重写方法 不能 抛出一个新的或者范围更广的受检异常。
- 重写方法可以抛出范围更小的或更少的受检异常(也可以不抛出)。例如声明了 IOException 的方法可以被声明了 FileNotFoundException 的方法重写,因为 FileNotFoundException 是 IOException 的子类。
- 重写方法可以抛出任何非受检异常,而不用管原方法是否有声明这些非受检异常。
因为Java中的异常处理机制是基于多态实现的。当一个方法被重写时,子类方法不能抛出比父类方法更多的异常,因为这会破坏多态性。如果子类方法抛出了一个新的或者范围更广的受检异常,那么在调用该方法时,编译器只会看到父类方法声明的异常,而不会看到子类方法声明的异常,这样就会导致异常无法被捕获和处理,从而破坏了Java异常处理机制的安全性和可靠性。
异常类的层次
这里引用《深入理解Java:核心技术与最佳实践》中的一段话:
非受检异常指的是java.lang.RuntimeException和java.langError类及其子类,所有其他的异常类都称为受检异常。两种类型的异常在作用上并没有差别,唯一的差别就在于使用受检异常时的合法性要在编译时刻由编译器来检查。正因为如此,受检异常在使用的时候需要比非受检异常更多的代码来避免编译错误。
注意这句话,唯一的差别就在于使用受检异常时的合法性要在编译时刻由编译器来检查。
我们知道java是半编译半解释的语言,java语言编译器先将java代码编译成字节码的class文件,再由JVM进行解释执行。而重写属于运行时多态,也就是java代码解释执行时所体现的多态。
而受检异常时的合法性要在编译时刻由编译器来检查,使用编译阶段。我们知道,方法的重载和重写都是实现多态的方式,区别在于前者实现的是编译时的多态性,而后者实现的是运行时的多态性。
-
重载发生在一个类中,同名的方法如果有不同的参数列表(参数类型不同、参数个数不同或者二者都不同)则视为重载;
-
重写发生在子类与父类之间,重写要求子类被重写方法与父类被重写方法有相同的返回类型,比父类被重写方法更好访问,不能比父类被重写方法声明更多的异常(里氏代换原则)。
方法重载的规则:
- 方法名一致,参数列表中参数的顺序,类型,个数不同。
- 重载与方法的返回值无关,存在于父类和子类,同类中。
- 可以抛出不同的异常,可以有不同修饰符。
重写发生在子类与父类,如果子类方法抛出了一个新的或者范围更广的受检异常,在编译时,编译器只会看到父类方法声明的异常,而不会看到子类方法声明的异常,这样就会导致异常无法被捕获和处理,从而破坏了Java异常处理机制的安全性和可靠性。