Seit Java 5 dürfen wir covariant return types haben. Warum nutzt das Java API dies nicht?Warum nutzt Java 5+ API kovariante Rückgabetypen nicht?
Nehmen Sie zum Beispiel Graphics2D.create(). Warum wird es nicht überschrieben, ein Graphics2D Objekt zurückzugeben? Es scheint mir, dass es in allen Situationen rückwärtskompatibel wäre.
Im Allgemeinen ist dies in der Tat, um Abwärtskompatibilität zu erhalten. Beachten Sie, dass die Kompatibilität auch auf der Bytecode-Ebene beibehalten werden muss, und das Ändern des Rückgabetyps den Bytecode ändert. Wenn also Unterklassen vorhanden sind, die die betreffende Methode möglicherweise überschrieben haben, würde ein Wechsel zu einem kovarianten Rückgabetyp diese Klassen unterbrechen.
Da Graphics2D abstrakt ist, ist es offensichtlich als Unterklasse zu verstehen, daher gilt das obige Argument.
Java Generics and Collections, obwohl konzentriert sich mehr auf die Generika Sicht, enthält eine Diskussion über kovariante überschreiben in Abschnitt 8.4.
Das würde Binärkompatibilität brechen. Zuvor kompilierte Klassen können die Methode mit dem neuen Rückgabetyp nicht finden. JLS3 §13.4.15, §13.4.12