Il Linguaggio Fortran 90/95

1.7 Tipi di dati parametrizzati 51
Parametri di kind per il tipo REAL
Il parametro di tipo kind associato ad una variabile reale specifica la precisione (in termini
di cifre decimali) ed il range degli esponenti (secondo la rappresentazione in potenze di 10).
Poiché, infatti, i compilatori Fortran prevedono almeno due tipi diversi di variabili reali (singola
precisione e doppia precisione) è necessario specificare quale tipo (kind) di variabile si vuole
utilizzare: per specificare una di queste due varianti si usa lo specificatore KIND.
Il tipo di variante reale è specificato esplicitamente includendone il valore fra parentesi nella
istruzione di dichiarazione di tipo subito dopo lo specificatore di tipo, come mostrano le seguenti
istruzioni:
REAL(KIND=1) :: a, b, c
REAL(KIND=4) :: x
REAL(KIND=8) :: temp
Si noti che la parola chiave KIND= è opzionale sicché le seguenti istruzioni:
REAL(KIND=4) :: var
REAL(4) :: var
sono perfettamente equivalenti. Una variabile dichiarata esplicitamente con un parametro di
kind si chiama variabile parametrizzata. Se non viene specificato alcun parametro KIND, viene
utilizzato il tipo di variabile reale di default.
Tuttavia, quale sia il significato dei numeri di kind non è possibile saperlo, nel senso che i
produttori di compilatori sono liberi di assegnare i propri numeri di kind alle varie dimensioni
delle variabili. Ad esempio, in alcuni compilatori un valore reale a 32 bit corrisponde a KIND=1
e un valore reale a 64 bit corrisponde a KIND=2. In altri compilatori, invece, un valore reale a
32 bit corrisponde a KIND=4 e un valore reale a 64 bit corrisponde a KIND=8. Di conseguenza,
affinché un programma possa essere eseguito indipendentemente dal processore (portabilità del
software) è consigliabile assegnare i numeri di kind ad apposite costanti ed utilizzare quelle
costanti in tutte le istruzioni di dichiarazione di tipo. Cambiando semplicemente i valori di
alcune costanti è possibile eseguire il programma su installazioni differenti. A chiarimento di
quanto detto si può considerare il seguente frammento di programma:
INTEGER, PARAMETER :: single=4
INTEGER, PARAMETER :: double=8
...
REAL(KIND=single) :: val
REAL(single) :: temp
REAL(KIND=double) :: a, b, c
(nell’esempio in esame, evidentemente, i valori 4 e 8 dipendono dallo specifico compilatore
utilizzato).
Una tecnica ancora più efficiente è quella di definire i valori dei parametri di kind in un
modulo e utilizzare questo modulo nelle singole procedure all’interno del programma, come nel
seguente esempio: