L héritage Encore un petit topo des familles. Je pense qu'avec ce genre de chapitre, ce n'est pas du luxe...

Transcription

1 L héritage Encore un petit topo des familles. Je pense qu'avec ce genre de chapitre, ce n'est pas du luxe... Une classe hérite d'une autre classe par le biais du mot clé extends. Une classe ne peut hériter que d'une seule et unique classe! Si nous ne définissons pas de constructeur dans nos classes, la JVM se charge d'en créer un à l'interprétation. Si aucun constructeur n'est défini dans une classe fille, la JVM en créera un et appellera automatiquement le constructeur de la classe mère. La classe fille hérite de toutes les propriétés et méthodes public et protected de la classe mère. Les méthodes et propriétés private d'une classe mère ne sont pas accessibles dans la classe fille. On peut redéfinir (changer tout le code) d'une méthode héritée. On peut utiliser le polymorphisme sur une méthode par le biais du mot clé super. Le polymorphisme permet, entre autres, d'ajouter des traitements spécifiques à une méthode en continuant d'utiliser les traitements déjà définis (utilisation de super). Grâce à l'héritage et au polymorphisme, nous pouvons utiliser la covariance des variables! Si une méthode d'une classe mère n'est pas redéfinie ou polymorphée, à l'appel de cette méthode par le biais d'un objet enfant, c'est la méthode de la classe mère qui sera appelée! Vous ne pouvez pas hériter d'une classe déclarée final. Une méthode déclarée final est non redéfinissable. Overriding doit être utilisée lorsqu'une méthode redéfinit la méthode de la super classe. Celle-ci existe dans la classe mère mais on redéfinit son contenu dans la classe fille.

2 Cependant, dans notre exemple, c'est Eclipse qui rajoute automatiquement cette annotation, mais, si vous redéfinissez une méthode d'une classe mère manuellement, vous pouvez l'ajouter vous même, tout en sachant que ceci n'est pas obligatoire! Classe Abstraite Avec les classes abstraites, vous devez vous rappelez ceci : une classe est définie comme abstraite avec le mot clé abstract. Une classe abstraite ne peut pas être instanciée. Une classe abstraite n'est pas obligée de contenir de méthode abstraite. Si une classe contient une méthode abstraite, cette classe doit alors être déclarée abstraite. Une méthode abstraite n'a pas de corps. Les classes abstraites sont à utiliser lorsque qu'une classe mère ne doit pas être instanciée. Les Interfaces Alors, ici, la nouveauté vient de l'interface... Mais récapitulons un peu ce que nous avons vu. Une interface est une classe 100 % abstraite. Toutes les méthodes d'une interface n'ont pas de corps. Une interface sert à définir un super type et à utiliser le polymorphisme. Une interface s'implémente dans une classe en utilisant le mot clé implements. Vous pouvez implémenter autant d'interfaces que vous voulez dans vos classes. Vous devez redéfinir toutes les méthodes de l'interface (ou les interfaces) dans votre classe. Les Exceptions La super classe qui gère les exceptions s'appelle : Exception. Lorsqu'un événement que la JVM ne sait pas gérer apparaît, une exception est levée (ex : division par zéro)! Vous pouvez créer une classe d'exception personnalisée en créant une classe héritant de la classe Exception. L'instruction qui permet de capturer des exceptions est le bloc try{} catch{}.

3 Si une exception est levée dans le bloc try, les instructions figurant dans le bloc catch seront exécutées si celui-ci capture l'exception levée! Vous pouvez ajouter autant de blocs catch que vous le voulez à la suite d'un bloc try. Mais respectez l'ordre de pertinence. Du plus pertinent au moins pertinent! Dans une classe objet, vous pouvez prévenir la JVM qu'une méthode est dite "à risque", ceci grâce au mot clé throws. Vous pouvez définir plusieurs risques d'exceptions sur une même méthode. Il suffit de séparer les déclarations par une virgule! Dans cette méthode, vous pouvez définir les conditions d'instanciation d'une exception et lancer cette dernière grâce au mot clé throw suivie de l'instanciation. Une instanciation lancée par le biais de l'instruction throw DOIT ÊTRE DÉCLARÉE avec throws au préalable!! La Généricité La généricité est apparue depuis le JDK 1.5. Ce concept est très utile pour développer des objets pouvant travailler avec plusieurs types de données. Vous passerez donc moins de temps à développer des classes pour traiter de façon identique des données différentes. La généricité permet de ré-utiliser le polymorphisme sans risque avec les collections. Cela vous permet une meilleure robustesse du code. Vous pouvez coupler les collections avec la généricité! Le wildcard (?) permet de dire que n'importe quel type peut être traité et donc accepté! Dès que le wildcard (?) est utilisé sur une collection, cela revient à rendre la dite collection en lecture seule! Vous pouvez élargir le champ d'acceptation d'une collection générique grâce au mot clé extends. L'instruction <? extends MaClasse> autorise toutes les collections de classes ayant pour super type MaClasse. L'instruction <? super MaClasse> autorise toutes les collections de classes ayant pour type MaClasse et tous ses supers types! Pour ce genre de cas, les méthodes génériques sont particulièrement adaptées et permettent d'utiliser le polymorphisme dans toute sa splendeur!

