在 Python 字节码中，如果 function 什么都不返回，为什么 CALL_FUNCTION 指令后面还有 POP_TOP 指令？

Question

我在研究Python字节码，发现POP_TOP指令后面有CALL_FUNCTION指令。 POP_TOP在这里做什么？

a = 1
b = 2
c = a + b
print(c)
def func(e, f, g):
    h = e + f + g

func(a, b, c)

运行python3 -m dis main.py后，我得到了

  1           0 LOAD_CONST               0 (1)
              2 STORE_NAME               0 (a)

  2           4 LOAD_CONST               1 (2)
              6 STORE_NAME               1 (b)

  3           8 LOAD_NAME                0 (a)
             10 LOAD_NAME                1 (b)
             12 BINARY_ADD
             14 STORE_NAME               2 (c)

  4          16 LOAD_NAME                3 (print)
             18 LOAD_NAME                2 (c)
             20 CALL_FUNCTION            1
             22 POP_TOP

  5          24 LOAD_CONST               2 (<code object func at 0x7fb9aebb59c0, file "btins3.py", line 5>)
             26 LOAD_CONST               3 ('func')
             28 MAKE_FUNCTION            0
             30 STORE_NAME               4 (func)

  8          32 LOAD_NAME                4 (func)
             34 LOAD_NAME                0 (a)
             36 LOAD_NAME                1 (b)
             38 LOAD_NAME                2 (c)
             40 CALL_FUNCTION            3
             42 POP_TOP
             44 LOAD_CONST               4 (None)
             46 RETURN_VALUE

请参阅第 22行和第 42 行。

Answer 1

function 在 Python 中没有“不返回任何内容”之类的东西。 即使 function 没有显式return值，function 也会隐式返回None （如果您dis.dis(func)您将在生成的字节码中看到它）。

如果它不这样做，字节码编译器将需要更复杂，因为它需要一些方法来区分有和没有返回值的函数（因为函数首先是 class 对象并且可以重新分配，你可以'甚至不使用编译时规则来执行此操作；它必须在运行时逐个调用地处理）； 照原样，它可以无条件地将它们视为具有返回值，只是某些返回值（隐式None ）没有其他值有用。