Cast de type générique.

Bonjour à tous,

voilà, ma question est très simple. Pourquoi ne puis-je pas effectuer un cast

Code:

---

1 2	ArrayList<ArrayList<Truc>> ar = ...; Collection<Collection<Truc>> col = (Collection<Collection<Truc>>)ar; //ne fonctionne pas

---

alors que le cast suivant fonctionne ?

Code:

---

1 2	ArrayList<Truc> ar = ...; Collection<Truc> col = (Collection<Truc>)ar; //fonctionne

---

Plus particulièrement, mon problème est le suivant:
J'ai une méthode dans un interface ayant pour type de retour Collection<Collection<Truc>>.
Dans les classes l'implémentant, il est nécessaire de la surcharger.
Ces classes travaillent de manière interne avec des ArrayList<ArrayList<Truc>>
Je ne peux pas faire de cast pour le retour, et la jvm ne semble pas "comprendre" que c'est bon d'un point de vue de types.

Pourquoi ? Comment faire pour éviter ça ?

Merci d'avance pour vos réponses.

bonne question !

après quelques recherches pour comprendre ce problème, je suis tombé sur cette discussion, en particulier le point 5

de ce que j'ai compris, le cast tel que tu l'as écrit n'est pas autorisé pour éviter d'ajouter des éléments de type différents.

il est aussi donné 2 façons de résoudre le problème, bonne lecture :ccool:

Ok....
Je comprends pas trop en quoi l'utilisation des types jokers résout mon problème, mais il s'avère que c'est le cas. Je connaissais ça, mais je vois pas en quoi ça change qqch, raison pour laquelle j'avais même pas testé ça.

Toujours est-il que le code de l'interface en question devenant ceci

Code:

---

public Collection<? extends Collection<? extends Truc>> partition();

---

je peux maintenant surcharger "bêtement" de la manière suivane :

Code:

---

1 2 3 4 5

public Collection<? extends Collection<? extends Vertex>> partition() { ArrayList<ArrayList<Truc>> ar = .....; return ar; //fonctionne }

---

Merci donc ;-)

Citation:

---

Envoyé par Razgriz

Bonjour à tous,

voilà, ma question est très simple. Pourquoi ne puis-je pas effectuer un cast

Code:

---

1 2	ArrayList<ArrayList<Truc>> ar = ...; Collection<Collection<Truc>> col = (Collection<Collection<Truc>>)ar; //ne fonctionne pas

---

---

dans ar, tu peux uniquement mettre des ArrayList<Truc>, dans col, tu peux aussi mettre des LinkedList<Truc>, ce qui pose problème et n'est donc pas la même chose.

Ceci dit, tu veux peux être exprimer que "quand je ferais un get sur les objet de col, je récupère une collection, je m'en fou de savoir si c'est une arraylist, une linkedlist, un hashset, etc. Dans ce cas, utiliser ce code :)

Code:

---

1 2	ArrayList<ArrayList<Truc>> ar = ...; Collection<? extends Collection<Truc>> col = ar;

---

edit: ha ben t'as trouvé tout seul finalement :aie:

Si tu ne comprends pas la solution, ça veut dire que tu n'as pas compris le problème.

ar dit qu'il contient des ArrayList<Truc>. Une Collection<Truc> n'est pas un ArrayList<Truc>. Bon, elle peut l'être parfois, mais elle peut tout aussi bien être un HashSet<Truc>.
Donc ar ne peut pas accepter des Collection<Truc>, puisque ce qu'il contient c'est des ArrayList<Truc>, et qu'un Collection<Truc> n'est pas un ArrayList<Truc>.

Or tu as décidé que col dit qu'il contient des Collection<Truc>, il peut donc en accepter. col peut accepter des Collection<Truc>, mais ar ne le peut pas.
Ils ne peuvent donc pas être un seul et même objet, puisque l'un peut contenir des trucs que l'autre ne peut pas. Donc on ne peut pas cast ar en col.

Par contre, en passant de

Code:

---

Collection<Collection<Truc>> col;

---

à

Code:

---

Collection<? extends Collection<Truc>> col;

---

tu passes de "col contient des Collection<Truc>" à "on ne sait pas ce que contient col mais on sait que c'est un sous-type de Collection<Truc>".
On ne sait pas ce que contient col et donc on ne peut rien ajouter dedans, puisque quoi que ce soit qu'on veuille ajouter dedans, on ne sait pas si on peut le faire.

Par contre, quoi qu'il y ait dedans, on sait qu'on peut le considérer comme un Collection<Truc>. ar aussi est capable de ça. Donc on peut cast ar en col.