Conţinut
- Definiție - Ce înseamnă Subtyping?
- O introducere în Microsoft Azure și Microsoft Cloud | În acest ghid, veți afla despre ce este vorba despre cloud computing și despre cum Microsoft Azure vă poate ajuta să migrați și să conduceți afacerea din cloud.
- Techopedia explică subtiparea
Definiție - Ce înseamnă Subtyping?
Subtiparea este o noțiune în teoria limbajului de programare în care un subtip, care este un tip de date, este legat de un supertip bazat pe noțiunea de substituibilitate, unde elementele de program, cum ar fi funcțiile și subrutinele care sunt scrise pentru supertip, vor funcționa în continuare dacă se va da subtip în schimb. Subtipurile sunt un concept esențial în programarea orientată pe obiecte și sunt substituibile la supertipuri și uneori chiar au specificații mai stricte decât supertipul.
O introducere în Microsoft Azure și Microsoft Cloud | În acest ghid, veți afla despre ce este vorba despre cloud computing și despre cum Microsoft Azure vă poate ajuta să migrați și să conduceți afacerea din cloud.
Techopedia explică subtiparea
Subtiparea este o metodă de substituție și reutilizare a codului folosită în limbajele de programare orientate pe obiecte pentru a preveni copierea inutilă a codului în mare măsură similar și pentru a promova lizibilitatea codurilor și pentru a preveni erorile. Un subtip este practic un substitut pentru un supertip care poate îndeplini toate specificațiile latters, și apoi unele. Deci, dacă B este un subtip de A, atunci B poate fi întotdeauna utilizat pentru a substitui A și orice proprietate care este garantată de A trebuie să fie, de asemenea, garantată de B.
Subtipul este permis să consolideze și chiar să adauge proprietăți care nu sunt pe supertip, ceea ce înseamnă că permite extinderea supertipului. Așadar, în loc să creezi un nou supertip de fiecare dată când este necesar ceva nou și apoi să copiezi proprietăți și condiții dintr-un alt supertip, ar putea fi creat pur și simplu un subtip care extinde supertipul cu proprietăți sau caracteristici suplimentare fără a schimba supertipul. Apoi, în acest caz, tot ceea ce este probabil supertipului va fi, de asemenea, probabil subtipului și altele. Dacă un subtip este tratat pur la fel ca supertipul, folosind și interogând doar metode și câmpuri de tip supertip, atunci rezultatele ar fi în concordanță cu obiectele supertipului.