python - 指定具有多个基础的类型（键入AND运算符）[重复]

Question

我理解（如this question 和the docs) 中所述，X 或 Y 的类型提示可以表示为：

Union[X,Y]

但是如何表达X 和 Y 的类型提示？这在表示所讨论的对象必须是X 和Y 的子类时很有用。

只要事先知道所有继承X 和Y 的类，以下示例就可以工作：

class X: pass
class Y: pass
class A(X,Y): pass
class B(X,Y): pass

def some_function(arg: Union[A,B]): 
    pass
    # do stuff with arg that only depends on inherited members from X and Y

但是如果另一个依赖于上述代码的包定义：

class C(X,Y): pass

C 在设计上也可以在some_function 中工作。我正在寻找一个更好的类型提示来代替 Union[X,Y] 使用，它包括任何可能的子类 X 和 Y。

我了解解决方法可能是定义：

class XY(X,Y): pass

然后将其用作基类并键入提示：

class A(XY): pass
class B(XY): pass
class C(XY): pass
def some_function(arg: XY): pass

但我不确定是否值得仅为类型提示定义一个新类，这无论如何都不会影响运行时。

我们如何为X 和 Y 的子类的任何类创建类型提示？

Answer 1

Python type-hints 不支持显式 intersection 注释。但是您至少有两种解决方法：

你可以引入一个mix类，例如：

class A:
    def foo_a(self):
        pass

class B:
    def foo_b(self):
        pass
    

class Mix(A, B):
    pass


def foo(p: Mix) -> None:
    p.foo_a()
    p.foo_b()

或者使用结构子类型，Protocol，例如：

from typing import Protocol

class Supports_ab(Protocol):
    def a(self):
        pass
    
    def b(self):
        pass

class A:
    def a(self):
        pass

class B:
    def b(self):
        pass

class Derived(A, B):
    pass

    
class SomeClassAB:  # no need superclass
    def a(self):
        pass
    
    def b(self):
        pass
    
def foo(p: Supports_ab) -> None:
    p.a()
    p.b()

foo(SomeClassAB())
foo(Derived())