不理解这段显示元组拆包的代码

Question

问题：有人可以解释一下输出吗？为什么z等于第二个2中的print()？

代码：

x=1
y=2
x,y,z=x,x,y
print(y,x,y,z)
z,y,z=x,y,z
print(x,y,z)

输出：

1 1 1 2
1 1 2

Answer 1

Python 元组赋值使用堆栈，因此假设 x=1 和 y=2：

x,y,z=x,x,y

抽象地翻译为：

push x (value 1) on stack:    top_of_stack(TOS) -> 1
push x (value 1) on stack:    TOS -> 1, 1
push y (value 2) on stack:    TOS -> 2, 1, 1
reverse top 3 stack entries:  TOS -> 1, 1, 2
pop stack and store in x (x=1)  TOS -> 1, 2
pop stack and store in y (y=1)  TOS -> 2
pop stack and store in z (z=2)  TOS -> empty

最终结果是 x=1, y=1, z=2, 下一行：

z,y,z=x,y,z

推动 x,y,z (1,1,2)，然后加载 z=1，然后 y=1，然后 z=2（覆盖 z=1）。

这是使用 cmets 进行的实际反汇编：

>>> dis.dis('x=1;y=2;x,y,z=x,x,y;z,y,z=x,y,z')
  1           0 LOAD_CONST               0 (1)     # load constant 1
              2 STORE_NAME               0 (x)     # assign to x
              4 LOAD_CONST               1 (2)     # load constant 2
              6 STORE_NAME               1 (y)     # assign to y
              8 LOAD_NAME                0 (x)     # push x on stack (1)
             10 LOAD_NAME                0 (x)     # push x again on stack (1)
             12 LOAD_NAME                1 (y)     # push y on stack (2)
             14 ROT_THREE                          # two instructions reverse stack
             16 ROT_TWO                            # .. 2,1,1 becomes 1,1,2
             18 STORE_NAME               0 (x)     # pop x=1
             20 STORE_NAME               1 (y)     # pop y=1
             22 STORE_NAME               2 (z)     # pop z=2
             24 LOAD_NAME                0 (x)     # push x (1)
             26 LOAD_NAME                1 (y)     # push y (1)
             28 LOAD_NAME                2 (z)     # push z (2)
             30 ROT_THREE                          # reverse stack
             32 ROT_TWO                            #  2,1,1 becomes 1,1,2
             34 STORE_NAME               2 (z)     # pop z=1  <---
             36 STORE_NAME               1 (y)     # pop y=1      \
             38 STORE_NAME               2 (z)     # pop z=2 (overwriting previous)

您也可以更抽象地认为：

1. 首先计算右侧的值。
2. 从左到右分配右侧的变量。

所以：

x=1
y=2
x,y,z=x,x,y

意思：

# x,y,z=1,1,2
x=1
y=1
z=2

然后：

z,y,z=x,y,z

意思：

# z,y,z = 1,1,2
z=1
y=1
z=2   # overwriting previous z=1

Answer 2

您可以在教程部分Tuples and Sequences 中阅读有关元组的信息。在您的代码中，正在创建和解包元组。

例如，在第二次分配之前，z 是 2。

z,y,z=x,y,z

在这里，python 从右侧创建了一个元组(1,1,2)，然后在左侧解包。所以，z 被重新分配给 1，y 被重新分配给 1...但随后 z 再次被重新分配给 2，覆盖了第一个分配。

当您编写x,y,z 时，您会根据这些变量引用的对象创建一个元组。这些对象现在有来自变量和元组的附加引用。一旦创建了该元组，它就不关心这些变量会发生什么。它没有他们的记忆，只有引用的内容。

脚本，带有运行评论

x=1
y=2
x,y,z=x,x,y        # create tuple (1,1,2) from the right hand side x,x,y
                   # then unpack left hand side: x=1; y=1; z=2.
print(y,x,y,z)
z,y,z=x,y,z        # create a tuple (1,1,2) from the right hand side x,y,z
                   # then unpack left hand side: z=1; y=1; z=1 (overwriting z)
print(x,y,z)

Answer 3

这是因为在 Python 中，您可以在同一行从左到右声明和分配多个变量值。

x=1
y=2
x,y, ->z<- =x,x, ->y<-  then again, assignments are read from left to right, y is 2 and is passed to z, therefore z is now 2.
print(y,x,y,z)
z,y,z=x,y,z
print(x,y,z)

同样的例子，但更短：

a = 10
b = 99
a, b, c = a, b, b

我们正在分配：

10 to a
99 to b

然后分别a, b, c = 10, 99, 99

在同一个注释中，print 动态地接受尽可能多的参数。

所以翻译一下是这样的：

x, y, z = 1, 1, 2
print(1, 1, 1, 2)

在你的情况下：

print(y,x,y,z)

保持值：1、1、1、2。

这是因为 x 和 y 持有 1 而值 z 持有值 2，但 y 被打印了两次，因此也可能发生这种情况

print(z, z, z, x, y, y, z)

这将输出：(2, 2, 2, 1, 1, 1, 2)

然后，在您的代码中

z, x, y = 1, 1, 2

  print(1, 1, 2)

Answer 4

在第 3 行，您将 z 设置为 y "x,y,z=x,x,y"