如何在Python中指定满足多个协议的对象类型？

好问题！你想要的这种「要求对象同时符合多个协议/类型」的注解机制，在Python的类型系统里确实有成熟的实现方式，我给你分情况说明：

1. Python 3.10+：直接用Intersection（和你虚构的语法几乎一致） #

从Python 3.10开始，typing模块正式引入了Intersection类型，专门用来表示「同时满足多个类型/协议」的交集类型，完全符合你的需求：

from typing import Iterable, Reversible, Intersection, TypeVar

T = TypeVar('T')
# 定义同时满足Reversible[T]和Iterable[T]的交集类型
ReversibleIterable = Intersection[Reversible[T], Iterable[T]]

# 注解变量
ri: ReversibleIterable[int] = [1, 2, 3]
reversed(ri)  # 类型检查器会正常通过
iter(ri)      # 同样不会报错

这个写法和你设想的虚构语法几乎一模一样，现在已经是官方支持的标准语法了。

2. Python 3.9及以下：自定义多继承协议 #

如果你的项目还在用较低版本的Python，不能用Intersection，可以通过自定义一个继承多个协议的新协议来实现同样的效果：

from typing import Iterable, Reversible, Protocol, TypeVar

T = TypeVar('T')

# 自定义协议，同时继承Reversible和Iterable的行为
class ReversibleIterable(Protocol[T]):
    # 声明Reversible协议要求的__reversed__方法
    def __reversed__(self) -> Iterable[T]: ...
    # 声明Iterable协议要求的__iter__方法
    def __iter__(self) -> Iterable[T]: ...

# 注解变量
ri: ReversibleIterable[int] = [1, 2, 3]
reversed(ri)  # 正常通过类型检查
iter(ri)      # 完全没问题

这个自定义协议本质上是把两个协议的要求合并到一起，任何实现了这两个方法的对象都会被类型检查器判定为符合ReversibleIterable协议，和交集的效果完全一致。

为什么之前的变通方法没成功？ #

你提到的有界TypeVar这类方案，其实是用来限制类型变量的上界（即类型变量必须是某个类型的子类/实现了某个协议），但它只能表示「满足至少一个上界」或者「满足某个单一上界」，无法表达「同时满足多个协议」的强约束，所以才会达不到你的预期。

内容的提问来源于stack exchange，提问作者Quantum7