objekttyper

Objekttyper er typer som beskriver hva objekter i et program representerer og hvilken oppførsel de har. I objektorienterte språk er en objekttype vanligvis definert av en klasse eller et grensesnitt, som beskriver hvilke attributter (tilstander) og metoder (oppgaver) objektet har. Instanser av klasser er konkrete objekter som lagrer data og utfører operasjoner.

Objekttyper deles ofte inn i primitive og sammensatte typer. Primitive typer representerer helt grunnleggende verdier, for eksempel tall eller tekst, mens objekttyper vanligvis er komplekse og består av flere felt og metoder. Innenfor en objekttype kan man inkludere andre objekttyper, lister, kart eller andre strukturer. Noen språk skiller også mellom referansetyper og verdityper, der objekttyper ofte er referansetyper.

Typingsystemet påvirker hvordan objekttyper behandles. Nominal typing baserer seg på navn og arv, mens strukturell typing baserer seg på struktur (felt og metoder) i stedet for navn. Subtyping og polymorfisme gjør at en variabel av en supertype kan referere til objekter av undertyper, noe som gjør at ulike objekttyper kan brukes gjennom en felles grensesnitt.

Objekttyper brukes til å modellere virkelige eller abstraherte enheter i programmet, designe API-er og sikre konsistens i datarepresentasjon. De gjør det mulig å implementere kapsling, arv og komposisjon, samt å utvikle fleksible og vedlikeholdbare programstrukturer. Riktlinjer for design av objekttyper påvirker lesbarhet, gjenbruk og feilhåndtering i koden.