Il Linguaggio Fortran 90/95

7.2 Istruzioni di assegnazione di puntatori 365
tutte e quattro le variabili avranno valore 3.14. Ciò significa che l’istruzione di assegnazione
di puntatori ha lo stesso effetto della assegnazione delle variabili a cui essi puntano. In altre
parole si sarebbe avuto lo stesso risultato se si fosse posto:
y = x
Se, invece, si fosse avuto:
p2 => p1
si sarebbe fatto in modo che sia p1 che p2 puntassero alla stessa variabile x mentre alla variabile
y non sarebbe stato riferito alcun puntatore, con il risultato che p1, p2 e x avrebbero
avuto valore 3.14 mentre y avrebbe mantenuto il valore 2.72. Questo esempio fa comprendere
come ogni qualvolta un puntatore sia usato in una espressione al posto di un dato ”effettivo”,
nell’espressione viene usato il valore del target a cui il puntatore è riferito. Questo processo è
noto come dereferencing del puntatore: un puntatore, pertanto, è da riguardarsi semplicemente
come un alias del suo target. Allo stesso modo, tutte le volte che un puntatore appare come un
alias di un’altra variabile, esso subisce automaticamente il dereferencing ossia è il valore del suo
target che viene usato al posto del puntatore stesso. Ovviamente, affinché ciò possa avvenire
è necessario che il puntatore sia associato ad un target. I puntatori sono automaticamente
deriferiti quando compaiono all’interno di una espressione o nelle istruzioni di I/O. Il seguente
frammento di programma aiuterà meglio a comprendere il senso di quanto detto:
REAL, TARGET :: a, b
REAL, POINTER :: pt
...
pt => a
b = pt ! pt è deriferito: b è posto uguale ad a
IF (pt): è una forma di aliasing (ossia un modo di riferirsi ad uno
stesso oggetto con nomi differenti), a mezzo della quale il puntatore ed il suo target sono
riferiti ad una stessa locazione di memoria. Questo tipo di assegnazione può aver luogo
tra una variabile puntatore ed una variabile target, oppure tra due variabili puntatore.
• comune assegnazione (=): quando a sinistra dell’assegnazione c’è l’alias di un dato oggetto,
l’operazione di assegnazione deve essere pensata applicata proprio all’oggetto puntato
(ossia il valore specificato viene assegnato allo spazio puntato). Questo tipo di assegnazione
può aver luogo tra una variabile puntatore ed un oggetto avente un appropriato
tipo e rango; contrariamente a quanto avviene con l’assegnazione di puntatore, l’oggetto