Rappels sur les langages orientés-objet

 

Afin d'aider le lecteur non familier avec le vocabulaire en usage et peut-être aussi pour fixer quelques problèmes de terminologie, nous rappelons ici quelques unes des définitions des concepts se rapportant aux spécifications orientées-objet.

• Objet ou Instance : c'est une entité qui est capable, dans un langage orienté objet, de stocker des états et de répondre à des messages. Le terme objet est souvent utilisé à la place de instance qui souligne l'appartenance à une classe. Les objets ou instances sont créés à partir du mécanisme d'instantiation.
• Classe d'objets : le concept de classe est une extension du concept de record ou struct : une classe contient la description d'une liste de champs ( variables) auquel on ajoute la description d'un ensemble de méthodes ( fonctions ou procédures).
  

  Exemple :

  

  Il permet de définir des objets ``génériques'' qui seront instanciés selon les termes déjà définis.

• Héritage : ce concept est la caractéristique propre aux langages orientés-objet. Il permet à de nouvelles classes d'être dérivées ou déduites à partir de classes déjà existantes.
  Si une classe B hérite d'une classe A, alors les instances de B contiennent les mêmes champs que ceux de la classe A, et les méthodes définies en A sont disponibles pour la classe B. Mais en plus, la classe B peut :
  • définir d'autres champs à rajouter à la liste des champs hérités de la classe A ;
  • définir de nouvelles méthodes à rajouter à la liste des méthodes héritées de la classe A ;
  • redéfinir (i.e. modifier) n'importe quelle méthode ou champ hérité de A.
  De plus, chaque méthode définie ou redéfinie en B a accès à la fois aux champs et méthodes de la classe B et A.
  On peut généraliser le processus d'héritage afin qu'une même classe hérite de plusieurs classes : c'est l'héritage multiple.
• Encapsulation : l'encapsulation d'objets consiste à introduire des protections pour contrôler l'accès à un objet. En général - mais cela dépend d'un langage objet à un autre -, les champs d'un objet sont privés et les méthodes sont publiques : les champs ne sont visibles qu'à travers le corps d'un objet, mais les méthodes sont visibles depuis l'extérieur.
• Polymorphisme : le concept de polymorphisme n'est valable que dans le cadre de langages typés, qu'ils soient ou non orientés-objet ( tel que ADA ou C++), et il concerne la capacité d'un langage à décrire le comportement d'une procédure de façon indépendante de la nature (ou type) de ses paramètres. Il existe 3 types de polymorphisme :
  1. La surchage : on réécrit le corps de la procédure pour tous les types de données qui seront rencontrés. Le choix de la procédure à exécuter au cours du programme se fait de manière statique à la compilation en regardant le type des paramètres de la procédure. Par exemple, le C ou bien ADA utilise la surchage avec les opérateurs arithmétiques ( +, -, *, / ).
  2. Le polymorphisme inclusif : il est basé sur une hiérarchie partielle des types. Si le type B est sous-type de A, alors une fonction acceptant des données de type A acceptera aussi ceux de type B. Par exemple, si char et booléen sont sous-types de entier, alors il suffira de définir la procédure bidon comme : bidon(entier,entier) qui manipulera les 3 types définis précédemment.
  3. Le polymorphisme paramétrique : il utilise la généricité. Les types sont alors considérés comme des paramètres à la procédure générique. Par exemple, le langage ADA permet le polymorphisme paramétrique en permettant de définir des fonctions génériques.
  Pour les langages orientés-objet, le polymorphisme revêt les caractéristiques suivantes :
  • Il permet à des méthodes de 2 classes indépendantes, i.e non liées par héritage, d'avoir le même nom. Ce type de polymorphisme découle directement de la gestion des messages reçus par les instances d'objets.
  • Le polymorphisme inclusif est inhérent aux langages orientés-objet dans le sens où l'héritage introduit une notion de hiérarchie entre les classes.
  • Pour les classes liées par héritage, le polymorphisme permet de redéfinir une méthode héritée au sein d'une classe qui hérite. Cependant, ce type de polymorphisme est différent de la surchage. Et il est valable aussi dans le cas de l'héritage multiple.
  • Le polymorphisme ne s'applique pas seulement à l'instance de l'objet qui reçoit le message mais aussi aux paramètres passés dans le message. Le message pourra accepter tout paramètre de classe héritant de la classe définie pour la méthode.
  • Le polymorphisme avec héritage ne peut être résolu lors de la compilation : ce n'est qu'à l'exécution que l'on pourra déterminer la méthode à employer en fonction de la classe instanciée.

Pour plus de détails, voir [17], [18].