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 中被引入的。