Définition - Que signifie le sous-typage?
Le sous-typage est une notion de 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ù des éléments de programme tels que des fonctions et des sous-programmes écrits pour le supertype fonctionneront toujours si 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.
Definir Tech 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 supertype qui peut répondre à toutes les spécifications de ce dernier, et plus encore. Donc, si B est un sous-type de A, alors B peut toujours être utilisé pour se substituer à 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 supertype, ce qui signifie qu'il permet l'extension du supertype. 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 super-type sera également prouvable au sous-type et plus encore. Si un sous-type est traité de la même manière que le supertype en utilisant et en interrogeant uniquement des méthodes et des champs de supertype, alors les résultats seraient cohérents avec les objets du supertype.