• 8.7. 类定义

    8.7. 类定义

    类定义就是对类对象的定义 (参见 标准类型层级结构 一节):

    1. classdef ::= [decorators] "class" classname [inheritance] ":" suite
    2. inheritance ::= "(" [argument_list] ")"
    3. classname ::= identifier

    类定义是一条可执行语句。 其中继承列表通常给出基类的列表 (进阶用法请参见 元类),列表中的每一项都应当被求值为一个允许子类的类对象。 没有继承列表的类默认继承自基类 object;因此,:

    1. class Foo:
    2. pass

    等价于

    1. class Foo(object):
    2. pass

    随后类体将在一个新的执行帧 (参见 命名与绑定) 中被执行,使用新创建的局部命名空间和原有的全局命名空间。 (通常,类体主要包含函数定义。) 当类体结束执行时,其执行帧将被丢弃而其局部命名空间会被保存。 3 一个类对象随后会被创建,其基类使用给定的继承列表,属性字典使用保存的局部命名空间。 类名称将在原有的全局命名空间中绑定到该类对象。

    在类体内定义的属性的顺序保存在新类的 dict 中。 请注意此顺序的可靠性只限于类刚被创建时,并且只适用于使用定义语法所定义的类。

    类的创建可使用 元类 进行重度定制。

    类也可以被装饰:就像装饰函数一样,:

    1. @f1(arg)@f2class Foo: pass

    大致等价于

    1. class Foo: pass
    2. Foo = f1(arg)(f2(Foo))

    装饰器表达式的求值规则与函数装饰器相同。 结果随后会被绑定到类名称。

    程序员注意事项: 在类定义内定义的变量是类属性;它们将被类实例所共享。 实例属性可通过 self.name = value 在方法中设定。 类和实例属性均可通过 "self.name" 表示法来访问,当通过此方式访问时实例属性会隐藏同名的类属性。 类属性可被用作实例属性的默认值,但在此场景下使用可变值可能导致未预期的结果。 可以使用 描述器 来创建具有不同实现细节的实例变量。

    参见

    • PEP 3115 - Python 3000 中的元类
    • 将元类声明修改为当前语法的提议,以及关于如何构建带有元类的类的语义描述。

    • PEP 3129 - 类装饰器

    • 增加类装饰器的提议。 函数和方法装饰器是在 PEP 318 中被引入的。