Depuis Java 5, nous sommes autorisés à avoir covariant return types. Pourquoi l'API Java n'en tire-t-elle pas parti?Pourquoi l'API Java 5+ ne tire-t-elle pas parti des types de retour covariants?
Prenez par exemple Graphics2D.create(). Pourquoi n'est-il pas remplacé pour renvoyer un objet Graphics2D? Il me semble que ce serait rétrocompatible dans toutes les situations.
En général, c'est en effet pour maintenir la compatibilité ascendante. Notez que la compatibilité doit également être conservée au niveau du bytecode, et la modification du type de retour modifie le bytecode. Donc, en général, s'il y a des sous-classes qui peuvent avoir surchargé la méthode en question, passer à un type de retour covariant casserait ces classes.
Puisque Graphics2D est abstrait, il est évidemment destiné à être sous-classé, donc le raisonnement ci-dessus s'applique.
Java Generics and Collections, bien que se concentre plus sur le point de vue des génériques, contient une discussion sur le remplacement des covariants dans la section 8.4.
Cela romprait la compatibilité binaire. Les classes précédemment compilées ne peuvent pas trouver la méthode avec le nouveau type de retour. JLS3 §13.4.15, §13.4.12