Discussion :

[LGnord]

Bonjour,

Sur la FAQ (http://java.developpez.com/faq/java/...ancier_tableau), on cite le problème suivant (en supposant que l'on puisse instancier un tableau paramétré):

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
 
List<String>[] stringListArray = new List<String>[100]; // ERREUR
 
Object[] simpleArray = stringListArray;
 
simpleArray[0] = new ArrayList<Number>(); // OK ?!?!?

mais ce problème existe déjà sans les générics:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
 
 
String [] s = new String [10];
 
Object [] o = s;
 
o[0] = new Object(); // OK??!!

Le code précédent compile mais provoque l'erreur java.lang.ArrayStoreException

Est-ce que j'ai mal compris l'exemple?
Y-a-t-il d'autres raisons pour ne pas instancier de tableau paramétré?

Merci de vos réponses.

[adiGuba]

Salut,



Le problème vient du fait qu'avec les types paramétrés il n'y a pas d'ArrayStoreException.

Du fait de leur héritage particulier, les tableaux ne sont pas typesafe et peuvent donc générer des ArrayStoreException à l'exécution si les types ne sont pas compatible.


Or toutes les vérifications des Generics sont effectué à la compilation et sont perdu à l'exécution, et le cumul Generics+tableau peut aboutir à des situation complètement incorrect

Tu peux vérifier cela avec le code suivant (qui génère un warning préventif et aucune erreur à l'exécution) :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
	List<Number> list = new ArrayList<Number>();
	list.add(15);
 
	List<String>[] stringListArray = new List[100]; // WARNING
	Object[] simpleArray = stringListArray;
	simpleArray[0] = list; // OK à la compil et à l'execution !!!

Comme le type Generics est perdu à l'exécution, cela revient en fait à mettre une ArrayList dans un tableau de List, ce qui est tout à fait légal du point de vue de l'exécution, et donc cela ne génère aucune exception.

Or c'est totalement faux puisque qu'on met une List<Number> dans un tableau de List<String>... et cela provoquera donc une exception un peu plus loin si tu fais quelque chose comme ceci :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

String s = stringListArray[0].get(0);

Le code semble tout à fait valable puisque tu tentes de récupérer une String depuis un List<String>[]... or tu accèdes en vérité à un List<Number> et donc à un Number ce qui génèrera une bien belle ClassCastException


C'est plus clair ?

a++

[LGnord]

Oui, c'est beaucoup claire.

Le fait qu'une partie de l'information soit perdue à run-time m'avait echapée. Tous les problèmes viennent de là.

Merci beaucoup.