Java方法覆盖协方差查询

Java method overriding covariance inquiry(Java方法覆盖协方差查询)

问题描述

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

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，因为它"发现"启动的程序有一个 无法编译的类。

这篇关于Java方法覆盖协方差查询的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持编程学习网！