Il Linguaggio Fortran 90/95

274 Unità di Programma
IMPLICIT NONE
...
a = a*2
func2 = a/c
END FUNCTION func2
Si noti come entrambe le funzioni modifichino il valore del parametro a: questo significa che il
valore di somma è totalmente dipendente dall’ordine (indefinito) in cui vengono eseguite le due
funzioni. Posto, ad esempio, a=4, b=2 e c=4, si possono presentare i due seguenti casi:
• Se func1 è eseguita per prima, allora somma sarà pari a 16. Infatti:
– in func1 a è inizialmente uguale a 4;
– all’uscita da func1 a vale 16;
– func1 è uguale a 16/2=8;
– in func2 a è inizialmente pari a 16;
– all’uscita da func2 a vale 32;
– func2 è uguale a 32/4=8;
– pertanto somma è pari a 8+8=16.
• Se func2 è eseguita per prima, allora somma sarà pari a 34. Infatti:
– in func2 a è inizialmente pari a 4;
– all’uscita da func2 a vale 8;
– func2 è uguale a 8/4=2;
– in func1 a è inizialmente pari a 8;
– all’uscita da func1 a vale 64;
– func1 è uguale a 64/2=32;
– pertanto somma è pari a 2+32=34.
Al fine di risolvere questo problema alla radice, il Fortran 95 ha introdotto una nuova categoria
di procedure, le pure procedure, caratterizzate dal fatto di essere totalmente esenti da
effetti collaterali. Le pure function si definiscono aggiungendo il prefisso PURE all’istruzione
di dichiarazione della funzione. Esse si caratterizzano per il fatto che tutti gli argomenti devono
avere l’attributo INTENT(IN), nessuna variabile locale può avere attributo SAVE né sono
permesse inizializzazioni delle variabili in istruzioni di dichiarazione. Ogni procedura chiamata
da una pure function deve essere, a sua volta, una pure procedure. Inoltre, esse non possono
contenere operazioni di I/O esterne né è permesso l’uso dell’istruzione STOP.
Un esempio di pure function è il seguente: