Comment le mot clé « super » affecte-t-il la sécurité et l'utilisation des types dans les génériques Java ?

Java Generics : Plonger dans le mot-clé « Super »

Les génériques permettent aux développeurs d'écrire du code plus flexible et réutilisable en introduisant des paramètres de type. Un aspect des génériques est l'utilisation du mot-clé 'super' dans les limites de type.

Super dans les déclarations de collection

Lors de la déclaration d'une collection à l'aide d'un caractère générique délimité avec 'super ', tel que :

List<? super Number> list = null;

il précise que la collection peut contenir des éléments dont le type est un sous-type de Number. Cependant, cela ne signifie pas qu’il peut contenir n’importe quel supertype de Nombre. Dans ce cas, le comportement suivant est observé :

• list.add(new Integer(0)) se compile et fonctionne correctement. Integer est un sous-type de Number, il peut donc être ajouté à la liste.
• list.add(new Object()) ne compile pas. L'objet est un supertype de Nombre, mais la liste n'est pas déclarée pour contenir des supertypes de Nombre.

Mots clés « Super » et sécurité des types

Considérez ce qui suit 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);
}

Intuitivement, il semble que le code devrait être compilé puisque String est également un supertype de Number. Cependant, cela n’est pas autorisé en raison de la sécurité du type. Java applique la sécurité des types pour éviter les erreurs d'exécution. L'ajout d'une chaîne à une liste déclarée contenir uniquement des sous-types de nombre violerait la sécurité des types.

Pourquoi pas '' Constructions ?

Java n'autorise pas les limites de type avec les mots-clés « super » et « extends », car cela entraînerait des contraintes de type conflictuelles et rendrait difficile la garantie de la sécurité des types. Par exemple, si « » étaient autorisés et que vous avez déclaré List, il ne serait pas clair si 'S' est un sous-type ou un supertype de 'T'.

Considérations clés pour 'super' dans les génériques

• Caractères génériques délimités avec des sous-types de capture « super » du spécifié type.
• La sécurité des types impose que les éléments ajoutés aux collections super-limitées doivent être des sous-types du type spécifié.
• 'super' et 'extends' ne peuvent pas être combinés dans des limites de type en raison du type potentiel. violations de la sécurité.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!