Contenu
- Définition - Que signifie sous-typage?
- Introduction à Microsoft Azure et au nuage Microsoft | Tout au long de ce guide, vous apprendrez ce qu'est le cloud computing et comment Microsoft Azure peut vous aider à migrer et à exploiter votre entreprise à partir du cloud.
- Techopedia explique le sous-typage
Définition - Que signifie sous-typage?
Le sous-typage est une notion de la théorie des langages de programmation où un sous-type, qui est un type de données, est associé à un supertype basé sur la notion de substituabilité, où les éléments de programme tels que les fonctions et les sous-routines écrites pour le supertype continueront à fonctionner si sous-type à la place. Les sous-types sont un concept essentiel de la programmation orientée objet et sont substituables aux supertypes et ont parfois même des spécifications plus strictes que le supertype.
Introduction à Microsoft Azure et au nuage Microsoft | Tout au long de ce guide, vous apprendrez ce qu'est le cloud computing et comment Microsoft Azure peut vous aider à migrer et à exploiter votre entreprise à partir du cloud.
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 très similaire, 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 même à d'autres. Donc, si B est un sous-type de A, alors B peut toujours être utilisé pour remplacer un A et toute propriété 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, vous pouvez simplement créer un sous-type qui étend le supertype avec des propriétés ou des caractéristiques supplémentaires sans modifier le supertype. Ensuite, dans ce cas, tout ce qui peut être prouvé par le super-type le sera également par le sous-type et plus encore. Si un sous-type est traité de la même manière que le supertype en utilisant et interrogeant uniquement les méthodes et les champs du supertype, les résultats seront cohérents avec les objets du supertype.