[Java 1.5] Heritage et méthode

Bonjour
j'ai ce bout de code

Code:

---

1 2 3 4 5 6 7 8 9 10 11

class Maitre{ void partir(){} }   class Esclave extends Maitre{   String partir() { return null; } }

---

Dans la classe héritée Esclave il y a un problème avec la méthode String partir(). Si je la redefini en changeant les arguments il n'y a aucun problèmes, cependant en lui donnant une valeur de retour j'ai une erreur de compilation. Dans ce bout de code on ne m'explique pas pourquoi il y a ce problème.


Bien à vous.

PS: Les questions que je pose pourraient être interressantes en ce sens qu'elles résultent d'un questionnaire, un td que nous donne notre boite dans le but de prérparer l'examen 310-065. C'est généralement aussi des questions que les recruteurs posent pendant l'embauche, et surtout c'est une préparation aux examen scjp. Serait il possible à l'administrateur d'ouvrir un chapitre dédié à ce genre de posts ? C'est une simple suggestion.

C'est quand même assez débutant, comme question. Peut-être un peu tôt pour s'intéresser aux certifications.

Bon, pour résumer :

- Une méthode qui porte le même nom et admet les mêmes arguments qu'une méthode non privée de classe ascendante, devient une redéfinition de la méthode ascendante.
- Une méthode qui en redéfinit une autre doit avoir une signature compatible :
-- même nom
-- mêmes paramètres
-- même type de retour, ou type de retour spécialisé
-- même accès ou accès élargi

Donc :
- partir() a le même nom et ne prend pas de paramètre dans Maitre et dans Esclave, n'est pas privée, et Esclave est classe descendante de Maitre
-> Esclave.partir() redéfinit Maitre.partir()

- partir() renvoie String dans Esclave et void dans Maitre
-> String n'est pas void ni un sous-type de void, d'ailleurs void n'a pas de sous-type et n'est même pas un type lui-même.
-> contraintes non respectées, erreur de compilation.


Ça c'était l'explication rigoureusement mathématique.
Pour faire simple, voyons un exemple : oublions void et remplaçons par int.

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

class Maitre{ int partir(){ return 0; } }   class Esclave extends Maitre{ String partir() { return null; } }   class Test { public static void main(String[] args) { Maitre m1 = new Maitre(); Maitre m2 = new Esclave(); int sum = m1.partir(); sum += m2.partir(); } }

---

Comme tu peux le voir, l'existence de la méthode partir() dans la classe Maitre, fait que l'on compte sur le fait que partir() renvoie un int pour tout objet qui est un Maitre, que ce soit son type instancié exact ou un sous-type.

Les sous-classes ne peuvent donc pas la redéfinir pour lui faire renvoyer autre chose, c'est contradictoire.

Citation:

---

Envoyé par thelvin

....Les sous-classes ne peuvent donc pas la redéfinir pour lui faire renvoyer autre chose, c'est contradictoire.

---

Merci :)