Generics... moi pas comprendre qqch

Sur cette page, dans "les méthodes génériques":
http://lroux.developpez.com/article/...ge_5#Lgenerics

Il y a quelque chose que je ne comprends pas...

Code:

---

1 2 3 4 5 6 7 8 9

static void addResidents(List<? extends Resident> newComers, List<Resident> residents) { for(Resident n: newComers) { residents.add(n); // erreur de compilation } }

---

Pourquoi il y a une erreur de compilation à la ligne indiquée?
Pour chaque (? extends résident) de la liste newComers, donc qui est d'un type inconnu, mais dont on sait qu'il hérite de Resident, on veut l'ajouter dans la liste des résidents, paramétrée par le type Resident.
Donc où est le problème... Il attend un Resident, on lui ajoute quelque chose qui étend résident...
C'est comme si on paramétrait par un Object, et qu'on lui mettait une String...
Ca ne devrait pas poser de problèmes...

Pouvez-vous m'éclaircir ?

Salut,

Il te renvoie quelle erreur ?

mavina

Citation:

---

Envoyé par mavina

Salut,

Il te renvoie quelle erreur ?

mavina

---

Arf, je ne sais pas, je n'ai pas testé...
J'ai juste lu ça dans la FAQ...

ah pardon j'ai mal compris la question ^^
(pas trop réveillé 8O )

Il est apparemment impossible de modifier une liste passée en paramètre, il faut en renvoyer une ...

Citation:

---

Cette construction a pourtant une limitation. Il est en effet impossible de modifier la liste dans le corps de la méthode, car nous ne connaissons pas le type effectif (si ce n’est que c’est un type inconnu dont le supertype est Resident). Toute tentative d’ajout d’élément nous confronterait à un problème de compatibilité de type entre le type effectif et le type de l’objet à ajouter.

---

mavina

En fait je suis confronté à un problème que je n'arrive pas à résoudre (à part par un @SuppressWarnings)...

J'ai une classe AbstractCell<T extends ObjetGeometrique>.
avec une methode void set(T t);
Ensuite, j'ai 2 classes telles que:
class Cube extends AbstractCell<Cube>
class Sphere extends AbstractCell<Sphere>

qui redéfinissent donc la méthode void set(Cube c) et void set(Sphere s)...

Jusque là tout va bien...

J'ai un problème dans un cas particulier d'utilisation...
Je voudrais que mon renderer puisse prendre comme paramètre Cube ou Sphere selon le cas...

Code:

---

1 2 3 4 5 6 7 8 9 10

Object value = ... @SuppressWarnings("unchecked") AbstractCell renderer = new CubeCell(); if(value instanceof Cube) { renderer = cubeRenderer; renderer.set((Cube) value); } else if(value instanceof Sphere) { renderer = sphereRenderer; renderer.set((Sphere) value); } renderer.setBackground(bg);

---

(par exemple, pour ne pas faire .setBackground(bg) dans toutes les alternatives...)

Salut,

Je pense qu'il s'agit d'une coquille dans l'article, et qu'il voulait dire ceci :

Code:

---

1 2	static void addResidents(List<? extends Resident> newComers, List<? extends Resident> residents)

---

En effet dans ce cas cela peut poser problème car le type réel des listes peut être imcompatible.

Un exemple similaire avec la classe Number :

Code:

---

1 2 3 4 5 6 7

public static void addNumbers(List<? extends Number> input, List<? extends Number> output){   for(Number n: input) { output.add(n); // erreur de compilation } }

---

L'erreur de compilation vient du fait que le type réel du Number de la liste en input peut être différent de celui de la seconde liste. En effet on peut très bien utiliser cette méthode de la manière suivante :

Code:

---

1 2 3

List<Double> list1 = new ArrayList<Double>(); List<Integer> list2 = new ArrayList<Integer>(); addNumbers(list1, list2);

---

Du coup si le add() était accepté à la compilation, on ajouterai un Double dans un tableau de Integer...


Et la solution proposé est d'utiliser une méthode générique :

Code:

---

1 2 3 4 5 6 7

public static <T extends Number> void addNumber2(List<T> input, List<T> output){   for(T n: input) { output.add(n); // ok } }

---

Ainsi, le type générique T implique que les List contiennent des objets héritant de Number, mais que les deux liste soient identique, donc ceci fonctionne parfaitement :

Code:

---

1 2 3

List<Integer> list1 = new ArrayList<Integer>(); List<Integer> list2 = new ArrayList<Integer>(); addNumbers(list1, list2);

---

Tout comme ceci :

Code:

---

1 2 3

List<Double> list1 = new ArrayList<Double>(); List<Double> list2 = new ArrayList<Double>(); addNumbers(list1, list2);

---

Puisque les types sont compatible...


Par contre l'appel suivant provoquera une erreur de compilation :

Code:

---

1 2 3

List<Double> list1 = new ArrayList<Double>(); List<Integer> list2 = new ArrayList<Integer>(); addNumbers(list1, list2);

---

a++

Citation:

---

Envoyé par adiGuba

Salut,

Je pense qu'il s'agit d'une coquille dans l'article

---

OK, merci, ça me rassure, je comprends mieux :)

Sinon, t'as une idée pour mon pb?

Ta classe CubeCell c'est quoi exactement ?
De quel manière elle hérite de AbstractCell ?

J'ai du mal à comprendre ce que tu veux faire...

a++

Citation:

---

Envoyé par adiGuba

Ta classe CubeCell c'est quoi exactement ?
De quel manière elle hérite de AbstractCell ?

J'ai du mal à comprendre ce que tu veux faire...

a++

---

De cette manière...

Code:

---

1 2 3 4 5 6

class AbstractCell<T extends ObjetGeometrique> { ... public void set(T t) { .... } }

---

Code:

---

1 2 3 4 5 6

class CubeCell extends AbstractCell<Cube> { ... public void set(Cube cube) { .... } }

---

Code:

---

1 2 3 4 5 6

class SphereCell extends AbstractCell<Sphere> { ... public void set(Sphere sphere) { .... } }

---

Et ce que je veux faire (sans suppresswarning):

Code:

---

1 2 3 4 5 6 7 8 9 10

Object value = ... @SuppressWarnings("unchecked") AbstractCell renderer = new CubeCell(); if(value instanceof Cube) { renderer = cubeRenderer; renderer.set((Cube) value); } else if(value instanceof Sphere) { renderer = sphereRenderer; renderer.set((Sphere) value); } renderer.setBackground(bg);

---

En fait, CubeCell et SphereCell sont des AbstractCell paramétrées par le bon type (pour que la méthode set soit déclarée correctement)...

Ok je vois mieux...


Il faut que ton renderer soit également du même type (SphereCell pour une Shpere, CubeCell pour un Cube). Il faut donc que la création du renderer soit dans le if/instanceof :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

Object value = ...; AbstractCell<? extends ObjetGeometrique> renderer = null;   if(value instanceof Cube) { CubeCell cubeCell = new CubeCell(); cubeCell.set((Cube) value); renderer = cubeCell; } else if(value instanceof Sphere) { SphereCell sphereCell = new SphereCell(); sphereCell.set((Sphere) value); renderer = sphereCell; } if (renderer != null) { renderer.setBackground(bg); }

---

a++

Ah bah voilà!
Je suis bête...

J'ai essayé plein de trucs, et j'ai pas pensé à appliquer le set() sur le bon objet :)

Merci (très) beaucoup!

Il n'y a pas de coquille ds l'article:

C'est marqué:

Nous avons bien pris soin de spécifier que les éléments de la liste des résidents sont de tout type héritant de Resident. Cependant comme nous venons de le dire, il est impossible de modifier la liste passée en paramètre. La ligne 6 provoque donc une erreur de compilation.


Les méthodes génériques arrivent ici à point nommé en déduisant le type à assigner :

Code:

---

1 2 3 4 5 6

static <T extends Resident> void addResidents(List<T> newComers, List<Resident> residents) { for(T n: newComers) { residents.add(n); // pas d’erreur ici. } }

---

ici tu précises clairement que T le type paramétré doit etendre Resident. T est nommé est est lui meme un type, que tut peux donc utiliser en tant que tel, pas comme ? qui est un wildcard et donc pas un type...

E ngros tu restrreinds le scope de T possibles à tous types qui étend Resident, rien de plus, tu assures donc la compatiblité de tes éléments.


Qu'est ce que tu ne comprends pas ?

RanDomX, je pense que l'exemple recopié de la FAQ que j'ai fait sur le premier post est faux...

Tout simplement parce que ce code:

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

import java.util.*;   public class Test { static void addElement(List<? extends Number> news, List<Number> num) { for(Number n : news) { num.add(n); } }   public static void main(String...args) { List<Integer> integers = new ArrayList<Integer>(); List<Number> numbers = new ArrayList<Number>(); addElement(integers,numbers); } }

---

compile très bien...
Et c'est la même chose...

RanDomX, faudrait-il corriger cette erreur sur la FAQ, ou tu n'es pas d'accord avec moi?