Héritage / Covariance / Java 5

Bonjour je révise actuellement pour passer la certification sun java programmer et je bute sur cette question.

Code:

---

1 2 3 4 5 6 7 8 9 10 11

class Programmer {   Programmer debug() {return this;}   }   class SCJP extends Programmer {   Object debug() { return this;}   }

---

Pouvez vous m'expliquez pourquoi cela ne compile pas alors que SCJP étend bien Programmer qui étend "implicitement" Object. Puisque graçe à la covariance ce code compile:

Code:

---

1 2 3 4 5 6 7 8 9 10 11

class Programmer {   Programmer debug() {return this;}   }   class SCJP extends Programmer {   SCJP Object debug() { return this;}   }

---

Merci de votre aide.

Salut,


La covariance permet de modifier le type de retour lors d'une redéfinition de méthode (à partir de Java 5.0).
Toutefois tout n'est pas permis et le contrat général de la classe parente doit être respecté. Ainsi le type de retour de la méthode doit être un sous-type de celui de la méthode parente.


Pour mieux comprendre le problème je vais reprendre tes exemples en retournant un nouvel objet du type déclaré à la place de this. Dans ton premier exemple cela donnerais:

Code:

---

1 2 3 4 5 6 7

class Programmer { Programmer debug() {return new Programmer();} }   class SCJP extends Programmer { Object debug() { return new Object();} }

---

Et si ce code compilait tu pouvais avoir un code du style :

Code:

---

1 2	Programmer p = new SCJP(); Programmer p2 = p.debug(); // retournerait un Object !!!

---

Or comme p est du type SCJP il retourne un Object qui n'est pas un Programmer ce qui fait que la référence p2 est incohérente (ce qui n'est normalement pas possible en Java).

Pire tu pourrais avoir une méthode debug() décrite comme cela :

Code:

---

Object debug() { return new Integer(0);}

---

Et je pense que tu es d'accord pour dire que cela n'a rien à voir avec un objet Programmer ;)



Mais si on prend le second exemple (j'ai corrigé ton code car la méthode debug() retournait SCJP Object mais je suppose qu'il s'agit d'un mauvais copier/coller ;) )

Code:

---

1 2 3 4 5 6 7

class Programmer { Programmer debug() {return new Programmer();} }   class SCJP extends Programmer { SCJP debug() { return new SCJP();} }

---

Ici comme debug() retourne forcément un SCJP (ou une classe fille), on est sûr d'avoir un Programmer (ou plus précisément une classe fille), donc le code précédent fonctionne sans problème :

Code:

---

1 2	Programmer p = new SCJP(); Programmer p2 = p.debug(); // retourne un SCJP ou une classe fille

---

Plus d'info : Quelles sont les règles à respecter pour redéfinir/implémenter une méthode ?


a++

C'est le contraire que t'as le droit de faire (Object pr ta première classe et Programmer pour la seconde) ;)

Merci beaucoup à tous les deux c'est beaucoup plus clair maintenant.

A.