Wie wirken sich die mehreren Platzhalterzeichen von Java auf das Verhalten und die Typkompatibilität generischer Methoden aus?

Java's Multiple Wildcards: Die Verwirrung des Compilers entmystifizieren

Während der Codeausschnitt in der Frage zunächst verwirrend erscheinen mag, sind die zugrunde liegenden Prinzipien recht einfach und halten Sie sich an das generische Typsystem von Java.

Die Rolle von Platzhalter

Platzhalter (*) stehen für unbekannte Typen. Im Snippet führt die Verwendung mehrerer Platzhalter zu Unsicherheit für den Compiler:

static void doNothing(List<?> list1, List<?> list2) { }

Da die Platzhalter nichts miteinander zu tun haben, können Sie doNothing mit Listen verschiedener Typen aufrufen, z. B. List und List. Wenn Sie jedoch versuchen, die Listen zu ändern (z. B. list1.addAll(list2)), gibt der Compiler aufgrund einer möglichen Typinkompatibilität einen Fehler aus.

Verschachtelte Platzhalter und Capture-Konvertierung

Die Verwirrung entsteht hauptsächlich durch Missverständnisse über die Rolle verschachtelter Platzhalter:

static void probablyIllegal(List<List<?>> lol, List<?> list) { }

In In diesem Fall wird die verschachtelte Platzhalterliste List erfasst keine Typen wie List oder Liste. Stattdessen handelt es sich um eine Liste, deren Elemente Listen beliebiger Art sein können. Um bestimmte Typen zu erfassen, müssen Sie einen begrenzten Platzhalter verwenden:

static void nowDefinitelyIllegal(List<? extends List<?>> lol, List<?> list) { }

Wenn wir nun versuchen, list (das ein List