Il Linguaggio Fortran 90/95

6.5 Array allocabili 323
END IF
END DO
Il precedente frammento di programma alloca il vettore array_variabile con estremi -1 e +1,
quindi esegue una serie di istruzioni che coinvolgono questo array al termine delle quali l’array
viene deallocato. A questo punto il vettore array_variabile viene allocato nuovamente ma
con estremi -2 e +2 e così via. Il suddetto procedimento viene ripetuto n volte. E’ evidente che,
in questo esempio, se il vettore array_allocabile non venisse deallocato al termine di ogni
iterazione, alla successiva istruzione di allocazione avrebbe luogo un errore in fase di esecuzione.
E’ possibile verificare se un array allocabile sia o meno correntemente allocato attraverso la
funzione intrinseca ALLOCATED. Questa funzione, che sarà trattata in maggiore dettaglio nella
prossima sezione, ha come argomento di input il nome di un array allocabile e restituisce in
output il valore .TRUE. se l’array è correntemente allocato, .FALSE. in caso contrario. L’uso
di questa procedura di interrogazione previene la possibilità di commettere l’errore di tentare
lavorare con array non allocati o di allocare array già allocati. Le seguenti istruzioni forniscono
due possibili esempi di utilizzo della funzione ALLOCATED:
REAL, ALLOCATABLE, DIMENSION(:,:) :: a
INTEGER :: stato
...
IF (ALLOCATED(a)) DEALLOCATE(a)
...
IF (.NOT.ALLOCATED(a)) ALLOCATE(a(5,20),STAT=stato)
E’ bene osservare che l’esecuzione dell’istruzione DEALLOCATE non è l’unico modo in cui
un array allocabile può perdere il suo stato allocato. Infatti, l’uscita da una procedura nella
quale l’array è correntemente allocato rende l’array stesso indefinito: tale array non potrà
più essere usato, ridefinito, allocato o deallocato. Permettere ad un array di avere uno stato
indefinito comporta una riduzione della memoria disponibile per il programma (memory leak).
Si noti che le memory leak sono cumulative per cui un uso ripetuto di una procedura che
provochi un simile problema aumenterà sempre più le dimensioni della regione di memoria
inutilizzabile. D’altra parte soltanto la deallocazione degli array allocabili è responsabilità del
programmatore in quanto tutte le variabili statiche (compresi gli array automatici) vengono
rimossi automaticamente all’uscita dalla procedura a cui esse sono locali (a meno, ovviamente,
di non averne specificato l’attributo SAVE in fase di dichiarazione). Questo ”preoccupazione” è
stata eliminata dal Fortran 95 il cui standard prevede una deallocazione automatica, all’uscita
da una procedura, di tutti gli array allocabili locali non salvati. E’, in ogni caso, sempre
cattiva abitudine (oltre che una errore concettuale in Fortran 90) permettere allo stato di
array allocabile di diventare indefinito. Quando un allocatable array non serve più è sempre
consigliabile deallocarlo prima di uscire dalla procedura nella quale è stato allocato. Nel caso
in cui, invece, fosse necessario salvarlo fra due chiamate successive, esso andrà dichiarato con
l’attributo SAVE, come nel seguente esempio:
CHARACTER(LEN=50), ALLOCATABLE, DIMENSION(:), SAVE :: nome