Intrinsictyypin

Intrinsictyyppi on ohjelmointikielessä käytetty käsite, joka viittaa kielen sisäänrakennettuihin perustyyppeihin (primitive- tai primitiiviset tyypit). Nämä tyypit ovat yleensä määritelty kielessä itsessään eikä käyttäjä voi tai sen halutessaan määritellä uudelleen. Intrinsictyypin semantiikka ja muistivaraukset ovat osa kielen standardia, ja niiden käyttäytyminen on tiedostettavissa kielen spesifikaatiossa.

Ominaisuudet ja laajuus vaihtelevat kielestä riippuen. Yleensä intrinsictyyppeihin kuuluvat kokonais- ja liukulukutyypit (esimerkiksi kokonaisluvut ja liukuluvut), totuusarvot, sekä merkkijonojen tai näiden kaltaisten perusmuuttujien edustajat. Joissakin kielissä mukana voivat olla myös merkki- tai osoitinlajit sekä erityiset lukutyypit, kuten pienet tai suurikokoiset alkukoot. Koko ja rajoitukset (min ja max-arvot, tarkkuus, muistivarauksia) ovat usein määriteltyjä ja riippuvaisia kielestä tai alustasta.

Eroa luokkien tai käyttäjän määrittelemien tyyppien kanssa. Intrinsictyypit eroavat tyypin määrittelemisestä, kuten struct- tai class-tyyppien, ja ne ovat tavoiteltuja usein suorituskyvyn ja ennustettavuuden vuoksi. Ne voivat myös vaikuttaa ohjelman muistinhallintaan, yhteensopivuuteen ja optimointeihin kääntäjän tasolla.

Esimerkkejä kielikohtaisesti: C/C++-kielissä tyyppejä kuten int, char, float ja double pidetään intrinsictyyppeinä; Java käyttää primitive-tyyppejä kuten int, boolean, byte ja long; Rustissa ovat i32, u64 ja bool. Tarkat luettelot määräytyvät kielen dokumentaation mukaan.