Python 类型注解 Protocol：实现鸭子类型的静态检查

在 Python 中，Protocol 类型用于实现结构化子类型（鸭子类型）的静态检查，允许开发者定义接口规范而不依赖继承关系。核心原理是：只要对象实现了协议规定的方法/属性，即被视为符合该类型。

1. Protocol 基础用法

from typing import Protocol

class Drawable(Protocol):
    def draw(self) -> None: ...

def render(item: Drawable) -> None:
    item.draw()  # 静态检查器会验证 item 是否实现 draw()

2. 协议组成要素

• 方法签名：定义必需的方法名称和参数类型
• 属性类型：声明必需属性及类型
• 抽象性：方法体使用 ... 或 pass 表示抽象方法

3. 完整示例：几何图形协议

from typing import Protocol

class Shape(Protocol):
    @property
    def area(self) -> float: ...

    def scale(self, factor: float) -> None: ...

# 实现类无需显式继承
class Circle:
    def __init__(self, radius: float):
        self._radius = radius
    
    @property
    def area(self) -> float:
        return 3.14 * self._radius ** 2
    
    def scale(self, factor: float) -> None:
        self._radius *= factor

# 类型检查通过
circle: Shape = Circle(2.0)

4. 高级特性

运行时检查（需安装 typing_extensions）：

from typing_extensions import runtime_checkable

@runtime_checkable
class Serializable(Protocol):
    def to_json(self) -> str: ...

# 运行时验证
assert isinstance(circle, Serializable)  # 若未实现 to_json 则抛出 AssertionError

泛型协议：

T = TypeVar('T')

class Container(Protocol[T]):
    def put(self, item: T) -> None: ...
    def get(self) -> T: ...

5. 与 ABC 的对比

6. 最佳实践

1. 精确约束：协议应仅包含必需的最小接口
2. 组合优于继承：优先使用 Protocol 定义功能边界
3. 渐进式注解：从简单协议开始逐步细化
4. 文档补充：使用 """ 文档字符串说明协议语义

静态检查器（如 mypy）会验证所有使用协议类型注解的位置：

mypy --strict your_file.py

通过 Protocol，Python 在保持动态灵活性的同时获得了静态类型系统的优势，实现了 "if it quacks like a duck, it's a duck" 的编程范式。