Python 元类深度解析：从对象到 type 的造物逻辑

Python 之父 Guido van Rossum 在设计这门语言时，融合了诸多核心概念，包括迭代器、装饰器、函数、生成器、类、对象以及协程等。

对于初学者而言，上述概念中许多颇具难度，而元类（Metaclass）则是 Python 世界中更底层的存在。尽管日常开发中较少直接操作它，但它始终在幕后运作，作为 Python 的“造物主”，它就是本文探讨的核心主角。

本文旨在彻底厘清元类的定义与工作机制，引导读者一同深入探究。

要理解元类，必须从最基础的对象概念入手。

对象（Object）

Python 中“一切皆对象”是基本准则。无论是数字、字符串、列表还是字典，它们均为对象。例如：

>>> i = 10
>>> s = "abc"
>>> nums = [1,2,3]
>>> dicts = {"name":"zhang"}

等号右侧为具体的对象实例，左侧为指向该对象的变量名。任何对象均具备三个关键属性：标识（Identity）、值（Value）和类型（Type）。

标识

对象的标识类似于人类的身份证号，具有唯一性且在生命周期内保持不变。在计算机内存中，标识通常对应对象的内存地址。可以通过内置函数 id() 来获取对象的标识。

>>> id(i)
40592592
>>> id(s)
44980584

对象值

值是对象的第二个属性，直观易理解。例如变量 i 的值为 10，s 的值为 'abc'，nums 的值为 [1, 2, 3]。

类型

类型是对象的重要属性，每个对象都拥有特定的类型。对象是由其类型实例化而来的，例如 i 的类型为 int，由 int 类型构造；s 的类型为 str，由 str 类型构造；nums 的类型为 list，由 list 类型构造；dicts 的类型为 dict，由 dict 类型构造。

可以通过内置函数 type() 来查看对象的类型。

>>> type(i)
<class 'int'>
>>> type(s)
<class 'str'>
>>> type(nums)
<class 'list'>
>>> type(dicts)
<class 'dict'>

与标识类似，对象的类型在创建确定后便不再改变。

类与（实例）对象

除了内置的整数、字符串、列表等类型外，用户可以使用 class 关键字自定义类型。例如：

>>> class Person:
  # 这里的 self 指某个实例对象自己
...  def __init__(self, name):
   # name 是实例的属性
...   self.name = name
  # live 是类的属性
  live = True

此处 Person 为自定义类，它是一个抽象模板，不特指张三或李四。通过调用该类，可以构造出具体的、有名字的实例对象，即实例对象。

>>> p1 = Person("zhangsan")
>>> p1.name
'zhangsan'
>>>
>>> p2 = Person("lisi")
>>> p2.name
'lisi'

p1 和 p2 是实例化后的对象，它们的类型均为 Person 类。类与实例对象的关系，类似于车辆模具与最终制造出的真实汽车之间的关系。

>>> p1
<__main__.Person object at 0x0195AA30>
>>> type(p1)
<class '__main__.Person'> # 这里的__main__是模块名称

类也是对象（类对象）

前文提到一切皆对象，实例是对象，类同样也是对象，因为它在内存中真实存在。

当 Python 解释器执行 class 指令时，内部会创建一个名为 'Person' 的类对象。该对象同样具备标识、类型和值。例如：

>>> id(Person)
26564024
>>> type(Person)
<class 'type'>
>>> Person
<class '__main__.Person'>

注意 Person 类对象的类型为 'type'，这意味着 Person 类是由 type 创建而成的。需明确区分：p1、p2 是实例对象，而 Person 是类对象。那么 type 究竟是什么？

回顾前文：实例对象 p1 的类型是类对象 Person，而 Person 的类型是 type。

>>> nums = [1,2,3]
>>> type(nums)
<class 'list'>
>>> type(list)
<class 'type'>

nums 的类型是 list，list 的类型也是 type；字典类 dict 的类型同样是 type。由此可见，所有类的类型均为 type，即所有类均由 type 创建。这个 type 即为元类，它是 Python 中的“造物主”（元类本身也是对象）。

既然已知类（对象）可通过 class 关键字创建，且其类型为 type，那么自然也可以通过 type（元类）来动态创建类。

用元类创建类

前文提及 type 用于检查对象类型，此外它作为元类还具备动态创建类（对象）的功能。

>>> Person = type("Person", (), {"live":True})
>>> Person
<class '__main__.Person'>

Person 类等价于以下使用 type 创建的代码：

>>> class Person:
...  live = True
...
>>> Person
<class '__main__.Person'>

使用元类 type 创建类的语法格式为：

type(类名, 基类元组(可为空), 属性字典)

总结

以上为 Python 元类的实例解析，希望能为读者提供帮助。如有任何疑问，欢迎留言交流，小编将及时回复。感谢对本站的支持！