Comment le mot clé « super » de Java Generics fonctionne-t-il avec les caractères génériques délimités et quelles sont ses limites ?

Le super mot-clé de Java Generics : Comprendre son utilisation et ses limites

Les génériques étendent la puissance des collections Java en permettant la personnalisation des types de données sans sacrifier la sécurité du type. Le super mot-clé joue un rôle crucial dans ces collections génériques.

Comprendre les caractères génériques délimités

Lors de la déclaration d'une collection générique, le super mot-clé peut être utilisé avec des caractères génériques délimités. Ce type de caractère générique permet à une collection de contenir un type spécifique ou ses supertypes. Par exemple :

List<? super Number> list = null;

Cette déclaration signifie que la liste peut contenir des objets Number ou l'une de ses superclasses, telles que Object.

Ajout d'éléments aux collections de caractères génériques délimités

Il est important de noter que l'ajout d'éléments à des collections de caractères génériques délimités suit des règles strictes de sécurité des types. Dans l'exemple ci-dessus :

• list.add(new Integer(0)) est valide car Integer étend Number.
• list.add(new Object()) n'est pas valide car Object n'est pas un sous-type de Nombre.

Tester les limites du Super Caractères génériques

Contrairement aux attentes, le code suivant ne sera pas compilé :

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); // Compile error
}

Bien que String soit un sous-type d'objet et que l'objet soit un supertype de nombre, ce code échoue toujours à compiler. La raison en est que le caractère générique capture le type spécifique Number (tel que défini dans List) et ses supertypes, qui excluent String.

Pourquoi Java autorise Mais pas