为什么java不允许在方法覆盖的情况下改变返回类型

Question

我的A类是：

 public class A {
    int sayHello(int i,int j){
        return i+j;
    }
 }

另一类B为：

public class B extends A {  
    @Override
    int sayHello(int i, int j) {
        return i+j;
    }
}

如果我将类A的方法sayHello(int，int)的返回类型从int改为float，它会显示一个错误，因为根据覆盖规则，返回类型也被认为是无效的覆盖和重载。

我不明白为什么java不允许更改返回类型。为什么返回类型也需要相同

Answer 1

如图所示（强调我自己）

子类覆盖方法的能力允许类从行为“足够接近”的超类继承，然后根据需要修改行为。重写方法与它重写的方法具有相同的名称、参数数量和类型以及返回类型。重写方法也可以返回被重写方法返回的类型的子类型。这种子类型称为协变返回类型。

如果返回的类型不同，它会破坏其他类，这些类可以在运行时使用多态性来检测类的类型。

Answer 2

重写方法时可以更改返回类型：只需使用协变类型重写它即可。

例如，如果您将接口定义为:

interface Foo {
  Object foo();
}

那么可以这样实施它：

class Bar implements Foo {
  @Override public String foo() {
    return "";
  }
}

因为Foo的所有实现。foo（）必须返回一个Objects，并且所有Strings都是 s。

但是，不能用另一种方法：如果返回类型Foo。foo（）是String，您无法实现它来返回Object，因为该方法的调用方需要能够在该实例上调用 的方法。例如：

void test(Foo instance) {
  System.out.println(instance.foo().length());
}

如果返回了 Object，这在运行时将不起作用，因为 Object 上没有 length（） 方法。（但更具体地说，它必须是 String.length（） 方法，而不仅仅是任何长度方法：Java 不支持鸭子类型）。编译器可以检测到这种不匹配，因此它会阻止您执行此操作。

int没有类型协变（或任何原始类型），因此当您覆盖返回int的方法时，您必须返回int。

允许这样做的理论原因是Liskov替换原则，它可以解释为“子类型方法可以在它们接受的参数中更通用，在它们返回的类型中更具体”。

但是，Java不允许使用更通用的参数类型，因为它解决方法重载的方式。

Answer 3

因为：

class Parent {
    int method() { return 1; }
}

class Child extends Parent {
    float method() { return 1.0f; }
}

Parent p = new Child();
int myInt = p.method();

method（）返回什么？它应该是一个int，因为家长说它是一个int。但是儿童返回一个浮点数。那么你希望发生什么？JVM应该崩溃吗？

顺便说一下，你可以改变返回类型，但它必须是类型的子类型，被覆盖的方法返回。因此，您可以重写返回< code>Parent的方法，并使用< code>Child作为返回类型。