python中的评估？

Question

available_items = {"health potion": 10, "cake of the cure": 5, "green elixir": 20, "strength sandwich": 25, "stamina grains": 15, "power stew": 30}

health_points = 20

health_points += available_items.pop("stamina grains")

当我运行此代码时，会添加键“stamina grains”的值，并从字典 available_items 中删除 stamina grains。

但是 Python 从左到右计算表达式，因此它应该首先删除关键的“stamina grains”，因此应该没有任何内容添加到health_points。

我对 Python 如何评估表达式感到困惑。有人可以澄清一下并给我一些关于 Python 如何评估表达式的资源吗？

Answer 1

CPython 被实现为stack machine。如果您想确切了解子表达式的求值顺序，反汇编它们会很有帮助：

>>> from dis import dis
>>> dis('''
... available_items = {"health potion": 10, "cake of the cure": 5, "green elixir": 20, "strength sandwich": 25, "stamina grains": 15, "power stew": 30}
...
... health_points = 20
...
... health_points += available_items.pop("stamina grains")
... ''')
  2           0 LOAD_CONST               0 (10)
              2 LOAD_CONST               1 (5)
              4 LOAD_CONST               2 (20)
              6 LOAD_CONST               3 (25)
              8 LOAD_CONST               4 (15)
             10 LOAD_CONST               5 (30)
             12 LOAD_CONST               6 (('health potion', 'cake of the cure', 'green elixir', 'strength sandwich', 'stamina grains', 'power stew'))
             14 BUILD_CONST_KEY_MAP      6
             16 STORE_NAME               0 (available_items)

  4          18 LOAD_CONST               2 (20)
             20 STORE_NAME               1 (health_points)

  6          22 LOAD_NAME                1 (health_points)
             24 LOAD_NAME                0 (available_items)
             26 LOAD_METHOD              2 (pop)
             28 LOAD_CONST               7 ('stamina grains')
             30 CALL_METHOD              1
             32 INPLACE_ADD
             34 STORE_NAME               1 (health_points)
             36 LOAD_CONST               8 (None)
             38 RETURN_VALUE

虽然子表达式（大部分）从左到右计算，但运算符优先级和括号可以改变这一点。并且赋值是一个语句，而不是一个表达式。即使+= 位于.pop() 的左侧，您也可以看到调用发生在编译字节码中的赋值之前。

请注意，(pop) 调用在CALL_METHOD 指令处将其返回值压入堆栈，因此它可以被INPLACE_ADD 使用。那时，字典中没有引用该值，仅在堆栈上引用该值，但该值从未丢失。之后，加法的结果可用于STORE_NAME 指令。

Answer 2

从first Google result搜索“Python+dictionary +pop”（重点是我的）：

pop() 方法从具有给定键的字典中删除并返回一个元素。

所以，pop 动作确实是第一个执行的动作，它从字典中删除元素也是真的，但它也 返回那个值，即使用更新healt_points 变量。

详情，据evaluation order table：

Python 从左到右计算表达式。请注意，在评估分配时，右侧会先于左侧进行评估。

所以，考虑到表达式

health_points = health_points  + available_items.pop("stamina grains")

1. 我们有一个作业，所以首先评估右侧：health_points + available_items.pop("stamina grains")
2. 右侧，从左到右进行求值：health_points首先求值，其值为20
3. 现在available_items.pop("stamina grains") 被评估。为available_items字典调用pop方法
4. 找到键"stamina grains"，返回其值(15)
5. 作为副作用，pop 会从字典中删除"stamina grains"。无论如何都会返回值 15：它只是一个表示方法结果的整数。它不再受限于字典元素的存在
6. 表达式现在是health_points = 20 + 15。右侧评估是整数 35，现在可以分配给 health_points。这样就完成了左侧评估

Answer 3

如果你看这里：Operator precedence，你可以看到“call”在表格的底部附近，所以首先执行。执行完这第一步后，您可以将语句重写为： health_points += 15.

加法稍高一点，接下来会执行（+= 是加法的缩写：health_points = health_points + available_items.pop("stamina grains")）。顶部是赋值，所以最后执行。导致health_points == 35。