Python的类闭包如何工作？

Question

如果我针对本地命名空间创建一个类,它究竟是如何工作的？例如:

>>> def foo():
...     i = 1
...     class bar(object):
...             j = i
...     return bar
... 
>>> dis(foo)
  2           0 LOAD_CONST               1 (1)
              3 STORE_DEREF              0 (i)

  3           6 LOAD_CONST               2 ('bar')
              9 LOAD_GLOBAL              0 (object)
             12 BUILD_TUPLE              1
             15 LOAD_CLOSURE             0 (i)
             18 BUILD_TUPLE              1
             21 LOAD_CONST               3 (<code object bar at 0xb74f8800, file "<stdin>", line 3>)
             24 MAKE_CLOSURE             0
             27 CALL_FUNCTION            0
             30 BUILD_CLASS         
             31 STORE_FAST               0 (bar)

  5          34 LOAD_FAST                0 (bar)
             37 RETURN_VALUE        

我很好奇的特殊线路是:

             15 LOAD_CLOSURE             0 (i)
             18 BUILD_TUPLE              1
             21 LOAD_CONST               3 (<code object bar at 0xb74f8800, file "<stdin>", line 3>)
             24 MAKE_CLOSURE             0
             27 CALL_FUNCTION            0
             30 BUILD_CLASS

我想,我想知道的最重要的事情是什么功能正在制作然后被调用？这个函数是闭包附加到类的函数,还是其他地方发生的？

Answer 1

整个班级团体，即

j = i

是一个代码对象，它在偏移量 21 处加载，然后通过 在偏移量 27 处调用CALL_FUNCTION。然后，调用的结果（本地命名空间）与类名和基类一起使用来创建类。BUILD_CLASS接受三个参数，类似于该type(name, bases, dict)函数：

返回一个新类型对象。这本质上是类语句的动态形式。name字符串是类名，成为name属性；基元组逐项列出基类并成为基属性；dict 字典是包含类主体定义的命名空间，并成为dict属性。

还有一篇非常详细的文章“Notes on the Python Class Statement”解释了类创建的工作原理。