Discussion :

[Mr. Magne]

Bonjour,

J'ai une inertace IA:

Code :

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

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 :

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

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 Bref toute explication serait la bienvenue....

[adiGuba]

Salut,


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

a++

[Mr. Magne]

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 :

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

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 ?

[adiGuba]

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


Prenons cet exemple :

Code :

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

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 :

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

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 :

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

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

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

Code :

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

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

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 :

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

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++

[Mr. Magne]

Grand merci pour cette explication, et cette solution !