Heim > Java > javaLernprogramm > Kovarianz von Generika in Java

Kovarianz von Generika in Java

高洛峰
Freigeben: 2016-11-22 17:56:44
Original
1489 Leute haben es durchsucht

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 {
}
Nach dem Login kopieren

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;
Nach dem Login kopieren

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;
Nach dem Login kopieren

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) {
}
Nach dem Login kopieren

oder einen parametrisierten Typ verwenden:

public <T> void func(List<T> list) {
}
Nach dem Login kopieren

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) {
}
Nach dem Login kopieren


Verwandte Etiketten:
Quelle:php.cn
Erklärung dieser Website
Der Inhalt dieses Artikels wird freiwillig von Internetnutzern beigesteuert und das Urheberrecht liegt beim ursprünglichen Autor. Diese Website übernimmt keine entsprechende rechtliche Verantwortung. Wenn Sie Inhalte finden, bei denen der Verdacht eines Plagiats oder einer Rechtsverletzung besteht, wenden Sie sich bitte an admin@php.cn
Beliebte Tutorials
Mehr>
Neueste Downloads
Mehr>
Web-Effekte
Quellcode der Website
Website-Materialien
Frontend-Vorlage