Hopp til innhold

Merket union

Fra Wikipedia, den frie encyklopedi

Innnenfor informatikk, er en merket union, også kalt en variantrecord, valgtype, diskriminert union, usammenhengende union, sum type, eller koprodukt, en datastruktur som holder en verdi som kan være av flere forskjellige, men fastsatte, datatyper. Bare en av datatypene kan brukes samtidig, og et tag-felt indikerer eksplisitt hvilken datatype som brukes.

Dette er kritisk i definisjonen av rekursive datatyper, for eksempel i definisjonen av trær. Liksom ordinære unioner, kan merkede unioner spare lagring ved overlappende lagringsområder for hver type, siden bare en brukes om gangen.