Que vaut a après a, b = 1, 2 puis a, b = b, a + b

La trace. Après a, b = 1, 2, on a $a=1$ et $b=2$. Puis a, b = b, a + b : le membre de droite est évalué d'abord, avec les valeurs actuelles, ce qui donne le couple $(2,3)$. Ce couple est ensuite déballé :

$$a=2,b=3.$$

a, b = 1, 2
a, b = b, a + b
print(a, b)          # 2 3

Pourquoi l'ordre des deux affectations n'a pas d'importance. Parce qu'il n'y a pas deux affectations. Il y en a une seule, dont le membre de droite est un p-uplet entièrement construit avant que la moindre variable ne change. Le mécanisme est en trois temps :

• évaluer b et a + b avec les anciennes valeurs, soit $2$ et $3$ ;
• construire le couple $(2,3)$ ;
• le déballer dans a et b.

Le contraste, à faire tourner. En deux lignes séparées, l'ordre devient décisif :

x, y = 1, 2
x = y            # x vaut 2, l'ancienne valeur de x est PERDUE
y = x + y        # on calcule 2 + 2, pas 1 + 2
print(x, y)      # 2 4     <- et non 2 3

On obtient $(2,4)$ au lieu de $(2,3)$. Il faudrait une variable temporaire pour retrouver le bon résultat : c'est précisément ce dont l'affectation multiple dispense.