puntatori

In programmazione, i puntatori sono valori di tipi speciali che rappresentano indirizzi di memoria di elementi del linguaggio di un determinato tipo come variabili, oggetti e altre strutture dati o, in alcuni casi, sottoprogrammi. In generale, i puntatori sono un meccanismo che consente l'indirizzamento indiretto nei linguaggi di programmazione ad alto livello; fra le applicazioni specifiche vi sono la creazione di strutture dati dinamiche e la simulazione del passaggio di parametri per riferimento nei linguaggi che consentono solo il passaggio di parametri per valore.
Un concetto strettamente legato ai puntatori è quello di riferimento o reference.

Tipi di puntatore [modifica]
Nei linguaggi tipizzati, ogni puntatore ha un tipo ben definito, derivato dal tipo dell'oggetto puntato. Così, l'indirizzo di memoria di una variabile di tipo "numero intero" si dirà essere di tipo "puntatore a numero intero", e questo sarà considerato dal linguaggio come un tipo distinto da "puntatore a carattere" o altri tipi puntatore. Il tipo dell'oggetto puntato viene spesso detto tipo base del puntatore (con terminologia analoga a quella usata per gli array). I tipi puntatori possono essere impiegati anche nella dichiarazione di variabili (o in altri contesti analoghi). Per esempio, nel linguaggio C
Applicazioni [modifica]
L'uso di puntatori è spesso necessario per costruire strutture dati dinamiche (dalla forma non prevedibile a priori e/o variabile nel tempo) come grafi, alberi, liste e così via.
Un'altra applicazione classica dei puntatori consiste nel simulare il passaggio di parametri per riferimento in quei linguaggi che dispongono solo di passaggio di parametri per valore.

Il puntatore null [modifica]
Ogni linguaggio fornisce un valore speciale che può essere assegnato a una variabile di tipo puntatore per indicare che essa non punta a nessun oggetto. Questo valore viene generalmente detto null (NULL), e spesso corrisponde al valore "0" (che di norma non rappresenta un indirizzo di memoria valido).