Taula de continguts:
Definició: què significa Subtyping?
El subtipus és una noció en la teoria del llenguatge de programació on un subtipus, que és un tipus de dades, està relacionat amb un supertip basat en la noció de substitució, on els elements del programa com les funcions i les subrutines que s’escriuen per al supertíper encara funcionen si se’ls dóna. en canvi, subtipus. Els subtipus són un concepte essencial en la programació orientada a objectes i són substituïbles als supertips i, fins i tot, fins i tot tenen especificacions més estrictes que el tipus de tipus.
Techopedia explica el subtipatge
El subtipatge és un mètode de substitució i reutilització de codis utilitzat en llenguatges de programació orientats a objectes per evitar la còpia innecessària de codi àmpliament similar i promoure la llegibilitat de codis i evitar errors. Un subtip és bàsicament un substitut d'un supertip que pot complir totes les especificacions d'aquest últim, i després algunes. Així, si B és un subtipus d'A, llavors B sempre es pot utilitzar per substituir una A i qualsevol propietat que estigui garantida per A també ha de ser garantida per B.
Es pot reforçar el subtipus i fins i tot afegir propietats que no es troben en el supertip, cosa que significa que permet ampliar el supertip. De manera que, en lloc de crear un nou supertip cada cop que calgui alguna cosa nova i, a continuació, copiar propietats i condicions d'un altre supertip, es podria crear un subtipus que estengui el supertip amb propietats o funcions addicionals sense canviar el supertip. Aleshores, en aquest cas, tot el que sigui demostrable per al tipus de sobretaula també serà demostrat al subtipus i molt més. Si un subtipus es tracta purament de la mateixa manera que el supertip, utilitzant i consultant només mètodes i camps de supertex, els resultats serien consistents amb els objectes del tipus de sobre.
