如何在Python中利用Protocol实现结构化子类型-Python教程-PHP中文网

protocol 是仅在类型检查阶段生效的结构化协议，不参与运行时检查；而 abc 通过 isinstance/issubclass 在运行时生效，需显式继承或注册。

如何在python中利用protocol实现结构化子类型

Protocol 是什么，它和 ABC 有什么本质区别

Protocol 不是运行时可检查的类型，它只在类型检查阶段起作用（比如 mypy、pyright），而 ABC（抽象基类）靠 isinstance 和 issubclass 在运行时生效。这意味着你写一个类只要“看起来像”某个 Protocol（有对应方法签名），就能被类型检查器认为是它的子类型——哪怕没显式继承、没注册。

这带来两个关键事实：

类型检查通过 ≠ 运行时不报错（调用缺失方法仍会抛 AttributeError）
无法用 isinstance(obj, MyProtocol) 判断（会报 TypeError: isinstance() argument 2 cannot be a parameterized generic）
如果需要运行时协议检查，得手动用 hasattr 或 getattr 验证方法存在性

定义 Protocol 时怎么处理可选方法和属性

Protocol 默认所有成员都必须实现。要声明可选成员，得用 typing.Optional + typing.cast 不够直观，正确做法是用 typing.runtime_checkable 配合 typing.Optional 并标注为 ClassVar 或直接用 @typing.overload？都不对——实际只需导入 typing.Optional 并配合 typing.TYPE_CHECKING 做条件导入？也不必要。

真正简洁的方式是：用 typing.Protocol 的子类加 @classmethod 装饰器？不，最常用且标准的做法是——用 typing.Optional 包裹类型，并在字段后加 = ...（注意是三个点，不是 None）：

from typing import Protocol, Optional
<p>class Drawable(Protocol):
color: str
def draw(self) -> None: ...
def scale(self, factor: float) -> None: ...</p><h1>可选方法：只声明签名，不强制实现</h1><pre class="brush:python;toolbar:false;">def rotate(self, angle: float) -> None: ...
# 可选属性：用 Optional + ... 表示“可能不存在”
opacity: Optional[float] = ...

这里 opacity: Optional[float] = ... 中的 ... 是特殊标记，告诉类型检查器该属性可选；运行时这个字段根本不会出现在类定义中，也不影响实例。

什么时候该用 Protocol 而不是继承或 duck typing

用 Protocol 的典型场景是：你控制不了类的源码，但又想让类型检查器认可它满足某组行为。比如第三方库的类没有继承你的基类，但它恰好有 .read() 和 .close() 方法：

python-script-generator

快速生成专业的 Python 脚本和应用代码。一键创建完整项目结构，支持CLI、API、爬虫、Bot、Django等多种项目类型，包含完整的项目结构、配置文件、依赖管理、测试、README和文档。

下载

你想把 requests.Response 当作某种 “readable stream” 来静态校验，但它没继承你写的 Readable ABC
你写了一个通用日志处理器，希望接受任何带 .log(level: str, msg: str) 方法的对象，不管它是不是 logging.Logger 子类
多个不相关的类（如 PandasDataFrame、PolarsDataFrame、自定义 Table）都有 .shape 和 .columns，你想统一标注输入参数类型

这时写一个 TableLike(Protocol) 比硬塞进继承树干净得多。但要注意：

如果多个类本就共享逻辑（比如共用 init 或状态管理），还是用 ABC 更合适
Protocol 不能带实现，也不能定义 init 签名约束（mypy 目前不检查 init 是否匹配 Protocol）
使用 typing.runtime_checkable 装饰后，可用 isinstance(obj, MyProtocol)，但性能开销明显，仅在极少数需运行时判断时启用

Protocol 嵌套和泛型怎么写才不出错

嵌套 Protocol 很常见，比如描述一个支持索引和长度的对象：

from typing import Protocol, TypeVar, Generic
<p>class SupportsLenAndIndex(Protocol):
def <strong>len</strong>(self) -> int: ...
def <strong>getitem</strong>(self, i: int) -> object: ...</p><p>T = TypeVar('T', bound=SupportsLenAndIndex)</p><p>class Processor(Generic[T]):
def <strong>init</strong>(self, data: T) -> None:
self.data = data</p>

关键点：

泛型变量 T 必须用 bound=... 绑定到 Protocol，不能用 constrain=...（已废弃）
不要试图在 Protocol 内部写 Generic[T] —— Protocol 本身不能是泛型类（除非用 typing.Generic 显式继承，但极少需要）
若 Protocol 方法返回自身类型（如链式调用），用 Self（Python 3.11+）或字符串字面量 "MyProtocol"（兼容旧版）
mypy 对嵌套 Protocol 的推导有时保守，如果发现类型检查失败但逻辑显然成立，可加 # type: ignore[no-any-return] 或重构为更扁平的协议