Python type()函数:动态创建类

前面己经提到使用 type() 函数可以查看变量的类型,但如果想使用 type() 直接查看某个类的类型呢?看如下程序:
class Role:
    pass
r = Role()
# 查看变量r的类型
print(type(r)) # <class '__main__.Role'>
# 查看Role类本身的类型
print(type(Role)) # <class 'type'>
运行上面程序,可以看到如下输出结果:

<class '__main__.Role'>
<class 'type'>

从上面的输出结果可以看到,Role 类本身的类型是 type。这句话有点拗口,怎样理解 Role 类的类型是 type?

Python 解释器的角度来看,当程序使用 class 定义 Role 类时,也可理解为定义了一个特殊的对象(type 类的对象),并将该对象赋值给 Role 变量。因此,程序使用 class 定义的所有类都是 type 类的实例。

实际上 Python 完全允许使用 type() 函数(相当于 type 类的构造器函数)来创建 type 对象,又由于 type 类的实例就是类,因此 Python 可以使用 type() 函数来动态创建类。例如如下程序:
def fn(self):
    print('fn函数')
# 使用type()定义Dog类
Dog = type('Dog', (object,), dict(walk=fn, age=6))
# 创建Dog对象
d = Dog()
# 分别查看d、Dog的类型
print(type(d))
print(type(Dog))
d.walk()
print(Dog.age)
上面第 4 行代码使用 type() 定义了一个 Dog 类。在使用 type() 定义类时可指定三个参数:
  1. 参数一:创建的类名。
  2. 参数二:该类继承的父类集合。由于 Python 支持多继承,因此此处使用元组指定它的多个父类。即使实际只有一个父类,也需要使用元组语法(必须要多一个逗号)。
  3. 参数三:该字典对象为该类绑定的类变量和方法。其中字典的 key 就是类变量或方法名,如果字典的 value 是普通值,那就代表类变量;如果字典的 value 是函数,则代表方法。

由此可见,第 4 行代码定义了一个 Dog 类,该类继承了 object 类,还为该类定义了一个 walk() 方法和一个 age 类变量。

运行上面程序,将看到如下输出结果:

<class '__main__.Dog'>
<class 'type'>
fn函数
6

从上面的输出结果可以看出,使用 type() 函数定义的类与直接使用 class 定义的类井没有任何区别。事实上,Python 解释器在执行使用 class 定义的类时,其实依然是使用 type() 函数来创建类的。因此,无论通过哪种方式定义类,程序最终都是创建一个 type 的实例。