Tyypinvaihtoja

Tyypinvaihto tarkoittaa ohjelmoinnissa arvojen muuttamista yhdestä tietotyypistä toiseen. Prosessi voi olla eksplisiittinen, jolloin ohjelmoija antaa haluamansa muunnoksen, tai implisiittinen, jolloin kieli muuntaa arvon automaattisesti omien sääntöjensä mukaan. Tyypinvaihtoja käytetään esimerkiksi sovittamaan eri osien antamat tiedot yhteen tai valmistamaan arvoja toisiin operaatioihin sopivassa muodossa.

Tyypinvaihtoja voidaan luokitella usealla perusteella. Numeroiden osalta yleisiä ovat widening-konversiot (esim. int → long tai float → double), jotka ovat yleensä turvallisia eikä niistä aiheudu tietojen menetyksiä, sekä narrowing-konversiot (esim. double → int), joissa voi ilmetä datasäilyyn liittyviä menetyksiä. Merkkijonojen ja muiden ei-numeeristen tyyppien konvertointia käytetään usein parsingilla (merkkijonon muuntaminen luvuksi) tai formatoinnilla (luvun muuntaminen merkkijonoksi). Käyttäjän määrittelemät konversiot voivat tapahtua konstruktoreiden tai käyttäjän määrittelemien muunnosoperaattoreiden avulla.

Kontekstin mukaan konversiot voivat olla staattisesti tai dynaamisesti hallittuja. Staattinen tyypitys aloittaa muunnokset käännösaikaisesti, kun taas dynaaminen tyyppi valitsee ja suorittaa muunnokset ajon aikana. Tyypinvaihdon suunnittelussa huomioidaan turvallisuus, suorituskyky ja locale- tai formaattori-eroavaisuudet. Yleisiä riskejä ovat tietojen menetykset, tarkkuuden menetys, poikkeukset pilaantuneissa syötteissä sekä odottamattomat käyttäytymismuunnokset.