Arvotyyppejä

Arvotyypit ovat ohjelmointikielissä sellaisia tietotyyppejä, joissa muuttuja tallentaa arvon suoraan. Kun arvotyypin ilmentymä siirretään tai sitä käytetään, arvo kopioidaan kokonaisuudessaan eikä viite johonkin jaettuun olioon. Tämä tekee arvotyypeistä itsenäisiä ja usein helpommin hallittavia muistitoimintoja, sekä usein kevyempiä pienille datamäärille.

Referenttityypit sen sijaan tallentavat muuttujan sisällä viitteen olioon, ja kopiointi siirtää vain tämän viitteen. Useampi ilmentymä voi siten viitata samaan objektiin, mikä mahdollistaa tilan jakamisen ja dynaamisemman elinkaaren, mutta myös monimutkaisempia sivuvaikutuksia, kuten jaettujen muokkausten hallinnan. Arvotyypit ja referenttityypit tarjoavat erilaista hallintaa muistille ja kopioinnille, ja valinta riippuu käyttötapauksesta.

Esimerkkejä arvotyypeistä ovat monilla kielillä perusmuuttujat kuten kokonais- ja liukulukutyypit sekä käyttäjän määrittelemät rakenteet (kuten struct C#:ssa). Joissakin kielissä, kuten Java, primitiiviset tyypit ovat käytännössä arvotyyppejä. C++:n perusarvotyypit ja monet pienet datarakenteet voidaan käsittää arvotyyppeinä riippuen kontekstista.

Hyötyjä arvotyypeille ovat ennustettava kopiointi, ei jaettua tilaa ja usein hyvän cache-lokaloinnin mahdollisuus. Haittoja taas voivat olla suurten arvojen kopioinnin kustannukset sekä tarpeet kiinnittää suorituskykyä pass-by-value -periaatteisiin. Monissa kielissä arvo- ja referenttityyppien valinta vaikuttaa suorituskykyyn ja ohjelman turvallisuuteen, ja niitä käytetään harkiten yhteen sovittaen.