Il Linguaggio Fortran 90/95

7.8 Puntatori come parametri formali di procedure 379
siano rispettate le seguenti condizioni:
• Se una procedura ha un parametro formale con attributo POINTER oppure TARGET, l’interfaccia
deve necessariamente essere esplicita (il che richiede, ad esempio, l’uso di un
interface block per le chiamate a procedure esterne).
• Se un parametro formale è un puntatore, anche il parametro attuale corrispondente deve
essere un puntatore con lo stesso tipo e rango.
• Un puntatore che sia parametro formale non può avere l’attributo INTENT né può comparire
in una procedura ELEMENTAL del Fortran 95.
Quando entrambi i parametri (formale ed attuale) hanno l’attributo POINTER, attraverso
l’istruzione di chiamata ed il ritorno alla unità chiamante vengono passati anche il target (se
ne esiste uno) e lo stato di associazione. Pertanto è necessario assicurarsi che il target rimanga
valido quando si ritorni all’unità chiamante (ossia è necessario che il target non sia locale alla
procedura invocata); in caso contrario il puntatore resterebbe ”penzolante”.
Quando l’argomento attuale è un puntatore ma il corrispondente argomento formale non
lo è, il puntatore subisce il dereferencing ed è il suo target che viene assegnato al parametro
formale: all’uscita dalla procedura chiamata il target del puntatore passato conserva il valore
del parametro formale. Questo significa che è necessario, all’atto della chiamata di procedura,
che detto puntatore sia associato ad un target.
L’uso di puntatori come parametri di scambio fra procedure rende un programma Fortran
molto potente e flessibile ma aumenta, al contempo, le probabilità di commettere errori: in
situazioni in cui, ad esempio, i puntatori sono allocati in una procedura, usati in un’altra e,
infine, deallocati e annullati in un’altra ancora, è errore assai comune tentare di lavorare con
puntatori deassociati o allocare nuovi array con puntatori già in uso. E’, quindi, buona norma,
prima di lavorare con un puntatore, interrogarne lo stato di associazione a mezzo della funzione
ASSOCIATED.
A chiarimento di quanto detto, si consideri l’esempio seguente:
PROGRAM esempio_sub
INTERFACE
SUBROUTINE sub(p)
REAL, DIMENSION(:,:), POINTER :: p
END SUBROUTINE sub
END INTERFACE
REAL, DIMENSION(:,:), POINTER :: punt
...
ALLOCATE(punt(100,100))
CALL sub(punt)
...
END PROGRAM esempio_sub