Pb de generics avec Map< A, List<B>>

Bonjour,

J'ai une inertace IA:

Code:

---

1 2 3

public interface IA { public Map<? extends IB, List<? extends IC>> getTruc(); }

---

J'ai deux classes BImpl et CImpl qui implémentent respectivement les interfaces IB et IC.

Dans l'implémentation AImpl de IA je pensais pouvoir surdéfinir ma méthode de cette façon:

Code:

---

1 2 3 4

public Map<BImpl, List<CImpl>> getTruc() { // TODO Auto-generated method stub return null; }

---

Mais ça ne compile pas du tout et j'avoue ne pas comprendre pourquoi:oops: Bref toute explication serait la bienvenue....

Salut,


Cela ne compile pas car ce n'est pas compatible...

a++

Merci de ta réponse mais je ne te cache pas que ton message ne m'aide pas beaucoup à comprendre ce qui cloche...

Si je défini dans mon interface IA une fonction retournant une Map<? extends IB, ? extends IC> je n'ai aucun soucis pour la surdéfinir dans AImpl pour qu'elle retourne Map<BImpl, CImpl> . Par exemple le code suivant compile très bien.

Code:

---

1 2 3 4 5 6 7 8

public interface IA { public Map<? extends IB, ? extends IC> getMachin(); } public class AImpl implements IA { public Map<BImpl, CImpl> getMachin(){ return null; } }

---

Je ne comprends pas pourquoi quand je met une List dans cette Map plus rien n'est "compatible"...

Il doit pourtant être possible de faire ce genre de multimap avec les generics non ?

Car le double niveau d'abstraction peut poser problème dans certains cas.


Prenons cet exemple :

Code:

---

Map<String, ? extends Object> map = new HashMap<String, String>();

---

Ces deux types sont parfaitement compatible (dans ce sens) et permettent de faire abstraction sur le type concret de la valeur de la Map.

Mais ce code est également typesafe : puisqu'on ne connait pas le type exact du second paramètrage on ne peut pas modifier la map : tout appel à put() ou autre méthode de ce type génèrera une erreur de compilation puisque le typage est inconnu...


Maintenant lorsque tu utilises ceci :

Code:

---

Map<String, List<? extends Object>> map

---

Le typage de la List est inconnu, mais celui de la map est connu et tu peux donc faire ceci :

Code:

---

map.put("test", new List<Integer>());

---

Or si le compilateur t'autorisait à faire quelque chose du genre de ceci :

Code:

---

Map<String, List<? extends Object>> map = new HashMap<String, List<String>>(); // ERREUR

---

:arrow: cela reviendrait à mettre une List<Integer> dans une map de List<String>, ce qui engendrerait des erreurs bien casse-tête lors de l'exécution...




Selon ce que tu veux faire, il faudrait mieux manipuler des types précis en "généricifiant" tes classes/interfaces :

Code:

---

1 2 3 4 5 6 7 8 9

interface IA<TB extends IB, TC extends IC> { public Map<TB, List<TC>> getMachin(); }   class AImpl implements IA<BImpl, CImpl> { public Map<BImpl, List<CImpl>> getMachin(){ return null; } }

---

a++

Grand merci pour cette explication, et cette solution ! :ccool: