Il Linguaggio Fortran 90/95

7.5 Operazioni di I/O con puntatori 373
• Gli array allocabili possono essere utilizzati come parametri attuali in chiamate di procedura
soltanto nella loro forma allocata (inoltre i corrispondenti parametri formali dovranno
essere array fittizi di forma presunta non potendo essere, essi stessi, array allocabili).
Nel caso in cui fosse necessario condividere con un sottoprogramma un area di memoria
non ancora allocata all’atto della chiamata di procedura, sarà necessario fare uso di puntatori.
Un’altra possibilità per superare il limite di cui sopra è quella di definire gli array
allocabili in un modulo, come questo:
MODULE miomodulo
! Scopo: Condividere array allocabili fra piu’
! unita’ di programma
SAVE
REAL, ALLOCATABLE, DIMENSION(:,:) :: A
INTEGER, ALLOCATABLE, DIMENSION(:) :: b, c
END MODULE miomodulo
e condividerne l’uso fra l’unità chiamante e la procedura invocata.
• Le procedure di ottimizzazione operate da un compilatore ottimizzante sono di gran lunga
più complicate su un codice che faccia largo uso di puntatori piuttosto che di array
allocabili e ciò a causa del fatto che l’utilizzo di puntatori comporta tipicamente l’impiego
di diversi alias per riferirsi ad una medesima area di memoria. Al contrario, una variabile
array e l’area di memoria a cui si riferisce è sempre determinabile con estrema semplicità
e in maniera assolutamente non ambigua.
7.5 Operazioni di I/O con puntatori
Quando un puntatore appare in un’istruzione di I/O esso subisce un immediato dereferencing
sicché ciò che viene effettivamente letto o prodotto in stampa è il valore del suo target. Chiaramente,
affinché un’operazione di I/O che coinvolga un puntatore sia valida è necessario che il
puntatore in oggetto si trovi nello stato associato, poiché in caso contrario il dereferencing non
potrebbe avere luogo. Allo scopo di chiarire questo semplice concetto si può fare riferimento al
programma seguente:
PROGRAM IO_con_puntatori
IMPLICIT NONE
INTEGER :: ierr
REAL, DIMENSION(3), TARGET :: arr=(/1.,2.,3./)
REAL, DIMENSION(:), POINTER :: p, q
p => arr
PRINT*, p ! viene stampato arr
ALLOCATE(q(5),STAT=ierr)
IF(ierr == 0) THEN
READ(*,*) q ! Vengono dapprima letti e poi...