Pourquoi l'utilisation d'un type brut avec une méthode générique en Java entraîne-t-elle un comportement de type inattendu ?

Combinaison de types bruts et de méthodes génériques : conséquences imprévues

Lorsqu'il s'agit de types bruts et de méthodes génériques, un comportement inattendu peut survenir. Considérez l'extrait de code suivant :

ArrayList<String> a = new ArrayList<String>();
String[] s = a.toArray(new String[0]);

Ce code se compile avec succès dans JDK 1.6 et 1.7. Cependant, changer la référence ArrayList en un type brut entraîne une erreur du compilateur :

ArrayList a = new ArrayList();
String[] s = a.toArray(new String[0]); // Error: String[] expected, Object[] found

Étonnamment, le compilateur interprète la méthode générique toArray comme renvoyant Object[] malgré la réception d'une String[] comme argument. Ceci est contre-intuitif, car on pourrait s'attendre à ce que la méthode se conforme à ses paramètres de type.

Comprendre le comportement

Le JLS 4.8 met en lumière ce comportement :

"Le type d'un constructeur, d'une méthode d'instance ou d'un champ non statique M d'un type brut C qui n'est pas hérité de ses superclasses ou superinterfaces est le type brut qui correspond à l'effacement de son type dans la déclaration générique correspondant à C."

En termes plus simples, lorsqu'il s'agit de types bruts, le compilateur ignore tous les paramètres de type associés aux méthodes ou aux champs . Par conséquent, le type de la méthode toArray dans le type brut ArrayList est Object[], quel que soit le paramètre de type T.

Ce comportement s'étend au-delà des méthodes génériques. Même si vous utilisez des génériques dans d’autres parties de la classe, y faire référence en tant que type brut annule complètement l’utilisation de génériques dans cette instance. Par exemple, ce code générera un avertissement non coché :

public class MyContainer <T> {
    public List<String> strings() {
        return Arrays.asList("a", "b");
    }
}

MyContainer container = new MyContainer<>();
List<String> strings = container.strings(); // Unchecked warning

Conclusion

Lorsqu'il s'agit de types bruts et de méthodes génériques, il est crucial de comprendre que l'utilisation d'un brut type désactive l’utilisation de génériques pour cette instance particulière. Assurez-vous d'utiliser les types bruts judicieusement, car ils peuvent conduire à un comportement déroutant et inattendu.

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!