Java字节码和没有这样的方法错误

Question

我们可能看到了错误：

既然这是正确的，为什么字节码记下了被调用方法的返回类型，并在用该方法的返回类型更新库时引发错误。

Answer 1

Java字节码是强类型和验证的，这意味着调用者的代码必须与被调用的方法返回的内容兼容。因此，即使调用方的方法引用不包含预期的返回类型，代码仍然包含隐式假设，例如，尝试对结果执行long算术，表明该方法预期返回long，而不是object或void。

使用指示预期返回类型的方法引用可以简化验证，并使整个过程更加高效。您可以使用预期的方法签名来验证方法代码的正确性，而无需执行实际的链接。当方法调用指令最终链接时，不需要验证可执行代码，只需要匹配签名即可。

这就是为什么Java字节码是这样设计的，即使Java源代码不能定义不同的返回类型，至少在早期版本中是这样的。从Java ；5开始，规则不再那么严格了。

interface StringFunction<R> {
    R apply(String input);
}

现在考虑以下实现类：

class Length implements StringFunction<Integer> {
    public Integer apply(String input) {
        return input.length();
    }
}

不仅允许声明更具体的返回类型，而且Java语言实际上也需要声明，因为根据泛型类型系统，它从stringfunction 继承了一个抽象方法integer apply(String)。

在字节码级别上，它将具有实际实现方法整数apply(String)以及桥接方法对象apply(String input)正式履行字节码级别上接口的约定并委托给实际实现方法。

class Base {
    Object getValue() {
        return null;
    }
}
class Sub extends Base {
    @Override String getValue() {
        return "now a string";
    }
}

因此，可以生成具有多个具有相同参数类型但不同返回类型的方法的类，尽管不是通过重载。

可以选择处理这些情况，例如，定义方法只通过参数类型来区分，它们的返回类型必须相同或更具体，以与协变返回类型兼容，但这意味着JVM在构建类的方法表时必须急切地解析所有返回类型，以验证类型是否真的更具体。但是，它仍然需要对返回类型进行编码，以便在调用方和被调用方之间建立适当的契约。