如果返回类型不是Java中方法签名的一部分，为什么重写方法必须与其父方法具有相同的返回类型？

Question

Java不允许通过更改子类的返回类型来重写方法，有什么特别的原因吗？

由于返回类型不是方法签名的一部分，编译器不认为具有不同返回类型（但具有相同名称、相同数量和类型的参数）的方法是相同的吗？

Answer 1

Java语言规范不将返回类型视为方法签名。

由于返回类型不存在于签名中，所以这两个方法不能仅因返回类型而有所不同（因为它们对运行时来说是不明确的）。所以编译器不允许这样做。

这可以按照泛型参数的类型擦除来考虑。由于类型在运行时不可用，编译器将阻止签名（参数）仅因泛型类型而异的任何两个方法，以避免在运行时出现歧义。

类似地，在方法签名中不考虑异常，因此两种方法不能仅因异常而不同。编译器将不允许这样做。

类似地，在方法签名中不考虑访问修饰符，因此这两种方法不能仅因访问修饰符而异。编译器将不允许这样做。

因此，基础是，两个方法不能仅因不属于方法签名的组件而变化。

基本上，编译器是用来根据JLS语法解析程序，并阻止任何不遵循该语法的内容。编译器确实有豪华的空间来容纳一些偏差。但它不会完全允许违规。

所有这些都是为了确保运行时能够基于编译器的输出以更高的可信度更自由地执行。

参考：文件

参考：JLS

If R1 is void then R2 is void.

If R1 is a primitive type, then R2 is identical to R1.

If R1 is a reference type then:

R1 is either a subtype of R2 or R1 can be converted to a subtype of R2 by unchecked conversion (§5.1.9), or

R1 = |R2|

参考：JLS