Content
- Definició: què significa Subtyping?
- Una introducció a Microsoft Azure i al Microsoft Cloud | Durant aquesta guia, podreu conèixer què és la informàtica en núvol i com Microsoft Azure us pot ajudar a migrar i executar el vostre negoci des del núvol.
- Techopedia explica el subtipatge
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.
Una introducció a Microsoft Azure i al Microsoft Cloud | Durant aquesta guia, podreu conèixer què és la informàtica en núvol i com Microsoft Azure us pot ajudar a migrar i executar el vostre negoci des del núvol.
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 del codi i prevenir els errors. El subtipus és bàsicament un substitut d'un supertip que pot complir totes les especificacions dels darrers i, després, algunes. De manera que 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 pugui ser demostrat per al tipus superior també serà susceptible de ser demostrat al subtipus i molt més. Si un subtipus es tracta purament de la mateixa manera que el superstip mitjançant l'ús i la consulta només de mètodes i camps de supertex, els resultats serien consistents amb els objectes del tipus de sobre.