Generics - pb de cast

Version imprimable

Soit le code suivant :
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 public class Classe1<T> { protected T ref = null; public Classe1() { ref = (T)this; System.out.println(ref.getClass()); } public static void main(String[] args) { Classe1<String> c = new Classe1<String>(); } }
L’exécution de ce code affiche dans la console :
class Classe1

Or je ne comprends pas pourquoi "ref" n'est pas de type String et pourquoi je n'ai pas une ClassCastException lors de l'affectation = ref = (T)this;

Les génériques ne sont là que pour la compilation, dans le bytecode il n'y en a aucune trace.

Par exemple:

Code:

1
2
3
4
5
6
7
8
9
 
public class FooBar {
  public static void main(String[] args) {
    List<String> stringList = new LinkedList<String>();
    List list = stringList; //Warning
    list.add(Integer.valueOf(0)); // ok
    String first = stringList.get(0); // ClassCastException
  }
}

13/04/2011, 11h33
thelvin

Citation:

Envoyé par Guybrush

Or je ne comprends pas pourquoi "ref" n'est pas de type String

Parce que du fait de cette ligne :

Code:

ref = (T)this;

ref vaut simplement this, et que this est de classe Classe1

Citation:

Envoyé par Guybrush

et pourquoi je n'ai pas une ClassCastException lors de l'affectation = ref = (T)this;

Pour la raison donnée par le warning que te fait ton compilateur sur ce cast.
Les génériques ne sont qu'un outil compile-time, ils servent à s'assurer de la cohérence des types à la compilation.
Après compilation, donc entre autres au runtime, les génériques n'existent plus. T n'étant pas contraint, il sera considéré comme Object, et donc il n'y a aucun cast à faire, tout objet héritant forcément de Object. Un ClassCastException est donc impossible.

merci, c'est très clair.

Dans le même genre, pourquoi je ne peut pas écrire :
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 public class Classe1<T extends List> { protected T ref = null; public Classe1() { ref = (T)this; System.out.println(ref.getClass()); } public static void main(String[] args) { Classe1<String> c = new Classe1<String>(); } } public class Classe2<T extends ArrayList> extends Classe1<T> { }
J'ai une erreur de compilation sur la déclaration de Classe2 avec le message :
Bound mismatch: The type T is not a valid substitute for the bounded parameter <T extends List> of the type Classe1<T> Classe2.java

13/04/2011, 12h17
Patriarch24

J'ai du mal à comprendre ta tentative d'utilisation des generics là. Avant de tenter de résoudre ton problème, peux-tu nous expliquer l'intention qui est derrière ?

Tu as une erreur dans ton main, String ne peut pas être utilisé pour Classe1 (T extends List).
Par ailleurs, List est générique et tu ne précises pas le type générique (List<E>), donc tu as des avertissements lors de la compilation (à la limite ce n'est pas grave).

L'erreur que j'ai en compilant ce code :

Code:

Bound mismatch: The type String is not a valid substitute for the bounded parameter <T extends List> of the type Classe1<T>

Ce qui est normal, String n'étend pas List.
13/04/2011, 13h01
Logan Mauzaize

Classe1 (this) non plus d'ailleurs :)
13/04/2011, 14h17
tchize_

faudra que tu nous explique ce que tu essaie de faire avec ton

Code:

ref = (T)this;

Le typage générique, ce ne sont pas de paramètres passé au constructeur, ce représente juste des classe, pas des valeurs. et this n'est pas un List, c'est un Classe1<? extends List>
13/04/2011, 14h20
Guybrush

Citation:

Envoyé par Patriarch24

J'ai du mal à comprendre ta tentative d'utilisation des generics là. Avant de tenter de résoudre ton problème, peux-tu nous expliquer l'intention qui est derrière ?

Tu as une erreur dans ton main, String ne peut pas être utilisé pour Classe1 (T extends List).
Par ailleurs, List est générique et tu ne précises pas le type générique (List<E>), donc tu as des avertissements lors de la compilation (à la limite ce n'est pas grave).

L'erreur que j'ai en compilant ce code :

Code:

Bound mismatch: The type String is not a valid substitute for the bounded parameter <T extends List> of the type Classe1<T>

Ce qui est normal, String n'étend pas List.

mauvais copier/coller, desole.
Il faut enlever le code du main qui évidemment n'a pas de sens.

Ce que veut faire : limiter dans la classe dérivée (ici classe2) le type paramétré T aux dérivés de ArrayList.
En gros je veux pouvoir créer des classe1 avec n'importe quel type de List, mais je ne veux créé des classe2 qu'avec des types ArrayList.
13/04/2011, 14h22
tchize_

c'est pas le soucis, ce qu'on comprend pas, c'est ce que vous essayez de faire avec this dans le constructeur :s
13/04/2011, 14h30
Guybrush

Citation:

Envoyé par tchize_

c'est pas le soucis, ce qu'on comprend pas, c'est ce que vous essayez de faire avec this dans le constructeur :s

c'était juste pour illustrer mon premier exemple.
ma question c'est pourquoi j'ai une erreur de compilation sur la déclaration de classe2.
13/04/2011, 14h34
adiGuba

Salut,

Donnes nous le code exact + l'erreur exacte alors, car sur la déclaration de Classe2 il n'y a pas d'erreur (si ce n'est les warning dû à l'utilisation d'ArrayList sans paramétrage).

a++
13/04/2011, 14h49
Guybrush

J'ai compris !!!

La complétion d'Eclipse m'a ajouté cet import pour la déclaration de List dans Classe1 :
import com.sun.xml.internal.bind.v2.schemagen.xmlschema.List;

d'où le problème avec ArrayList dans classe2
13/04/2011, 14h50
Logan Mauzaize

Citation:

Envoyé par Guybrush

J'ai une erreur de compilation sur la déclaration de Classe2 avec le message :
Bound mismatch: The type T is not a valid substitute for the bounded parameter <T extends List> of the type Classe1<T> Classe2.java

C'est la Classe1 du fichier Classe2.java qui pose problème pas la Classe2 !

C'est parce que tu cherches à affecter Classe1<T> (this) dans une variable/attribut de type T extends List.