Conversione di tipo

In informatica, in particolare nella programmazione, la conversione di tipo (detta impropriamente casting, o typecasting, dal nome di uno dei modi in cui essa si manifesta) è l'operazione con cui si converte una variabile da un tipo di dato a un altro: questo passaggio è effettuato per avvantaggiarsi di alcune caratteristiche delle gerarchie dei tipi. Per esempio, i valori di un intervallo limitato (come quello degli interi) possono essere immagazzinati in piccole quantità di memoria, per poi essere convertiti in un formato diverso che potenzialmente permette nuove operazioni, come la divisione con varie cifre decimali di precisione. Nei linguaggi di programmazione orientati agli oggetti, la conversione di tipo permette ai programmi di trattare gli oggetti come se fossero di un tipo antenato, ad esempio per semplificare l'interazione con questi oggetti.