Table des matières:
Définition - Que signifie le sous-typage?
Le sous-typage est une notion dans la théorie du langage de programmation où un sous-type, qui est un type de données, est lié à un supertype basé sur la notion de substituabilité, où les éléments de programme tels que les fonctions et les sous-programmes qui sont écrits pour le supertype fonctionneront toujours si on leur donne le sous-type à la place. Les sous-types sont un concept essentiel dans la programmation orientée objet et sont substituables aux supertypes et ont parfois même des spécifications plus strictes que le supertype.
Techopedia explique le sous-typage
Le sous-typage est une méthode de substitution et de réutilisation de code utilisée dans les langages de programmation orientés objet pour empêcher la copie inutile de code largement similaire et favoriser la lisibilité du code et éviter les bogues. Un sous-type est fondamentalement un substitut à un sur-type qui peut remplir toutes les spécifications de ce dernier, puis certaines. Donc, si B est un sous-type de A, alors B peut toujours être utilisé pour remplacer un A et toute propriété qui est garantie par A doit également être garantie par B.
Le sous-type est autorisé à renforcer et même à ajouter des propriétés qui ne sont pas sur le sur-type, ce qui signifie qu'il permet d'étendre le sur-type. Ainsi, au lieu de créer un nouveau supertype chaque fois que quelque chose de nouveau est requis, puis de copier les propriétés et les conditions d'un autre supertype, un sous-type pourrait simplement être créé qui étend le supertype avec des propriétés ou des fonctionnalités supplémentaires sans changer le supertype. Ensuite, dans ce cas, tout ce qui est prouvable au supertype sera également prouvable au sous-type et plus encore. Si un sous-type est traité de la même manière que le sur-type en utilisant et en interrogeant uniquement les méthodes et les champs de sur-type, les résultats seront cohérents avec les objets du sur-type.
