Il Linguaggio Fortran 90/95

366 Puntatori
il cui nome è sul lato destro dell’assegnazione non deve necessariamente avere l’attributo
TARGET. Se una particolare locazione di memoria ospita una variabile che sia puntata da
un certo numero di puntatori, allora il cambiamento del valore immagazzinato in questa
locazione chiaramente andrà a modificare i valori deriferiti di tutti i puntatori associati a
quella variabile.
Il seguente frammento di codice implementa, ad esempio, tre istruzioni di assegnazione di
puntatore ed una sola istruzione di assegnazione:
REAL,TARGET,DIMENSION(3,3) :: b
REAL,TARGET,DIMENSION(3) :: r, s
REAL,POINTER,DIMENSION(:,:) :: a
REAL,POINTER,DIMENSION(:) :: x, y
y => s ! Associazione di puntatore: nessuna assegnazione
WRITE(*,*) s ! Primo WRITE: Stampa il valore originale di s
a => b ! Associazione di puntatore: nessuna assegnazione
x => r ! Associazione di puntatore: nessuna assegnazione
y = MATMUL(a,x) ! Equivale all’istruzione di assegnazione s=MATMUL(a,x)
WRITE(*,*) s ! Secondo WRITE: Adesso s è cambiato e si avra’ un
! output differente rispetto a prima
7.3 Stato di associazione di un puntatore
Lo stato di associazione di un puntatore indica se il puntatore è attualmente associato o meno ad
un target valido. I tre possibili stati di associazione di un puntatore sono: indefinito, associato
e deassociato. Subito dopo la sua dichiarazione in una istruzione di dichiarazione di tipo, lo
stato di associazione del puntatore è indefinito. Una volta che il puntatore sia stato associato
ad un target a mezzo di una istruzione di assegnazione, il suo stato di associazione diventa
associato. Se, successivamente, il puntatore viene deassociato dal suo target e non associato ad
un nuovo target, il suo stato di associazione diventa deassociato.
Un puntatore può essere deassociato dal suo target o a seguito di una nuova istruzione di
assegnazione (a mezzo della quale esso risulta associato ad un nuovo target) oppure attraverso
l’esecuzione dell’istruzione NULLIFY. Quest’ultima ha la seguente forma:
NULLIFY (puntatore1 [, puntatore2, ...])
A seguito di tale istruzione, tutti i puntatori presenti nella lista degli argomenti risulteranno
deassociati dai loro rispettivi target.
Lo stato di associazione di un puntatore può essere conosciuto a mezzo della funzione
intrinseca ASSOCIATED la cui espressione generale è la seguente:
ASSOCIATED(puntatore [, target])
Il valore ritornato da questa funzione può essere .TRUE. o .FALSE. Quando il riferimento
opzionale a target è assente, ASSOCIATED ritorna il valore .TRUE. se il puntatore è associato