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]);</string></string>

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</string></string></t>

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!