Wiki SIO Chaptal

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.
====== Héritage ======
===== Définition =====
L’héritage permet la définition de classes comme des **extensions d’autres classes**. Lorsqu’une classe
hérite d’une autre classe, cela signifie qu’elle incorpore le fonctionnement interne de la classe dont elle
hérite.
\\ \\ \\ 
| <WRAP>
On dit que :
  * la classe « **enfant** » __dérive__ de la classe « parent » ;
  *  la classe « **parent** » est  la __classe de base__ ou __superclasse__ de la classe « enfant » ;

La classe dérivée **__hérite__** des caractéristiques (attributs et méthodes) de sa classe de base, et par ce fait
permet d’économiser beaucoup d’efforts de développement. En effet l’héritage apporte la possibilité de :
  * factoriser le code en le spécialisant (dans la classe mère) ;
  * réutiliser le code en le personnalisant (dans les classes enfants) ;
</WRAP> |  \\ {{ bloc2:prog:poo:heritage-diagrammeclasses.png?200 |Parent-Enfant}}  |

==== Exemples dans la documentation Java ====

    * https://docs.oracle.com/javase/8/docs/api/javax/swing/JTable.html
    * https://docs.oracle.com/javase/8/docs/api/javax/swing/JList.html
    * https://docs.oracle.com/javase/8/docs/api/javax/swing/JPasswordField.html
{{bloc2:prog:poo:heritage-hierarchie.png?400|}}

----

===== Aspects syntaxiques Java =====
  * **extends** : indique le nom de la classe mère dans l’entête d’une classe
  * **super** : désigne l’instance courante de la classe mère
  * **super(…)** : désigne l’appel au constructeur de la classe mère. Le constructeur d’une classe fille devrait toujours faire appel au constructeur de la classe mère __en toute première instruction__
  * **protected** : désigne une visibilité publique dans la hiérarchie d’héritage et privée pour le reste

----

===== Polymorphisme =====
  * Les sous-types peuvent être utilisés partout où un super-type est attendu 
  * Une variable d’un super-type peut contenir des objets de ses sous-types

----

===== Redéfinition (override) =====

| <WRAP>
Lorsqu’une méthode existe dans une super-classe et que la sous-classe nécessite
que cette méthode se comporte différemment, il est possible de redéfinir la
méthode dans la sous-classe (même nom, même signature).

Dans ce cas, c’est au moment de l’exécution, selon le type réel d’un objet que
l’environnement décidera d’exécuter la méthode du sous-type ou celle du supertype (liaison retardée). 
</WRAP> | {{bloc2:prog:poo:heritage-override.png?200 |override}} |

----

===== Transtypage (Cast) =====

À partir du moment où des variables peuvent être polymorphes, il est
nécessaire de disposer d’un outil qui permet de forcer la reconnaissance d’un
objet comme un sous-type précis alors qu’il est perçu comme un super-type par
le formalisme du code. 

----

===== Interrogation de type =====
Opérer un transtypage, c’est bien. Mais parfois on ignore jusqu’au moment de
l’exécution le type effectif de l’objet concerné.

Java offre deux moyens pour obtenir une indication sur le type effectif de
l’objet : 
  * L’opérateur **instanceOf** permet de comparer un objet avec son type supposé
  * La méthode **getClass()** de la classe Object qui renvoie le type effectif d’un objet sous la forme d’un objet de type Class