python - 为什么类的主体在定义时执行？

Question

与函数不同，类的主体在定义时执行:

class A(object):
    print 'hello'

输出:

hello

为什么会这样？是否与@classmethod/@staticmethod方法和类属性有关？

Answer 1

Everything 在 Python 首次导入模块时在模块级别执行。函数体(和生成器表达式体)是这里的异常(exception)，而不是规则。 Python 执行一切以创建包含在模块中的对象；与 Python 中的所有内容一样，类是对象，函数也是。

类主体使用单独代码对象的唯一原因是因为类主体在单独的 namespace 中执行，然后该 namespace 形成类属性。类主体不是唯一的此类 namespace ； set 和 dict comprehensions，在 Python 3 中，列表推导式也使用单独的命名空间执行，限定其局部变量的范围。

所以函数和生成器表达式是异常(exception)，明确地说是因为它们的整个目的 是在稍后执行。请注意函数定义被执行:

>>> import dis
>>> dis.dis(compile('def foo(): pass', '<stdin>', 'exec'))
  1           0 LOAD_CONST               0 (<code object foo at 0x106aef2b0, file "<stdin>", line 1>)
              3 MAKE_FUNCTION            0
              6 STORE_NAME               0 (foo)
              9 LOAD_CONST               1 (None)
             12 RETURN_VALUE        

MAKE_FUNCTION 字节码创建函数对象，连同该函数的存储字节码，结果绑定(bind)到全局名称 foo。

类对象在这里没有什么不同； class 语句生成一个类对象，作为该对象的一部分，我们需要知道类主体的属性。

如果 Python 不 执行类主体，其他代码就无法使用这些类成员。您无法访问类属性(包括类方法和静态方法)，您无法设置类属性等。

任何属于类主体的函数当然不会在那个时候执行。就像顶级函数一样，只执行一个 MAKE_FUNCTION 字节码，然后将生成的本地名称(用 STORE_FAST 设置)转换为类属性，类似于全局函数使用 STORE_NAME 将对象绑定(bind)到全局。