Java方法覆盖协方差查询

2022-02-28 00:00:00 polymorphism overriding java covariance

我有一个关于覆盖协方差的方法的查询。 假设我们有两个类,如下所示:

class Parent {
   Object getSomething(){
      return 10;
   }
}

class Child extends Parent {
   Integer getSomething() {
      return 10;
   }
}

class TestCovariance {
   public static void main(String[] args) {
      Child c = new Child();
      Parent p = new Child();

      Integer i1 = c.getSomething(); //this is ok
      Integer i2 = p.getSomething(); //this one gives a runtime exception
   }
}

正如您在提供运行时异常的该行的注释中看到的,异常详细信息:

线程"main"java.lang.RuntimeException中出现异常:无法编译 源代码不兼容的类型:无法转换java.lang.Object 至java.lang.Integer

为什么它看到c对象的方法返回Integer,而p对象的方法返回Object??


解决方案

首先,我要重申协变返回类型是将重写方法的返回类型更改为重写方法返回类型的子类型的能力,在您的情况下这似乎是正确的。

Integer i1 = c.getSomething();的调用编译成功,因为接收方类型为Child,并且编译器知道c.getSomething()的返回类型为Integer

但是,另一方面,由于您使用Parent作为p的接收器类型,因此只有Parent类的方法通过此引用可见,即使实际对象p引用的是Child,并且显然假定p.getSomething()在编译时返回Object,并且您正在尝试将其赋给<[

话虽如此,电话Integer i2 = p.getSomething(); 能否在运行时成功,但如前所述,这是编译时错误,因为编译器会检查并确保您只调用接收方类型存在的方法。

也如davidxxx所述:

引发了RuntimeException,但它不是由程序引发的 而不是IDE,因为它"发现"启动的程序有一个 无法编译的类。

相关文章