typing.Protocol 如何定义“鸭子类型”接口约束

舞夢輝影 2026-01-20 00:00:00 次阅读

typing.Protocol 是 Python 3.8+ 中用于定义鸭子类型接口的结构化类型检查机制，不需继承或注册，仅要求实现指定方法和属性签名，运行时无开销，仅被静态检查工具（如 mypy）识别，isinstance 检查始终返回 False。

typing.Protocol 是 Python 3.8+ 中用于定义“鸭子类型”接口约束的核心机制——它不关心对象属于哪个类，只关心对象是否具备指定的方法和属性签名。

Protocol 的本质是结构化类型检查

与抽象基类（ABC）不同，Protocol 不需要显式继承或注册，只要一个类实现了 Protocol 中定义的所有方法和属性（包括类型签名），类型检查器（如 mypy）就认为它“符合该协议”。运行时完全无开销，纯静态检查工具支持。

Protocol 类本身不能被实例化，仅用于类型提示
子类无需 __subclasshook__ 或 register()，实现即满足
支持继承、泛型、类变量、实例变量、可选成员（用 typing.Optional 或 ... 注解）

定义一个基础 Protocol 示例

比如定义一个可序列化的鸭子类型：

```python
from typing import Protocol

class Serializable(Protocol):
def to_dict(self) -> dict: ...
@classmethod
def from_dic

t(cls, data: dict) -> 'Serializable': ...

# 任意类只要实现这两个方法，就可通过类型检查
class User:
def to_dict(self) -> dict:
return {"name": "Alice"}
@classmethod
def from_dict(cls, data: dict) -> 'User':
return cls()

def save(obj: Serializable) -> str:
return str(obj.to_dict()) # mypy 认为合法

save(User()) # ✅ 通过类型检查
```