Subtyypit

Subtyypit ovat kantatyypin alaisia luokkia tai arvoja. Subtyypin arvojen on oltava kelvollisia myös kantatyypin arvoina, jolloin niitä voidaan käyttää substituutioina tilanteissa, joissa odotetaan kantatyypin ilmaisua. Subtyping mahdollistaa polymorfian sekä turvallisen uudelleenkäytön ja mallintamisen.

Ohjelmoinnissa subtyping tarkoittaa, että subtyyppi voidaan korvata kantatyypillä, jolloin subtyyppinen arvo voidaan sijoittaa paikkaan, jossa odotetaan kantatyypin arvoa. Esimerkkinä Car on subtyyppi Vehicle; Car-olio voidaan tallentaa Vehicle-tyyppiseen muuttujaan. Liskovin substituutioperiaatteen mukaan ohjelman on käytännössä oltava samaa käyttäytymistä, kun subtyyppi korvaa kantatyypin.

Biologiassa subtyypit viittaavat geneettisesti eriytyneisiin alaryhmiin, kuten virus- tai bakteerikantoja. Erot periytyvät, ja ne voivat vaikuttaa virulenttisuuteen, vasteeseen rokotteisiin sekä diagnostisiin menetelmiin.

Muita alueita, kuten tietotekniikka ja tiedonmallinnus, käyttävät subtyyppejä pyrkien tarkentamaan malleja säilyttäen kantatyypin ominaisuudet. Subtypingin vastakohta on yleistetty tyyppi, jossa arvojen tarkkaa rajaa ei ole määritelty.