Operatore di assegnamento

In informatica l'operatore di assegnamento imposta o reimposta il valore memorizzato nella posizione di memoria associata a una variabile. Nella maggior parte dei linguaggi di programmazione imperativa l'istruzione di assegnamento è una delle istruzioni fondamentali.

L'operatore di assegnamento consente normalmente di assegnare alla stessa variabile valori diversi in tempi diversi durante l'esecuzione del programma.

Notazioni

Le rappresentazioni testuali più comuni per l'assegnamento sono il simbolo di uguale (“=”) e “:=”. Queste due forme sono tipiche nei linguaggi di programmazione, come il C, nei quali l'operatore di assegnamento è un operatore infisso (occupa una posizione intermedia fra i due operandi).

variabile = espressione	BASIC, Fortran, C, Java, Windows PowerShell, Bourne shell, …
variabile := espressione	ALGOL, Pascal, Ada, Dylan, PL/SQL, …

Altre possibilità sono una freccia, una parola chiave (keyword), una combinazione di keyword e operatore.

variabile <- espressione	Objective Caml, S, R, ...
espressione -> variabile	R
variabile ← espressione	APL
LET variabile = espressione	BASIC
MOVE espressione TO variable	COBOL
set variabile to espressione	AppleScript
set variabile = espressione	C shell
Set-Variable variabile (espressione)	Windows PowerShell
variabile <= espressione	VHDL

Alcuni linguaggi orientati alle espressioni, come il Lisp e il Tcl, usano uniformemente una sintassi prefissa per tutti gli statements, incluso l'assegnamento.

(setq variabile espressione)	Lisp, Scheme (set!), …
set variabile espressione	Tcl

In molti degli esempi precedenti l'assegnazione ''procede'' da destra verso sinistra, ovvero la variabile si trova sul lato sinistro dell'espressione di assegnamento, mentre a destra si trova il valore (o l'espressione) da assegnare. L'operatore = è sempre usato in questo modo. In alcuni casi invece si segue la convenzione opposta (operatore ''freccia a destra'' -> di R, costrutto MOVE...TO del COBOL).

In ogni caso, qualunque sia la convenzione, la direzione dell'assegnamento è prefissata ed è un errore scambiare le posizioni di variabile ed espressione.

Operazioni

Dal punto di vista semantico, un operatore di assegnazione modifica lo stato corrente di un programma in esecuzione. Di conseguenza, un'assegnazione dipende dal concetto di variabile. In un'assegnazione:

• L'espressione è valutata nello stato attuale del programma.
• Alla variabile è assegnato il valore calcolato, sostituendo il valore precedente della variabile.

Esempio: assumendo che a sia una variabile numerica, l'assegnamento a := 2*a significa che il contenuto della variabile a è raddoppiato dopo l'esecuzione dell'istruzione.

Un esempio in codice C:

int x = 10; 
float y;
x = 23;
y = 32.4;

In questo esempio, la variabile x è prima dichiarata come un int, e gli è assegnato il valore 10. Si noti che la dichiarazione e l'assegnamento avvengono nella stessa istruzione. Nella seconda linea y è dichiarata senza assegnazione. Nella terza riga alla variabile x è riassegnato il valore 23. Infine, a y è assegnato il valore 32.4.

In un'operazione di assegnamento è necessario che il valore dell'espressione sia ben definito (deve essere un valido rvalue) e che variabile rappresenti un'entità modificabile (cioè sia un valido lvalue non-const). In alcuni linguaggi, come il Perl, non è necessario dichiarare una variabile prima di assegnargli un valore.

Assegnamento parallelo

Alcuni linguaggi di programmazione, come il Python, Perl, Ruby, Windows PowerShell, e JavaScript (dalla 1.7), consentono a diverse variabili di essere assegnate in parallelo. In pseudocodice:

a,b := 0,1

che assegna simultaneamente 0 a a e 1 a b. Se la parte destra di un assegnamento è un tipo di array di variabili, questa caratteristica è chiamata sequence unpacking:

var list := 0,1
a,b := list

La lista è spacchettata in modo che 0 sia assegnato a a e 1 a b. Più interessante,

a,b := b,a

Scambia i valori di a e b . In un linguaggio senza l'assegnazione parallela, questo avrebbe dovuto essere implementato con l'uso di una variabile temporanea:

var t := a
a := b
b := t

poiché a:=b ; b:=a lascia sia a che b con il valore originario di b.

Valore di un assegnamento

Nella maggior parte dei linguaggi di programmazione orientati alle espressioni, un'istruzione di assegnamento è anche un'espressione, il cui valore è il valore assegnato. Questo consente costrutti tipici, come per esempio in C x = y = a che assegna il valore di a sia a x che a y, e while (f = read()) {…}, che assegna il valore restituito da una funzione a una variabile, e nello stesso tempo lo usa per controllare un ciclo.

In altri linguaggi di programmazione, un'istruzione di assegnamento non è un'espressione, e quindi non ha un valore: in questi casi costrutti di questo genere non sono possibili. Un caso di questo tipo è rappresentato da Scheme. Anche in Python l'assegnamento non è un'espressione, e quindi non ha nessun "valore".

In ML e in Haskell, non c'è nessun operatore di assegnamento

Assegnamento e assegnamento singolo

In programmazione funzionale l'assegnamento è sconsigliato in favore del singolo assegnamento, anche chiamato name binding o inizializzazione. L'assegnamento singolo è diverso dall'assegnazione descritta in quanto può essere fatto solo una volta, tipicamente quando la variabile è creata; non sono consentite ulteriori assegnazioni. Una volta creato per assegnamento, il nome della variabile non è una variabile ma un oggetto immutabile.

Il singolo assegnamento è l'unica forma di assegnamento disponibili nei linguaggi funzionali puri, come l'Haskell, che non ha il concetto di variabili nel senso dei linguaggi imperativi. Linguaggi funzionali impuri consentono sia l'assegnamento singolo che l'assegnamento normale (anche se è usato meno che nella programmazione imperativa). Per esempio, in Scheme, si può usare sia il singolo assegnamento che l'assegnamento vero per tutte le variabili. In OCaml, solo il singolo assegnamento è consentito con la sintassi let nome = valore; tuttavia, il vero assegnamento può essere usato sugli elementi degli array e delle strighe con l'operatore <-. .

Assegnamento e uguaglianza

I programmatori inesperti a volte confondono l'operatore di assegnamento con l'operatore relazionale di uguaglianza, poiché "=" in matematica significa uguaglianza, ed è usato come operatore di assegnazione in molti linguaggi. Tuttavia l'assegnamento modifica il valore di una variabile, mentre l'uguaglianza è un test che verifica se due espressioni hanno lo stesso valore.

In molti linguaggi l'operatore di assegnamento è un singolo simbolo di uguale ("=") mentre l'operatore di uguaglianza è una coppia di uguali ("=="); in alcuni linguaggi, come il BASIC, un unico simbolo è usato per entrambi, e sono discriminati in base al contesto.

Questo può portare errori se non viene usata la forma appropriata (=, ==, :=). Questo è un problema comune con i linguaggi come il C, nei quali l'operatore di assegnamento ritorna il valore assegnato, e può essere annidato in modo valido dentro un'espressione (come una funzione che ritorna un valore). Se per esempio l'intenzione era di confrontare due valori in un'istruzione if, l'operatore di assegnamento ritornerà un valore che è molto probabile che venga valutato come TRUE, e sarà quindi valutata la clausola then, facendo comportare il programma in modo inatteso. Alcuni compilatori possono trovare queste situazioni, e avvisare il programmatore per un potenziale errore.