Il Linguaggio Fortran 90/95

7.3 Stato di associazione di un puntatore 367
ad un qualsiasi target, .FALSE. se il puntatore è stato annullato con l’istruzione NULLIFY.
Quando è presente anche il riferimento a target, la funzione ASSOCIATED restituisce il valore
.TRUE. se il puntatore è associato al target in questione, il valore .FALSE. se il puntatore non
è associato a quel target o se è stato annullato con l’istruzione NULLIFY. Si badi che testare
lo stato di un puntatore indefinito comporta un errore in fase di esecuzione. E’, pertanto,
buona norma ”annullare” tutti i puntatori che non siano immediatamente associati dopo la loro
dichiarazione. A tale scopo il Fortran 95 ha introdotto la funzione intrinseca NULL che può
essere usata per annullare un puntatore mentre lo si sta dichiarando, come si può vedere nel
seguente esempio:
REAL, POINTER :: pr1=NULL(), pr2=NULL()
INTEGER, POINTER :: pi=NULL()
La funzione intrinseca NULL può tornare particolarmente utile in fase di definizione di un tipo
di dati derivato, allo scopo di inizializzarne una componente definita con attributo POINTER:
TYPE :: entry
INTEGER :: n=10
REAL :: x=3.14
TYPE(entry), POINTER :: next=>NULL()
END TYPE entry
TYPE(entry),DIMENSION(100) :: matrix
Si ricorda, a scanso di equivoci, che l’inizializzazione ”contestuale” delle componenti di un tipo
di dati derivato è, così come la procedura intrinseca NULL, prerogativa del Fortran 95 per cui
l’esempio precedente non può essere compilato con un compilatore Fortran 90. Naturalmente
l’inizializzazione può aver luogo anche direttamente in fase dichiarativa, per cui l’esempio
precedente può essere riscritto al modo seguente:
TYPE :: entry
INTEGER :: n
REAL :: x
TYPE(entry), POINTER :: next
END TYPE entry
TYPE(entry),DIMENSION(100) :: matrix=entry(10,3.14,NULL())
Il seguente frammento di programma mostra, infine, alcuni esempi di utilizzo della funzione
intrinseca ASSOCIATED e del comando NULLIFY:
REAL, POINTER :: pt1, pt2 ! stato indefinito
REAL, TARGET :: t1, t2
LOGICAL :: test
pt1 => t1 ! pt1 associato
pt2 => t2 ! pt2 associato
test = ASSOCIATED(pt1) ! .T. (pt1 è associato a t1)
test = ASSOCIATED(pt2) ! .T. (pt2 è associato a t2)