在我们使用Python的过程中, 经常遇到赋值语句, 就像下面的那样:

a = 3

b = 3

可能你会觉得我又要说什么变量赋值就是引用, 这么简单的知识就不讨论啦, 相信聪明的大家肯定都知道的, 我想讲的是链式赋值

先科普下什么是链式赋值:

链式赋值: 同时对几个变量进行赋值

例如:

a = b = c = 3

好了, 现在正式进入正题:

>>> s = [1, 2, 3, 4, 5, 6]

>>> i = 0

>>> i = s[i] = 3

i 和 s 的值分别是什么? 可能大家一眼看下去, 就能得出答案:

i 的值: 3

s 的值: [3, 2, 3, 4, 5, 6]

然而, 这个答案只是对了一半, 因为s的值错了! 有兴趣的朋友可以自行上机试下, 正确答案是:

i 的值: 3

s 的值: [1, 2, 3, 3, 5, 6]

s的列表, 并没有像我们想象中的那样, 就i=0位置上的元素, 变成3, 而是将i=3位置的元素改成3了, 为什么会这样? 一起来解析下吧, 上dis大杀器!

[root@iZ23pynfq19Z ~]# cat 2.py

s = [1, 2, 3, 4, 5]

i = 0

g = i = s[i] = 3

[root@iZ23pynfq19Z ~]# python -m dis 2.py

1 0 LOAD_CONST 0 (1)

3 LOAD_CONST 1 (2)

6 LOAD_CONST 2 (3)

9 LOAD_CONST 3 (4)

12 LOAD_CONST 4 (5)

15 BUILD_LIST 5

18 STORE_NAME 0 (s)

2 21 LOAD_CONST 5 (0)

24 STORE_NAME 1 (i)

3 27 LOAD_CONST 2 (3)

30 DUP_TOP

31 STORE_NAME 2 (g)

34 DUP_TOP

35 STORE_NAME 1 (i)

38 LOAD_NAME 0 (s)

41 LOAD_NAME 1 (i)

44 STORE_SUBSCR

45 LOAD_CONST 6 (None)

48 RETURN_VALUE

第一列的数字, 代表中间的字节码是属于哪一行代码的.

第1~2行简单解释下:

分别LOAD_CONST5个数字, 组成一个列表, 赋值给s,再取一个0, 赋值给i.接下来的就是我们关心的, 也是带给我们意外的代码.

第3行:

LOAD_CONST取出常量3, 它并不是像上面执行STORE_NAME, 而是采用DUP_TOP, 这是什么鬼, 我们这要去看下这指令具体是干嘛的:

//取自 python/ceval.c

PyEval_EvalFrameEx(PyFrameObject *f, int throwflag)

{

... (省略)

TARGET_NOARG(DUP_TOP)

{

v = TOP(); // 复制运行栈帧的顶部值

Py_INCREF(v); // 增加引用计数

PUSH(v); // 再压入运行栈帧

FAST_DISPATCH();

}

... (省略)

}

DUP_TOP指令说白了, 就是将刚才LOAD_CONST指令取出的常量3, 复制一份给v,然后再压回去运行栈帧, 这样就有两个3了, 为什么要这么做, 肯呢个大家已经猜到了, 不过我们还是得继续看具体是不是像我们想的那样, 继续看会字节码:

35 STORE_NAME 1 (i)

38 LOAD_NAME 0 (s)

41 LOAD_NAME 1 (i)

44 STORE_SUBSCR

果然不出我们所料, 开始将这些3通过STORE_NAME赋值给i, 而对于s, 它反而是, 再一次LOAD_NAME取出i的值, 此时i的值是3, 不是一开始的0了, 在通过STORE_SUBSCR指令, 将刚才压入运行时时栈的3赋值给位置是3的元素, 具体的源码就不再看, 到这就够了.

所以看到这, 相信大家都能清楚, 为什么结果是 [1, 2, 3, 3, 5, 6]

这跟我们想象中的链式赋值很不同, 我们以前总是觉得, 赋值要从右到左依次执行, 先执行 s[i] = 3, 再执行 i=3, 然而这些是类似c语言这类支持表达式赋值才允许的. 在c语言中, s = 3表达式是有返回值的. 它会返回赋值的结果3, 所以在它们的链式赋值中, 是将右边表达式的返回值, 再赋值给左边的, 例如:

a = s = 3

等价于:

a = (s = 3)

也就是 s=3 返回3, 再赋值给a

而在python是不支持这种表达式赋值的, 也就是表达式是没有返回值的, 如果硬要a = (s = 3)只会触发SyntaxError: invalid syntax

希望大家以后在用到这种链式赋值时, 尽量避免这些问题哦

感谢@Daetalus童鞋指出问题:

支持表达式赋值是Python语言的核心，比如a = b + 3。这里的 b + 3

就是表达式。如果不支持表达式赋值就没法继续下去了。

a = (s = 3)出错的原因是因为s = 3是赋值语句，而不是表达式。

Python的表达式是由操作符连接而成的，但“=”在Python中并不是操作符(Operator)，只是语法分隔符(Delimiters)。参见https://docs.python.org/relea...