为什么 x *= 5 + 3 不等于 x = x * 5 + 3？

Question

如果我们让x = 2并执行x *= 5 + 3 ，则结果为16 ，相当于我们执行 x x *= (5 + 3) ，而不是x = x * 5 + 3 ，这将是13 .

我直观地理解这一点，但一位朋友想知道为什么x*= A + B不等于x = x * A + B ，而这似乎是x+= A + B工作原理； x = x + A + A 。

我试图对事情是如何在幕后工作的，以及为什么它是这样工作的，提出一个令人满意的解释。

Answer 1

“编译器”知道在乘以左边的值之前先计算 RHS，实际上，只是将 5+3 简化为 8：

dis.dis("x *= 5 + 3")
  1           0 LOAD_NAME                0 (x)
              2 LOAD_CONST               0 (8)     # <-- (5+3) = (8)
              4 INPLACE_MULTIPLY
              6 STORE_NAME               0 (x)
              8 LOAD_CONST               1 (None)
             10 RETURN_VALUE

在加法之前做乘法：

dis.dis("x = x*5 + 3")
  1           0 LOAD_NAME                0 (x)
              2 LOAD_CONST               0 (5)
              4 BINARY_MULTIPLY
              6 LOAD_CONST               1 (3)
              8 BINARY_ADD
             10 STORE_NAME               0 (x)
             12 LOAD_CONST               2 (None)
             14 RETURN_VALUE

和乘法前的加法

dis.dis("x = 3 + x * 5")
  1           0 LOAD_CONST               0 (3)
              2 LOAD_NAME                0 (x)
              4 LOAD_CONST               1 (5)
              6 BINARY_MULTIPLY
              8 BINARY_ADD
             10 STORE_NAME               0 (x)
             12 LOAD_CONST               2 (None)
             14 RETURN_VALUE

在BINARY_ADD和3之前仍然导致x和5的BINARY_MULTIPLY指令

Answer 2

因为运算符优先级。 所有<operator>=运算符的优先级与=相同，低于常规算术运算符。 所以

x *= 5 + 3

被解析为

x *= (5 + 3)

出于同样的原因

x = 5 + 3

被解析为

x = (5 + 3)

而不是

(x = 5) + 3

最后一个在 Python 中甚至没有意义，因为=不能用于表达式，只能用于语句。 但是您可以将其替换为:=运算符以获得类似于 JavaScript 的内容。

Answer 3

根据语言定义的要求，这与汇编语言无关，而与语言定义和对该规范的解析无关。

您的朋友将 * 和 = 分开，但它们是一个运算符，而不是两个。 因此，整个运算符只有一个优先级值。 我们不能把这些分开，然后给每个人自己的优先级！

虽然这种运算符是某种快捷方式，但它是真正的运算符，不是宏，也不是文本替换的一种形式。