Généricité et type Joker (wildscards) en Java

Version imprimable

Bonjour,

en observant le code source de la librairie GSON de google, qui permet au passage de transformer un objet java au format Json et vice-versa, j'ai observé que une instanciation d'un objet avec type joker, or cela est impossible ?

voici le code :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
 public GsonBuilder() {
    // setup default values
    ignoreVersionsAfter = VersionConstants.IGNORE_VERSIONS;
    serializeInnerClasses = true;
    prettyPrinting = false;
    escapeHtmlChars = true;
    modifierBasedExclusionStrategy = Gson.DEFAULT_MODIFIER_BASED_EXCLUSION_STRATEGY;
    excludeFieldsWithoutExposeAnnotation = false;
    longSerializationPolicy = LongSerializationPolicy.DEFAULT;
    fieldNamingPolicy = Gson.DEFAULT_NAMING_POLICY;
    instanceCreators = new ParameterizedTypeHandlerMap<InstanceCreator<?>>();
    serializers = new ParameterizedTypeHandlerMap<JsonSerializer<?>>();
    deserializers = new ParameterizedTypeHandlerMap<JsonDeserializer<?>>();
    serializeNulls = false;
    dateStyle = DateFormat.DEFAULT;
    timeStyle = DateFormat.DEFAULT;
    serializeSpecialFloatingPointValues = false;
    generateNonExecutableJson = false;
  }

Merci d'avance.

14/05/2013, 16h45
gloax29

il me semble que c'est ParameterizedTypeHandlerMap qui est instancié donc qui a le constructeur et non pas InstanceCreator<?>
14/05/2013, 22h16
thelvin

Yup. On peut très bien faire :

Code:

List<List<?>> lists = new ArrayList<List<?>>();

Ce qui est interdit c'est :

Code:

List<?> list = new ArrayList<?>(); // compile pas

Généricité et type Joker (wildscards) en Java Répondre à la discussion

Bonjour,

merci pour vos réponses, mais concernant le code :
Code:

1 2 3 4 5 6 7 List<List<?>> lists = new ArrayList<List<?>>(); // je reprends ta réponse ;) Integer e = new Integer(5); List<Integer> lists2 = new ArrayList<Integer>(); lists2.add(e); lists.add(lists2);
Pourquoi cette expression fonctionne alors que l'on instancie une ArrayList dont le type est une collection avec un type inconnu ?

merci d'avance

19/05/2013, 00h56
thelvin

Parce que rien n'interdit de prendre une List de type connu et de la considérer soudainement comme une List de type inconnu :

Code:

List<?> list = new ArrayList<Integer>();

C'est pareil et c'est légal. J'ai pris une List<Integer> et je l'ai donnée à quelque chose qui attend une List<?>.
Ça marche, et ça ne pose pas de problème, car la cohérence de typage reste assurée.

Ma List<?> étant de type inconnu, elle ne me donnera que des Object et ne peut donc pas se tromper. Et elle n'acceptera pas que j'y insère quoi que ce soit, aucune tentative ne compilera. La List<Integer> qu'elle était à l'origine ne contient donc bien rien d'autre que des Integer, puisque je n'ai pas pu y mettre autre chose. Où qu'on regarde, il n'y a aucune incohérence.