semantica contestuale attribuzione in Python

Question

Si consideri il seguente Python 3 Codice:

a = [-1,-1,-1] 
i = 0 

E ora considerare le seguenti due versioni di un'assegnazione simultanea su entrambi A e I:

Assegnazione versione 1:

a[i],i = i,i+1 

Assegnazione versione 2:

i,a[i] = i+1,i 

Mi aspetto che queste due versioni di assegnazioni simultanee siano semanticamente equivalenti. Tuttavia, se si controlla i valori di A e I, dopo ogni una delle assegnazioni simultanee, si ottiene diversi stati:

Uscita per print(a,i) dopo la versione assegnazione 1:

[0, -1, -1] 1 

Uscita per print(a,i) dopo l'assegnazione versione 2 :

Non sono un esperto della semantica di Python, ma questo comportamento sembra strano. Mi aspetterei entrambe le assegnazioni si comportino come versione assegnazione 1. Inoltre, se si seleziona il seguente link, ci si aspetterebbe entrambe le versioni di assegnazione di condurre allo stesso stato:

Link to book excerpt in Google Books

C'è qualcosa che mi manca per quanto riguarda Semantica Python per compiti simultanei?

Nota: Questo comportamento strano non sembra essere riproducibili, per esempio, quando la variabile a ha tipo intero; sembra richiedere a di essere di tipo elenco (forse questo è il caso per qualsiasi tipo mutabile?).

Answer 1

In questo caso:

i, a[i] = i + 1, i 

Il lato destro restituisce una tupla (1, 0). Questa tupla viene quindi decompressa a i e quindi a a[i]. a[i] viene valutato durante il il disimballaggio, non prima, quindi corrisponde a a[1].

Dal momento che il lato destro viene valutata prima di ogni disimballaggio avviene, facendo riferimento alla a[i] sul lato destro sarebbe sempre a[0] indipendentemente dal valore finale di i

Ecco un altro esempio divertente inutile per voi a lavorare fuori

>>> a = [0,0,0,0] 
>>> i, a[i], i, a[i] = range(4) 
>>> a 
[1, 0, 3, 0]