Warum ist das Schlüsselwort „super' in Java-Generika auf Platzhalter und nicht auf Typparameter beschränkt?

Generika-Begrenzung mit dem Schlüsselwort „super“

Man könnte sich fragen, warum das Schlüsselwort super nur auf Platzhalter und nicht auf Typparameter in Java-Generika anwendbar ist . Betrachten Sie das folgende Beispiel in der Collection-Schnittstelle, in der die toArray-Methode nicht wie folgt deklariert ist:

interface Collection<T> {
    <S super T> S[] toArray(S[] a);
}

Diese Syntax würde zu einer unzulässigen Deklaration führen, und um den Grund zu verstehen, müssen Sie die Auswirkungen der Verwendung von „super“ mit „named“ untersuchen Typparameter.

Die Einschränkung von „super“ in Typparametern

Die Verwendung von super zum Begrenzen eines benannten Typparameters () würde das nicht erreichen beabsichtigte Wirkung. Da Object die ultimative Oberklasse aller Referenztypen ist, könnte jedes Array von Referenztypen in ein Object[] umgewandelt werden. Das bedeutet, dass selbst mit der hypothetischen Syntax der folgende Code immer noch kompiliert würde und zur Laufzeit zu einer ArrayStoreException führen würde:

List<Integer> integerList;
integerList.toArray(new String[0]);  // should be disallowed, but compiles

Daher ist „super“ mit benannten Typparametern nicht zulässig, um die Illusion einer Durchsetzung zu verhindern, die dies nicht kann garantiert sein.

Generika und Arrays: Eine komplexe Beziehung

Ein weiterer zu berücksichtigender Aspekt ist die komplexe Interaktion zwischen Generika und Arrays. In Java werden Arrays anders behandelt als andere Sammlungstypen, was zu Einschränkungen bei der Durchsetzung der Typsicherheit führt. Dies erklärt, warum generische Typgrenzen ArrayStoreException im gegebenen Beispiel nicht verhindern können.

Beispiele für illegale Begrenzungen mit „super“

Um das Problem weiter zu veranschaulichen, betrachten Sie eine hypothetische Methode Deklaration:

<T super Integer> void add(T number)  // hypothetical! currently illegal

Bei dieser Syntax könnte man erwarten, dass sie Integer- und Number-Instanzen akzeptiert, nicht jedoch String. Da String jedoch eine Unterklasse von Object und Object eine Oberklasse von Integer ist, wäre es dennoch möglich, dass add(aString) kompiliert wird, was zu potenziellen Fehlern führen würde.

Fazit

Zusammenfassend lässt sich sagen, dass die Verwendung von super mit benannten Typparametern eingeschränkt ist, um die Typsicherheit zu gewährleisten und ungültige Annahmen zu verhindern. Generics und Arrays in Java weisen einzigartige Eigenschaften auf, die die Wirksamkeit der Begrenzung von Typparametern mit super.

einschränken

Das obige ist der detaillierte Inhalt vonWarum ist das Schlüsselwort „super' in Java-Generika auf Platzhalter und nicht auf Typparameter beschränkt?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!