La programmation objet Illustration de la POO en
La programmation objet Illustration de la POO en Pascal B. Illustration de la POO en Pascal Définition d'objet ( encapsulation ) Héritage Redéfinition de méthode(surcharge) Objets dynamiques Polymorphisme Méthodes virtuelles
La programmation objet Illustration de la POO en Pascal • { ENCAPSULATION : Unité contenant une définition d'objet } UNIT U 0; INTERFACE Type Emplacement = Object Abscisse : real; Ordonnee : real; Procedure Init(x, y : real); Procedure Deplace(dx, dy : real); Procedure Situe; End;
La programmation objet Illustration de la POO en • Pascal IMPLEMENTATION Procedure Emplacement. Init (x, y : real); Begin abscisse : = x ; Ordonnee : = y ; End; Procedure Emplacement. Deplace( dx, dy : real ); Begin Abscisse : = Abscisse + dx ; Ordonnee : = Ordonnee + dy ; End; Procedure Emplacement. Situe; Begin Writeln('Coordonnées : ', abscisse : 5: 1, ' ', Ordonnee: 5: 1); End; END.
La programmation objet Illustration de la POO en Pascal • { HERITAGE : L'objet Point hérite de l'objet Emplacement. Il possède donc tous les champs et les méthodes de Emplacement. En plus, il possède le champ couleur et la méthode Colore } Program P 1; Uses U 0; Type Point = Object ( Emplacement ) Couleur : byte; Procedure Colore ( c : byte ); End;
La programmation objet Illustration de la POO en Procedure Point. Colore( c : byte ); Begin couleur : = c End; Var pt : point; Begin Pt. init (5, 3); Pt. colore(10); Pt. situe; End. Pascal
La programmation objet Illustration de la POO en Pascal • { Héritage : redéfinition de méthode (SURCHARGE) • On redéfinit dans l'objet Point la méthode Situe avec cette fois-ci deux paramètres. • Si dans un arbre d'héritage, il y a plusieurs redéfinitions, le compilateur recherche la première définition dans le sens ascendant. • Les affectations entre objets sont toujours dans le sens descendant. Les champs communs sont affectés • Il ya deux façons de redéfinir la méthode Init : • - avec appel à la méthode existante • - sans appel }
La programmation objet Illustration de la POO en Program P 2; Uses U 0; Type Point = Object ( Emplacement ) Procedure Situe ( var x, y : real ); End; Procedure Point. Situe( var x, y : real ); Begin x : = Abscisse; y : = Ordonnee End; Pascal
La programmation objet Illustration de la POO en Pascal Var pt : point; pos : emplacement; a, b : real; Begin Pos. init (5, 3); Pos. Situe; Pt. init(10, 20); Pt. situe(a, b); Writeln('a = ', a: 5: 1, ' b = ', b: 5: 1) ; Pos : = Pt; {affectation permise car sens descendant} Pos. situe; {Pt : = Pos ; Non Permise, affectation toujours dans le sens descendant } End.
La programmation objet Illustration de la POO en Pascal • {Héritage : objets dynamiques : • Les objets peuvent être alloués dynamiquement. • Après l'affectation Pos = Pt, Pos pointe un objet de type Point. • Remarquez que le compilateur ne signale pas d'erreur. Mais remarquez aussi que, bien que Pos pointe un objet de type Point, Il n'est pas possible d'accèder au champ c. On ne peut non plus faire Pos^. init(3, 3, 12) par exemple. Ceci constitue un mauvais cas de polymorphisme
La programmation objet Illustration de la POO en Pascal Program P 4; Uses U 0; Type Point = Object ( Emplacement ) couleur : byte; Procedure Init (x, y : Real; c : Byte ); End; Procedure Point. Init( x, y : Real; c : byte ); Begin Emplacement. Init (x, y) ; { equivalent à abscisse : = x ; Ordonnee : = y ; } couleur : = c; End;
La programmation objet Illustration de la POO en Pascal Var pt : ^Point; pos : ^Emplacement; Begin New(pt); New(Pos); pt^. Init (2, 5, 10); pt^. situe; {2, 5} Pos^. init(3, 3); Pos^. situe; {3, 3} Pos^: = Pt^; { Affectation entre deux objets } Pos^. situe; {2, 5} Pos : = Pt; { Pos pointe un objet de type Point } { Writeln(' couleur = ', Pos^. c ); non accepté } { Pos^. init(3, 3, 12); non accepté } Pos^. init(3, 3); { accepté mais designe la méthode Init de Pos } END.
La programmation objet Illustration de la POO en Pascal • { POLYMORPHISME : • { Introduction aux méthodes virtuelles : On ajoute à l'objet Emplacement la méthode Identifie ( qui permet d'identifier l'objet). Dans la méthode Situe, on ajoute un appel à Identifie. } UNIT U 1; INTERFACE Type Emplacement = Object Abscisse : real; Ordonnee : real; Procedure Init(x, y : real); Procedure Deplace(dx, dy : real); Procedure Situe; Procedure Identifie;
La programmation objet Illustration de la POO en Pascal IMPLEMENTATION Procedure Emplacement. Init (x, y : real); Begin abscisse : = x ; Ordonnee : = y ; End; Procedure Emplacement. Deplace( dx, dy : real ); Begin Abscisse : = Abscisse + dx ; Ordonnee : = Ordonnee + dy ; End;
La programmation objet Illustration de la POO en Pascal Procedure Emplacement. Situe; Begin Writeln('Coordonnées : ', abscisse : 5: 1, ' ', Ordonnee: 5: 1); Identifie; End; Procedure Emplacement. Identifie; Begin Writeln(' Je suis un objet de type Emplacement '); End; END.
La programmation objet Illustration de la POO en Pascal • Ensuite, on redéfinit la méthode Identifie pour l'objet Point. Quand on appelle à la méthode situe de Pt, c'est le module Identifie de l'objet Pos qui s'exécute, d'où le message inattendu. • Si l'on veut que Pt affiche son identité, il faut rendre la méthode Identifie "virtuelle" }
La programmation objet Illustration de la POO en Pascal Program P 5; Uses U 1; Type Point = Object ( Emplacement ) couleur : byte; Procedure colore(c : byte ); Procedure Identifie; End; Procedure Point. Colore( c : byte ); Begin couleur : = c End; Procedure Point. Identifie; Begin Writeln(' Je suis un objet de type Point de couleur ', couleur ); End;
La programmation objet Illustration de la POO en Pascal Var pt : Point; pos : Emplacement; Begin Pos. init(7, 7); Pos. Situe; {affich de "objet de type emplac. . } pt. Init (2, 5); pt. situe; {affich de "objet de type emplac. . } END.
La programmation objet Illustration de la POO en Pascal • { POLYMORPHISME : • { Méthodes Virtuelles : concepts • Quand une méthode est déclarée "Virtuelle", son adresse n'est connue qu'au moment de l'éxécution. • Tout objet contenant au moins une méthode virtuelle • - doit posséder un Constructeur. ( Procédure spéciale) • - possède un champ spécial (rajouté par le compilateur) destiné à recevoir à l'éxécution l'adresse de la TMV.
La programmation objet Illustration de la POO en Pascal • { POLYMORPHISME : • Au moment de la compilation : • 1. A tout objet contenant une méthode virtuelle, le compilateur associe une TMV : table des méthodes virtuelles. La structure d'un élément peut être ( nom de la méthode, Adresse de son code) • 2. Pour chaque appel à une méthode virtuelle, le compilateur génère la séquence suivante : • - Récupérer l'adresse de la TMV de l'objet. • - Récupérer l'adresse de la méthode virtuelle • - Retrouver le code de la méthode et en faire l'appel. • On dit qu'il laisse l'appel à blanc. Puis au moment de l'éxécution il fait ce qu'on appelle la ligature dynamique.
La programmation objet Illustration de la POO en • • • Pascal { POLYMORPHISME : Au moment de l'exécution : 1. Le constructeur range l'adresse de la TMV dans l'objet. Remarques : 1. Pour des contraintes de compilation, toutes les méthodes redéfinies déclarées virtuelles doivent avoir le même nombre de paramètres • 2. Dans la plupart des cas, le Constructeur est la première procedure appelée. }
La programmation objet Illustration de la POO en Pascal UNIT U 2; INTERFACE Type Emplacement = Object Abscisse : real; Ordonnee : real; CONSTRUCTOR Init(x, y : real); Procedure Deplace(dx, dy : real); Procedure Situe; Procedure Identifie ; VIRTUAL; End; IMPLEMENTATION CONSTRUCTOR Emplacement. Init (x, y : real); Begin abscisse : = x ; Ordonnee : = y ; End;
La programmation objet Illustration de la POO en Pascal 1. Procedure Emplacement. Deplace( dx, dy : real ); 2. Begin 3. Abscisse : = Abscisse + dx ; Ordonnee : = Ordonnee + dy ; 4. End; 5. Procedure Emplacement. Situe; 6. Begin 7. Writeln('Coordonnées : ', abscisse : 5: 1, ' ', Ordonnee: 5: 1); 8. Identifie; { le compilateur laisse l'appel à blanc } 9. End; 10. Procedure Emplacement. Identifie; 11. Begin Writeln(' Je suis un objet de type Emplacement '); End; 12. END.
La programmation objet Illustration de la POO en Program P 6; Uses U 2; Type Point = Object ( Emplacement ) couleur : byte; Procedure colore(c : byte ); Procedure Identifie; VIRTUAL ; End; Procedure Point. Colore( c : byte ); Begin couleur : = c End; Pascal
La programmation objet Illustration de la POO en Pascal 1. Procedure Point. Identifie; 2. Begin 3. Writeln(' Je suis un objet de type Point de couleur ', couleur ); 4. End; 5. Var pt : Point; 6. pos : Emplacement; 7. Begin 8. Pos. init(7, 7); 9. Pos. Situe; 10. pt. Init (2, 5); 11. pt. situe; { affichage avec bonne identification } 12. END.
La programmation objet Illustration de la POO en Pascal • { POLYMORPHISME : même chose avec objets dynamiques } Program P 7; Uses U 2; Type Point = Object ( Emplacement ) couleur : byte; Procedure colore(c : byte ); Procedure Identifie; virtual; End; Procedure Point. Colore( c : byte ); Begin couleur : = c End; Procedure Point. Identifie; Begin Writeln(' Je suis un objet de type Point de couleur ', couleur ); End;
La programmation objet Illustration de la POO en Pascal Var pt : ^Point; pos : ^Emplacement; Begin writeln('Debut'); New(Pos); New(Pt); Pos^. init(7, 7); { range l'adresse de la TMV dans Pos^ } Pos^. Situe; pt^. Init (2, 5); pt^. situe; Pos : = Pt; {Pos pointe maintenant un objet de type Point } Pos^. situe; { fait bien référence à un objet de type Point (avec bon affichage), ce qui n'etait pas possible avant } Writeln('Fin'); END.
La programmation objet Illustration de la POO en Pascal • { POLYMORPHISME : Construction d'une liste d'adresses d'objets de types différents mais héritant d'un même ancêtre. Puis affichage de l'identité de chaque objet de cette liste. } UNIT U 3; INTERFACE Type Emplacement = Object Abscisse : real; Ordonnee : real; Constructor Init(x, y : real); Procedure Deplace(dx, dy : real); Procedure Situe; Procedure Identifie; Virtual ; End;
La programmation objet Illustration de la POO en Pascal Type Point = Object ( Emplacement ) couleur : byte; Procedure colore(c : byte ); Procedure Identifie; virtual; End; Type Carre = Object ( Point ) Procedure identifie; Virtual ; End; IMPLEMENTATION Constructor Emplacement. Init (x, y : real); Begin abscisse : = x ; Ordonnee : = y ; End;
La programmation objet Illustration de la POO en Pascal 1. Procedure Emplacement. Deplace( dx, dy : real ); 2. Begin 3. Abscisse : = Abscisse + dx ; 4. Ordonnee : = Ordonnee + dy ; 5. End; 6. Procedure Emplacement. Situe; 7. Begin 8. Writeln('Coordonnées : ', abscisse : 5: 1, ' ', Ordonnee: 5: 1); 9. Identifie; 10. End; 11. Procedure Emplacement. Identifie; 12. Begin Writeln(' Je suis un objet de type Emplacement '); End;
La programmation objet Illustration de la POO en Pascal Procedure Point. Colore( c : byte ); Begin couleur : = c End; Procedure Point. Identifie; Begin Writeln(' Je suis un objet de type Point de couleur ', couleur ); End; Procedure Carre. Identifie; Begin Writeln('Je suis un objet de type Carre'); End; END.
La programmation objet Illustration de la POO en Program P 8; Uses U 3; Type t = ^tmaillon; tmaillon = record adrobjt : ^Emplacement; suiv : t ; End ; Var pt : ^Point; pos, ptr : ^Emplacement; car : ^Carre ; Liste, L 1, L 2 : t; Pascal
La programmation objet Illustration de la POO en Pascal Procedure Afficher (Tete. Liste : t); Var p : t; Begin p : = Tete. Liste ; While ( P <> Nil ) do Begin ptr : = P^. adrobjt ; { p^. adrobjt^. identifie } ptr^. identifie; p : = p^. suiv End;
La programmation objet Illustration de la POO en Pascal 1. Begin 2. writeln('Debut'); 3. New(Pos); New(Pt); 4. New(Car); Pos^. init(7, 7); 5. New(Liste); Liste^. adrobjt : = Pos; L 1 : = Liste; 6. pt^. Init (2, 5); 7. New(L 2); L 2^. adrobjt : = Pt; 8. L 1^. suiv : = L 2; L 1 : = L 2; Car^. init(8, 8); 9. New(L 2); L 2^. adrobjt : = Car; 10. L 1^. suiv : = L 2; L 2^. suiv : = Nil; 11. Afficher(Liste); 12. Writeln('Fin'); 13. END.
- Slides: 33
