Discussion :

[xixi31]

Bonjour,

Je me pose une petite question concernant la généricité.
Dans le cas de la déclaration suivante :

public class ClassGeneric<T, U>
{
// etc...
}

ClassGeneric<Integer, String> gen = new ClassGeneric<Integer, String>();

comment peut-on savoir par introspection que la classe de l'objet gen est générique est qu'elle utilise pour paramètres : T = Integer, U = String ??

[Gfx]

C'est dans la doc... methode Class.getTypeParameters()

[xixi31]

désolé, c'est pas aussi clair pour moi

j'ai cette classe :

public class ClassGeneric<T extends String, U>
{

}

je crée cet objet :
ClassGeneric<String, Integer> m = new ClassGeneric<String, Integer>();

et par introspection sur sa classe, je trouve bien 2 TypeVariables :

Pour le premier TypeVariable,
[0] bounds[0] : class java.lang.String
[0] name : T

et pour le deuxième,
[1] bounds [0] : class java.lang.Object
[1] name : U

Donc, a priori, je récupère des infos sur la classe générique ( normal!! ). ce que je souhaiterais récupérer, ce sont les types avec lesquels la classe générique a été instanciés ( String & Integer )...

[adiGuba]

Salut,

Donc, a priori, je récupère des infos sur la classe générique ( normal!! ). ce que je souhaiterais récupérer, ce sont les types avec lesquels la classe générique a été instanciés ( String & Integer )...

C'est normal puisque la vérification des types générics est effectué à la compilation, et perdu à l'exécution afin de conserver une compatibilité asendante...

Donc ce n'est pas possible...

Pourquoi as-tu besoin de cette information ?

a++

PS : remarques : <T extends String> ne sers à rien puisque String est final et ne peux donc pas avoir de classe fille...

[Gfx]

C'est tout a fait normal. Que tu ecrives ClassGeneric<String, Integer> ou ClassGeneric<String, Date>, la classe est toujours ClassGeneric<T extends String, U> (au passage, T extends String n'a aucun sens car la classe String est final et on ne peut donc pas en heriter, tu n'as donc pas besoin du type generique T). Le resultat que tu obtiens est donc tout a fait coherent.

Essaye de definir public class ClassGeneric<T, U extends List> et les TypeVariable te donneront Object et List.

Encore une fois, lis la doc. Dans la doc de la methode getBounds() tu peux lire :

Returns an array of Type objects representing the upper bound(s) of this type variable.

L'upper bound en question est donc Object quand tu marque juste <T>, String quand tu marques <T extends String>, List quand tu marques <T extends List>, etc.

Rappelle-toi enfin que les generics en Java reposent sur la notion d'erasure. Apres compilation, le type est "perdu" est tout est ramene a Object. Le compilateur s'occupe s'implement de faire des verifications et de rajouter des casts pour toi (en gros).

[xixi31]

le "extends String" était un très mauvais exemple

Merci de cette réponse collégiale, c'est beaucoup plus clair