Instanciation avec JOKER

Bonjour,

Code:

---

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

void f (List<? extends Figure> liste){ //Autorisé Figure ret = liste.get(0); // Interdit par le compilateur Cercle ret = liste.get(0); }

---

Cette méthode prend en paramètre une liste qui contient des éléments dont le type(inconnu) peut être un sous type de Figure ou peut être de type Figure.


Or, Cercle est un sous type de Figure, alors pourquoi :

Code:

---

Cercle ret = liste.get(0);

---

est interdit par le compilateur ?

Parce que ton type de retour est un objet de type Figure justement !

Un Cercle est une Figure mais une Figure n'est pas toujours un Cercle (c'est un problème d'implications/équivalences)

Pour récupérer un Cercle, il faut vérifier d'abord que ça en est un, et lancer un cast :

Code:

---

1 2 3 4 5 6

Figure fig = liste.get(0); if (fig instanceof Cercle) { /* ici on vérifie que 'fig' est un cercle */ Cercle cercle = (Cercle)fig; /* ici, on crée une nouvelle référence de type Cercle qui pointe le même objet comme un "Cercle cercle = liste.get(0)" */ /* Ajoute ici le code à exécuter avec ton cercle */ } /* Si tu as quelquechose à faire dans le cas ou ta figure n'est pas un cercle, rajoute un else */

---

Citation:

---

Envoyé par Grimly

Parce que ton type de retour est un objet de type Figure justement !

Un Cercle est une Figure mais une Figure n'est pas toujours un Cercle (c'est un problème d'implications/équivalences)

---

Oui je vois...Mais c'est le type retour de la fonction get qui est un objet de type Figure ?


Suite à ce code

Code:

---

(List<? extends Figure> liste){

---

on peut affirmer que liste peut contenir des objets de type Figure ou des objets qui sont sous type de Figure ?

Il y a deux points : ce que tu déclares, et ce que sont les choses.

Par exemple, une table, tu peux dire que c'est un objet, tu peux dire que c'est un mobilier, etc. Quel que soit ce que tu dis, cela restera toujours une table.

Techniquement, un objet a toujours une, et une seule, classe, qui ne change jamais, tandis qu'il peut avoir plusieurs déclarations compatibles acceptées par le test instanceof pour le runtime, par la théorie pour le compilateur.

Cette compatibilité peut être dû à l'héritage (fils de... père de...), à une correspondance avec une interface, ou une correspondance avec une déclaration de type.

La méthode list.get(0) déclare que le type de retour est le type paramétré pour l'objet list (E get(int index) dit le javadoc). Il peut arriver, par divers procédés, que la liste contienne des objets dont la classe est compatible, à la classe déclarée par le type E.

Pour répondre plus directement à ta question, le type retour déclaré par list.get est Figure.