25 分钟

Python 高级

元类编程

就讲type、类怎么创建的，还有元类实际能用在哪。

理解「类也是对象」和 type 的角色
理解类创建过程
能编写简单元类
掌握元类的替代方案（__init_subclass__）

元类编程

元类（metaclass）是「创建类的类」。在 Python 中，类本身也是对象，由元类创建。绝大多数情况下你都不需要元类，但理解它能让你看懂框架源码。

类也是对象

示例代码（可运行）

Python 0%

1# 类是 type 的实例

2class Foo:

3 pass

5print(type(Foo)) # <class 'type'>

6print(type(int)) # <class 'type'>

7print(type(type)) # <class 'type'>

9# type 是所有类的元类

10# object 是所有类的基类

11# type 自己也是 type 的实例（鸡生蛋问题，C层面解决）

13# 用 type 动态创建类

14Dog = type("Dog", (), {

15 "species": "犬",

16 "bark": lambda self: "汪汪！",

17})

19d = Dog()

20print(d.bark())

21print(Dog.species)

23# type(name, bases, namespace) 三参数：

24# name: 类名

25# bases: 父类元组

26# namespace: 类属性/方法字典

类创建过程

示例代码（可运行）

Python 0%

1# 当你写 class Foo(Bar): 时发生了什么？

2# 1. 收集类体中的属性到字典

3# 2. 调用元类创建类：Foo = type("Foo", (Bar,), namespace)

4# 3. 元类的 __prepare__ 准备命名空间（3.0+，默认返回dict）

5# 4. 元类的 __new__ 创建类对象

6# 5. 元类的 __init__ 初始化类对象

8# 自定义元类

9class Meta(type):

10 def __new__(mcs, name, bases, namespace):

11 print(f"创建类: {name}")

12 # 自动给所有方法加日志

13 for key, value in list(namespace.items()):

14 if callable(value) and not key.startswith("_"):

15 namespace[key] = mcs.add_logging(value)

16 return super().__new__(mcs, name, bases, namespace)

18 @staticmethod

19 def add_logging(func):

20 def wrapper(*args, **kwargs):

21 print(f"调用 {func.__name__}")

22 return func(*args, **kwargs)

23 return wrapper

25class Service(metaclass=Meta):

26 def create(self):

27 return "创建成功"

28 def delete(self):

29 return "删除成功"

31s = Service()

32s.create() # 自动打印 "调用 create"

33s.delete() # 自动打印 "调用 delete"

⚠️元类的坑

元类危险的地方：调试难，类创建时机比实例化早多继承时元类必须是父子关系，会冲突继承链上的元类会全部执行绝大多数场景都有更简单的方案替代

__init_subclass__：元类的轻量替代

示例代码（可运行）

Python 0%

1# Python 3.6+ 提供了 __init_subclass__

2# 不需要写元类就能在子类化时执行逻辑

3class Plugin:

4 registry = {}

6 def __init_subclass__(cls, name=None, **kwargs):

7 super().__init_subclass__(**kwargs)

8 key = name or cls.__name__

9 Plugin.registry[key] = cls

10 print(f"注册插件: {key}")

12class AudioPlugin(Plugin, name="audio"):

13 pass

15class VideoPlugin(Plugin, name="video"):

16 pass

18print(f"已注册: {list(Plugin.registry.keys())}")

19# 创建插件实例

20plugin = Plugin.registry["audio"]()

21print(type(plugin))

元类的实际用途

示例代码（可运行）

Python 0%

1# 元类在框架中的经典应用：

3# 1. ORM 模型定义（Django/SQLAlchemy）

4class ModelMeta(type):

5 def __new__(mcs, name, bases, namespace):

6 fields = {}

7 for key, val in namespace.items():

8 if isinstance(val, Field):

9 fields[key] = val

10 namespace["_fields"] = fields

11 return super().__new__(mcs, name, bases, namespace)

13class Field:

14 def __init__(self, typ):

15 self.typ = typ

17# 2. 单例模式

18class Singleton(type):

19 _instances = {}

20 def __call__(cls, *args, **kwargs):

21 if cls not in cls._instances:

22 cls._instances[cls] = super().__call__(*args, **kwargs)

23 return cls._instances[cls]

25class Config(metaclass=Singleton):

26 pass

28print(Config() is Config()) # True - 同一个实例

30# 3. 接口注册/自动发现

31# 4. API 路由自动注册（Flask/Django admin）

🐍资深工程师经验谈

元类的优先级：能用普通继承/装饰器解决的，不用 __init_subclass__；能用 __init_subclass__ 的，不用元类。元类只在框架级抽象中使用（ORM、序列化、API框架）。读框架源码时遇到 metaclass 不要慌，它就是拦截类创建过程的钩子。现代 Python 倾向于用 __init_subclass__ 和类装饰器替代元类。

元类冲突

元类冲突与 MRO

多继承时如果父类有不同元类，会报元类冲突：

示例

# 元类冲突
class MetaA(type): pass
class MetaB(type): pass
class A(metaclass=MetaA): pass
class B(metaclass=MetaB): pass

# class C(A, B): pass  # TypeError: metaclass conflict

# 解决：创建共同的子元类
class MetaAB(MetaA, MetaB): pass
class C(A, B, metaclass=MetaAB): pass  # OK

# 规则：最终类的元类必须是所有父类元类的子类
# Python 会自动找最派生的元类

选择题

Python 中所有类的元类是？

选择题

大多数场景下元类的推荐替代方案是？

资深工程师加餐

底层原理 · 大厂视角 · 工程经验，点卡片展开

@decorator 写在函数定义上方，它在「模块加载、函数被定义时」就执行一次，把原函数包装成新函数；之后每次调用，走的都是包装后的版本。带参数的装饰器本质是三层嵌套（外层收参数、中层收函数、内层收调用参数）。务必用 functools.wraps 保留原函数名和文档，否则调试栈和日志里全是 wrapper。

挑战任务

插件注册系统

简单+50 XP

就用 __init_subclass__ 实现插件自动注册系统，子类会自动加入注册表。

插件注册系统

Python 0%

2 个测试用例

课后作业

单例元类

中等+25 XP

用元类实现线程安全的单例模式。

单例元类

Python 0%

1 个测试用例