Kovarianz von Generika in Java

Ich bin bei der Arbeit auf ein Problem gestoßen, das im Code wie folgt beschrieben wird:

package test;import java.util.LinkedList;
import java.util.List;public class ListTest {
    public void func(List<Base> list) {
    }
    public static void main(String args[]) {
        ListTest lt = new ListTest();
        List<Derived> list = new LinkedList<Derived>();
        lt.func(list); // 编译报错    }
}class Base {
}class Derived extends Base {
}

Hier müssen Sie eine Funktion func schreiben, die eine Basisliste als Parameter annehmen kann. Ich dachte, es wäre in Ordnung, eine Derived-Liste zu übergeben, da Derived eine abgeleitete Klasse von Base ist und die Derived-Liste daher auch eine abgeleitete Klasse der Base-Liste sein sollte, aber der Compiler hat einen Fehler gemeldet.

Der Grund dafür ist, dass ich einige Informationen im Internet überprüft habe: Javas Generika sind nicht kovariant.

Kovarianz und Kontravarianz von Generika sind beide Begriffe. Ersteres bezieht sich auf die Fähigkeit, einen Typ zu verwenden, der weniger abgeleitet (weniger spezifisch) ist als der ursprünglich angegebene abgeleitete Typ, und letzteres bezieht sich auf die Fähigkeit, a zu verwenden Typ, der weniger abgeleitet ist als der ursprünglich angegebene Typ. Ein abgeleiteter Typ ist ein stärker abgeleiteter (spezifischerer) Typ.

Zum Beispiel unterstützen Generika in C# die Kovarianz:

IEnumerable<Derived> d = new List<Derived>();
IEnumerable<Base> b = d;

Die Generika von Java unterstützen jedoch keine Kovarianz. Code wie oben kann nicht in Java kompiliert werden.

Aber das Interessante ist, dass Arrays in Java Kovarianz unterstützen, zum Beispiel:

Integer[] intArray = new Integer[10]; 
Number[] numberArray = intArray;

Zusammenfassung: Javas Generika unterstützen keine Kovarianz, eher aus Sicht der Typsicherheit. Dieses Design ist nicht unbedingt erforderlich. C# verwendet dieses Design beispielsweise nicht. Man kann nur sagen, dass die Entwickler von Java eine Wahl zwischen Benutzerfreundlichkeit und Typsicherheit getroffen haben.

Abschließend zurück zur ursprünglichen Frage: Um eine solche Methode func zu implementieren, können Sie sie wie folgt ändern:

public void func(List list) {
}

oder einen parametrisierten Typ verwenden:

public <T> void func(List<T> list) {
}

Aber das hat auch Probleme, es wird den Parametertyp von func verwischen. Eine bessere Möglichkeit besteht darin, func nicht zu ändern, sondern beim Übergeben von Parametern eine Liste vom Basistyp zu übergeben, was die Konvertierung von Elementen in den Basistyp erfordert, wenn sie der Liste hinzugefügt werden.

PS: Durch die Einschränkung der Parametertypen:

public void func(List<? extends Base> list) {
}