4 L Orienté-Objet Vue de haut niveau selon laquelle l'exécution d un programme est essentiellement composée d interaction entre objets. Les Objets Morceau de programme en cours d exec. qui possède un état (contenant des données) et un comportement fait d opération (appelées méthodes). Ce sont des instances de Classes. Méthode Static Est une méthode qui est indépendante des objets. Lors de son appel, on l objet est passé en paramètre : class.method(obj1,obj2) où, method est dans class. Le Garbage Collector est une partie de la JVM chargée de libérer de la mémoire (heap) occupée par les objets qui ne sont plus référencés. Se déclenche périodiquement ou lorsque mémoire saturée. L Encapsulation Elle consiste à définir des étiquettes pour les données membres et les méthodes afin de préciser si celles-ci sont accessibles à partir d autres classes ou non. L abstraction de données est une forme d encapsulation : seule l interface d un objet est accessible depuis son environnement l implémentation est cachée Niveaux d accès ; public : accessible de partout private : accessible uniquement au sein de sa classe dans laquelle il est déclaré (utilisé qu avec les accesseurs et les mutateurs) protected : accessible uniquement par ses classes filles (pas de spec)

5 accès depuis... sur un membre privat e pas de spec protecte d publi c la classe elle-même OUI OUI OUI OUI sous-classe même NON OUI OUI OUI package pas une sous-classe, NON OUI OUI OUI même package une sous-classe d'un NON NON OUI OUI package différent pas une sous-classe d'un package différent NON NON NON OUI L Overloading (surchage) La surcharge de méthode consiste à garder un nom de méthode (donc un type de traitement à faire) et de changer la liste ou le type de ses paramètres. L Overridding (redéfinition) Une même méthode implémentée de plusieurs façons différentes selon le type. N existe que si il y a hiérarchie des types. Les Exceptions Objet d un type spécial pemettant, entre autres, des procédures totales. Il y en a de 2 sortes ; Vérifiées : figure dans la signature de la méthode, sous-type de Exception, traitement par try...catch, Non Vérifiées : ne figure pas dans la signature de la méthode, sous-type de Runtime-Exception, pas de traitement,... L héritage Mécanisme permettant à une classe (fille) dépendant d une autre (mère) de pouvoir utiliser ses méthodes, et de profiter de ses propriétés. La mutabilité C est une propriété de type (abstraction et non implementation). Un objet est mutable ssi sont état peut changer.

6 Les String (et EG, obj. math.) sont immutables. Les collections sont mutables. Si un objet mutable est partagé par plusieurs variables, toute modification de l objet effectuée sur un variable sera ressentie sur toutes les autres. La FA et l IR Fonction d Abstraction : fonction «many-to-one» du domaine des états concrets possibles des objets vers la «range» des états abstraits des objets de la classes. Elle est essentielle dans la signification de la représentation. [tostring] Invariant de Représentation : propriété que toutes les instances légitimes d un type doivent satisfaire. doit être vrai tout le temps (sauf lors de l exec. d une méthode). [RepOK] Les Principes de Substitution «Si S est un sous-type de T, les objets de type S doivent pouvoir être utilisés dans tout contexte qui requiert des objets de type T» Trois règles importantes à suivre : Règle des signatures : «Le sous-type doit avoir toutes les méthodes du super-type et leurs signatures doivent être compatibles» Règles des méthodes : «Les appels aux méthodes du soustype doivent se comporter comme des appels aux méthodes du super-type» (affaiblir Pré/Renforcer les Post) Règles des propriétés : «Le sous-type doit préserver toutes les propriétés qui sont par le super-type» Dispatching