6.3 Istruzioni di assegnamento

Le istruzioni di assegnamento vengono usate per (ri)legare nomi a valori e modificare attributi o elementi di oggetti mutabili:

`assignment_stmt`	::=	`(target_list "=")+ expression_list`
`target_list`	::=	`target ("," target)* [","]`
`target`	::=	`identifier`
		`\| "(" target_list ")"`
		`\| "[" target_list "]"`
		`\| attributeref`
		`\| subscription`
		`\| slicing`

(Vedere la sezione 5.3 per la definizione della sintassi degli ultimi tre simboli.)

Un'istruzione di assegnamento valuta la lista delle espressioni (ricordando che questa può essere una singola espressione o una lista separata da virgole, l'ultima produce una tupla) e assegna ogni singolo oggetto risultante ad ognuno dei riferimenti forniti, da sinistra a destra.

L'assegnamento viene determinato ricorsivamente a seconda della forma del riferimento (lista). Quando un riferimento fa parte di un oggetto mutabile (un riferimento ad un attributo, una subscription o a fette), l'oggetto mutabile deve infine eseguire l'assegnamento e decidere la propria validità e può sollevare un'eccezione se l'assegnamento è inaccettabile. Le regole osservate dai vari tipi ed eccezioni sollevate vengono date con la definizione del tipo di oggetto (vedere la sezione 3.2).

L'assegnamento di un oggetto ad una lista di riferimenti viene definita ricorsivamente come segue.

Se la lista di riferimenti è un riferimento singolo: l'oggetto viene assegnato a questo riferimento.

Se la lista di riferimenti è una lista separata da virgole: l'oggetto deve essere una sequenza con lo stesso numero di elementi dei riferimenti della lista e gli elementi vengono assegnati, da sinistra a destra, al corrispondente riferimento. (Questa regola non è rigida come in Python 1.5; nelle precedenti versioni, l'oggetto doveva essere una tupla. Dato che le stringhe sono sequenze, un assegnamento come "a, b = "xy"" è ora legale dal momento che la lista ha la giusta lunghezza.)

L'assegnamento di un oggetto ad un singolo riferimento viene ricorsivamente definito come segue.

Se il riferimento è un identificativo (nome):

se il nome non si trova in un'istruzione global nel blocco di codice corrente; il nome viene legato all'oggetto nello spazio dei nomi corrente.
Altrimenti: il nome viene legato all'oggetto nello spazio dei nomi globale corrente.

Se il nome era già legato viene legato nuovamente. Questo può causare il raggiungimento di zero da parte del contatore di riferimenti per l'oggetto precedentemente legato al nome, causando la disallocazione dell'oggetto e la chiamata al suo distruttore (se esiste).

Se l'identificativo è una lista di identificativi racchiusi tra parentesi tonde o parentesi quadre: l'oggetto deve essere una sequenza con lo stesso numero di elementi di quanti sono gli identificativi della lista, e gli elementi vengono assegnati, da sinistra a destra, al corrispondente identificativo.

Se l'identificativo è un riferimento ad attributo: viene valutata l'espressione primaria dell'identificativo che dovrebbe essere un oggetto yield con attributi assegnabili; in caso contrario, viene sollevata un'eccezione TypeError. Questo oggetto viene quindi assegnato al dato attributo; se non si può eseguire l'assegnamento, viene sollevata un'eccezione (di solito, ma non necessariamente, un AttributeError).

Se l'identificativo è una subscription: viene valutata l'espressione primaria del riferimento che dovrebbe produrre o una sequenza mutabile (per esempio una lista) o un oggetto mappabile (per esempio un dizionario). Viene quindi valutata l'espressione subscript.

Se la primaria è una sequenza mutabile (per esempio una lista), il subscript deve produrre un intero. Se è negativo deve essere un intero non negativo, minore della lunghezza della sequenza e la sequenza assegna l'oggetto assegnato agli elementi con il dato indice. Se l'indice è fuori intervallo, viene sollevata un'eccezione IndexError (l'assegnamento ad una sequenza non può aggiungere nuovi elementi alla lista).

Se la primaria è un oggetto mappabile (per esempio un dizionario), il subscript deve avere un tipo compatibile con il tipo chiave della mappa e la mappa deve creare una coppia chiave/valore che mappa il subscript all'oggetto assegnato (se non esiste una chiave con lo stesso valore).

Se l'identificativo è una fetta: viene valutata l'espressione primaria del riferimento. Dovrebbe produrre una sequenza mutabile (per esempio una lista). L'oggetto assegnato dovrebbe essere una sequenza dello stesso tipo. Quindi vengono valutate le espressioni inferiori e superiori legate, fintanto che sono presenti; valori predefiniti sono zero e la lunghezza della sequenza. I legami dovrebbero essere valutati in (piccoli) interi. Se entrambi i legami sono negativi, viene aggiunta la lunghezza della sequenza. I legami risultanti vengono tagliati tra zero e la lunghezza della sequenza inclusi. Alla fine, la sequenza sostituisce alla fetta gli elementi assegnati della sequenza. La lunghezza della fetta può differire dalla lunghezza della sequenza assegnata, così cambia la lunghezza della sequenza identificativo, se l'oggetto lo permette.

(Nell'implementazione corrente, la sintassi per gli identificativi diviene la stessa che per le espressioni e sintassi individuali vengono rifiutate durante la fase di generazione del codice, causando messaggi di errore dettagliati.)

AVVERTENZE: benché la definizione di assegnamento implichi che sovrapposizioni tra la parte sinistra e destra siano `innocue' (per esempio, "a, b = b, a" scambia le due variabili), sovrapposizioni all'interno della collezione di variabili assegnate non sono sicure! Per esempio, il seguente programma visualizza "[0, 2]":

x = [0, 1]
i = 0
i, x[i] = 1, 2
print x

Vedete Circa questo documento... per informazioni su modifiche e suggerimenti.