Usages de l'héritage

On peut envisager cette relation d'héritage de plusieurs points de vue :

• inclusion ensembliste : la classe A hérite de la classe B si tout objet de A peut être considéré comme un objet de B, en terme ensembliste, si . A hérite de B : A B
• propriétés : du point de vue des propriétés vérifiées par les objets, les objets de A vérifient les propriétés de B mais aussi d'autres propriétés supplémentaires. En ce sens, la relation d'héritage correspond à une inclusion de propriétés. En notant P(A) le fait que la propriété P est vérifiée par les objets de A: A hérite de B :
• représentation : l'héritage n'est pas équivalent à l'inclusion ensembliste : dans la représentation, si une classe A hérite de B, cela signifie que la représentation de A sera la représentation de B plus éventuellement d'autres données et fonctions membres. Par exemple, du point de vue ensembliste, un carré est un rectangle particulier, mais, du point de vue informatique, il n'est pas forcément intéressant de représenter un carré comme un rectangle particulier :

  class rectangle{
       Point origine;
       int longueur,
       int largeur,
  //...
  };

  est une représentation raisonnable d'un rectangle, mais dans la représentation d'un carré, un des deux membres longueur et largeur est inutile.

  En d'autres termes du point de vue de la représentation (les données membres) : A hérite de B implique que la représentation de A contient la représentation de B

  Ces différents points de vue, ne sont pas sans contradictions, si les deux premiers sont bien équivalents, le troisième qui, dans une certaine mesure est celui de la réalité informatique, est assez différent. Il fait intervenir la notion de représentation (notion informatique). A priori, rien n'indique que la relation d'inclusion entre ensemble ait un lien avec la notion d'inclusion entre représentation.

  D'ailleurs, toujours du point de vue informatique, on peut utiliser cette relation d'inclusion uniquement pour réutiliser les fonctions membres. L'héritage peut servir aussi à utiliser les méthodes des ancêtres sans qu'il n'y ait ni rapport entre les représentions, ni relation ensembliste entre les classes, mais simplement des similitudes concernant certaines méthodes.

• Utiliser ou hériter ?