Wie wirkt sich das Schlüsselwort „super' auf die Typsicherheit und Verwendung in Java-Generika aus?

Java-Generika: Eintauchen in das „Super“-Schlüsselwort

Generika ermöglichen Entwicklern das Schreiben flexiblerer und wiederverwendbarer Codes durch die Einführung von Typparametern. Ein Aspekt von Generika ist die Verwendung des Schlüsselworts „super“ in Typgrenzen.

Super in Sammlungsdeklarationen

Bei der Deklaration einer Sammlung mit einem begrenzten Platzhalter mit „super ', wie zum Beispiel:

List<? super Number> list = null;

es gibt an, dass die Sammlung Elemente enthalten kann, deren Typ ein Untertyp von Number ist. Dies bedeutet jedoch nicht, dass es jeden Supertyp einer Zahl enthalten kann. In diesem Fall wird das folgende Verhalten beobachtet:

• list.add(new Integer(0)) wird kompiliert und funktioniert ordnungsgemäß. Integer ist ein Untertyp von Number und kann daher zur Liste hinzugefügt werden.
• list.add(new Object()) wird nicht kompiliert. Objekt ist ein Supertyp von Zahl, aber die Liste ist nicht für die Aufnahme von Supertypen von Zahl deklariert.

'Super'-Schlüsselwort- und Typsicherheit

Bedenken Sie Folgendes Code:

static void test(List<? super Number> param) {
  param.add(new Integer(2));
}

public static void main(String[] args) {
  List<String> sList = new ArrayList<String>();
  test(sList);
}

Intuitiv scheint es, als ob der Code kompiliert werden sollte, da String auch ein Supertyp von Number ist. Aus Gründen der Typensicherheit ist dies jedoch nicht zulässig. Java erzwingt Typsicherheit, um Laufzeitfehler zu verhindern. Das Hinzufügen eines Strings zu einer Liste, die deklariert ist, nur Untertypen von Number zu enthalten, würde die Typsicherheit verletzen.

Warum nicht '' Konstrukte?

Java erlaubt keine Typgrenzen mit den Schlüsselwörtern „super“ und „extends“, da dies zu widersprüchlichen Typeinschränkungen führen und die Gewährleistung der Typsicherheit erschweren würde. Wenn beispielsweise „“ erlaubt wären und Sie List deklariert hätten, wäre unklar, ob 'S' ein Subtyp oder ein Supertyp von 'T' ist.

Wichtige Überlegungen für 'super' in Generics

• Begrenzte Platzhalter mit „Super“-Capture-Subtypen des angegebenen Typs.
• Typ Aus Sicherheitsgründen müssen Elemente, die zu überbegrenzten Sammlungen hinzugefügt werden, Untertypen des angegebenen Typs sein.
• 'super' und 'extends' können aufgrund möglicher Verstöße gegen die Typsicherheit nicht in Typgrenzen kombiniert werden.

Das obige ist der detaillierte Inhalt vonWie wirkt sich das Schlüsselwort „super' auf die Typsicherheit und Verwendung in Java-Generika aus?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!