为什么在Java中重载方法时返回类型不能改变[重复]

Question

我知道要重载 Java 中的方法，我们需要更改参数中的某些内容，无论是参数的数量还是其中至少一个参数的类型。这种方式在编译时编译器能够静态绑定将被调用的方法，但我只是想知道为什么改变方法的返回类型还不够，第一个响应是因为歧义，但在我的如果我们有意见：

public class Test {
    public Integer method1(Integer a, Integer b) {
        return a + b;
    }

    public String method1(Integer a, Integer b) {
        return "test";
    }

    public static void main(String[] args) {
        String result = method1(2, 4);
    }
}

我知道这段代码无法编译，但我的问题是：编译器是否有可能检查我们期望的返回类型并基于此将调用绑定到正确的方法？

编辑：我想在我的问题中非常清楚我知道只有参数是方法签名的一部分，我知道我们可以让方法不返回任何内容，所以我们有一个歧义，所以编译应该提出错误，但是我们完全没有歧义的情况呢？就像我提出的例子......这可行吗？有人知道不这样做的特殊原因吗？

Answer 1

方法重载基于更改方法的签名。由于方法does not include the return type的签名，你必须单独在参数上区分这两个方法。

From the Java Language Specification：唯一组成方法的签名和构造函数声明的是它的名称和它的参数类型。

两个方法具有相同的签名，如果它们具有相同的名称和 参数类型。

两个方法或构造函数声明 M 和 N 具有相同的参数 如果满足以下所有条件，则类型：

• 它们具有相同数量的形参（可能为零）

• 它们具有相同数量的类型参数（可能为零）

• 设 A₁, ..., A_n 为 M 的类型参数，设 B₁, .. ., B_n 为 N 的类型参数。 在将 N 的类型中出现的每个 B_i 重命名为 A_i，对应类型变量的边界是 相同，M和N的形参类型相同。

方法 m1 的签名是 a 的签名的子签名 方法 m2，如果：

• m₂ 与 m₁ 具有相同的签名，或者

• m₁ 的签名与 m₂ 的签名擦除（第 4.6 节）相同。

两个方法签名 m₁ 和 m₂ 是 覆盖等效当且仅当 m₁ 是 m₂ 或 m₂ 是 m₁ 的子签名。

在一个类中声明两个具有重写等效签名的方法是编译时错误。

那个，那个单独是你的语句不能编译的原因；您将 Integer 和 Integer 传递给两个相同的*方法，Java 无法消除它们之间的歧义。

这意味着这样的声明是完全合法的：

public Integer method1(Integer a, Integer b) {
    return null;
}

public void method1(Integer c) {
}

...因为两种方法的参数类型不同。

_{*：就编译器而言，“相同”。}

Answer 2

您可以通过询问自己在以下场景中将调用哪个方法来回答这个问题：

public static void main(String[] args) {
    Object result = method1(2, 4);
}