如何在 Python 类型注解中指定多个类型的子类型（包括通用类型，如 Callable）？

Question

一个明显的例子是多个 inheritance：如果我有Foo和Bar类，我可以制作一个继承自两者的 class Baz ( class Baz(Foo, Bar): ... ) 但是，我也可以制作另一个具有不同行为的 class，它仍然继承自Foo和Bar ... 显然，这是一个小众用例，但 Python 类型注释是否支持此功能？ 在示例情况下，我不想专门编写Baz - 我只需要知道类型既是Foo又是Bar的事实，但它也可以是其他任何东西。 我在想一些类似于param: Foo | Bar param: Foo | Bar或param: typing.Multiple[Foo, Bar] 。

我的具体用例：我想使用Callable语法来指定参数和返回类型（例如Callable[..., bool] ），但我还需要确保参数是FunctionType ，即不是 class 或 builtin_function_or_method。 当然，我可以只在文档字符串中指定它——但是类型注释是否支持这种方式，可以与类型检查器一起使用？

Answer 1

通过协议 class ( PEP , docs ) 有一个有限版本 - 但是，它只支持类型变量 ( Protocol[T] ) 和具体类型 ( class MyProtocol(FunctionType, Protocol) )，但不支持像 Any 这样的通用类型， Union、Callable、Iterator 等。因此，问题中的示例案例可以实现为

class FooAndBar(Foo, Bar, typing.Protocol): ...

但是下面提到的用例似乎是不可能的（可能最终可能），所以现在我要么定义一个只包含您需要的成员的协议，使用字符串作为类型提示，或者在文档字符串中指定它。

附加说明：如果您使用 IntelliJ IDE，您可以编写

assert isinstance(param, (Foo, Bar))

出于类型检查的目的，这将在任何进一步的代码中实现与假设param: Intersection[Foo, Bar] 。