类型标注库typeshed中bleach模块的过滤器协议问题分析

在Python类型标注库typeshed中，bleach模块的过滤器协议(_Filter)最近出现了一个类型兼容性问题。这个问题源于对html5lib过滤器与bleach自定义过滤器之间继承关系的处理不当。

问题的核心在于bleach模块允许使用两种类型的过滤器：

1. bleach自定义的BleachSanitizerFilter
2. html5lib基础库提供的Filter类

最新修改将_Filter协议定义为要求返回BleachSanitizerFilter实例，这过于严格，实际上应该允许返回更通用的Filter基类实例。这种限制导致以下常见用法会触发类型错误：

filters: list[_Filter] = [WhitespaceFilter]  # 类型检查错误

更合理的做法是将协议定义调整为接受更宽泛的类型。技术上有两种改进方案：

1. 保守方案：保持对source参数的类型限制，放宽返回值类型

def __call__(self, *, source: BleachSanitizerFilter) -> Filter: ...

2. 彻底方案：完全使用html5lib的基础Filter类型

def __call__(self, *, source: Filter) -> Filter: ...

这个问题还揭示了更深层次的设计考虑：协议应该反映实际使用场景。在bleach中，用户不仅会传递Filter子类，还可能传递partial对象等可调用对象。因此，保持协议定义足够灵活非常重要。

对于Python类型系统的使用者来说，这个案例提供了很好的经验：

• 协议设计要考虑实际使用场景的多样性
• 类型约束过严会限制代码灵活性
• 协变/逆变关系在协议设计中至关重要

最终解决方案需要平衡类型安全性和向后兼容性，确保既不会破坏现有代码，又能提供有意义的类型检查。