为什么Java 5+ API不利用协变返回类型？

从Java 5开始，我们可以使用协变返回类型 。 为什么Java API不利用这个？

以Graphics2D.create()为例。 为什么不重写返回Graphics2D对象？ 在我看来，它在所有情况下都是向后兼容的。

Answer 1

一般来说，这确实是为了保持向后兼容性。 请注意，兼容性也必须保持在字节码级别，并且更改返回类型会更改字节码。 所以一般来说，如果有任何子类可能已经覆盖了有问题的方法，那么切换到协变返回类型会破坏这些类。

由于Graphics2D是抽象的，显然它意味着是子类，因此上述推理适用。

Javagenerics和集合虽然更侧重于generics的观点，但在8.4节中讨论了协变覆盖。

Answer 2

这会打破二进制兼容性。 以前编译的类无法找到具有新返回类型的方法。 JLS3§13.4.15，§13.4.12