Il Linguaggio Fortran 90/95

5.13 Effetti collaterali nelle funzioni 273
Shiftando 84 a destra di 1 bit si ottiene: 000000101010
che corrisponde al numero intero: 42
Shiftando 84 a destra di 2 bit si ottiene: 000000010101
che corrisponde al numero intero: 21
Osservando con attenzione l’output prodotto da questo programma ci si accorge immediatamente
che spostare verso sinistra di una posizione i bit di un numero equivale a moltiplicare
questo numero per due (purché, è doveroso aggiungere, i bit 1 non oltrepassino la posizione
limite e si faccia uso di interi senza segno). Analogamente, lo scorrimento verso destra di una
posizione ha l’effetto di dividere quel numero per due. Un’applicazione molto interessante di
questa proprietà potrebbe essere, pertanto, quella di utilizzare la funzione ISHFT in luogo dei
comuni operatori algebrici * e / nel caso in cui sia necessario eseguire in maniera estremamente
rapida delle semplici operazioni di divisione e moltiplicazione per potenze di due, purché,
naturalmente, i dati corrispondano alle limitazioni indicate.
5.13 Effetti collaterali nelle funzioni
Attraverso la lista degli argomenti una function riceve i puntatori alle locazioni di memoria
dei suoi argomenti e può, deliberatamente o accidentalmente, modificare il contenuto di queste
locazioni. Dunque, una function può modificare i valori dei suoi argomenti; ciò accade se
uno o più dei suoi argomenti compaiono alla sinistra di un’istruzione di assegnazione. Una
funzione che modifichi il valore dei suoi argomenti è detta avere effetti collaterali (side effect).
Per definizione, una funzione deve produrre un singolo valore di output che sia univocamente
determinato a partire dai valori dei suoi argomenti di input, e non dovrebbe mai avere effetti
collaterali. Se il programmatore necessita di produrre più di un output dalla sua procedura,
allora dovrà scrivere una subroutine e non una function. Per assicurare che gli argomenti di
una funzione non vengano accidentalmente modificati essi dovrebbero sempre essere dichiarati
con l’attributo INTENT(IN).
Al fine di comprendere quali effetti subdoli possono avere gli effetti collaterali di una
function, si osservi il seguente esempio. Si consideri la seguente istruzione di assegnazione:
somma = func1(a,b,c)+func2(a,b,c)
in cui le function func1 e func2 sono le seguenti:
INTEGER FUNCTION func1(a,b,c)
IMPLICIT NONE
...
a = a*a
func1 = a/b
END FUNCTION func1
INTEGER FUNCTION func2(a,b,c)