variabeltyp

Variabeltype er et begrep som beskriver hvilken type data en variabel kan lagre i et programmeringsspråk eller annet datahåndteringsmiljø. Variablens type avgjør hvilke verdier som er gyldige, hvilke operasjoner som kan utføres på dem, og hvordan verdien representeres i minnet.

Vanlige typer deles ofte inn i primitive (eller innebygde) typer og sammensatte typer. Primitive typer inkluderer heltall, flyttall, boolean og streng. Sammensatte typer omfatter array eller liste, kart/ordbok, strukturer (registre) og objekter eller klasser. I tillegg finnes spesialiteter som dato/tid eller nullable-typer. Noen språk adskiller også mellom mutable og immutable typer.

Typingsystemet beskriver når typekontroll skjer. Statiske typer kontrolleres ofte ved kompilering, mens dynamiske typer kontrolleres ved kjøring. Sterk typing begrenser implicit konvertering mellom typer, mens svak typing tillater flere konverteringer. Mange språk tilbyr også typeinferens, slik at variabler kan få sin type utledet fra konteksten uten eksplisitt deklarasjon.

Valg av variabeltype påvirker sikkerhet, ytelse og minnebruk. Feil type kan føre til kjøretidsfeil eller logiske feil, mens presise typer letter feilsøking og optimalisering. I datautveksling og lagring er konsistente typer viktige for interoperabilitet og dataintegritet.