与可呼叫的结合的Mypy类型混乱

Question

我对Python Type提示和Mypy相对较新，并且想知道为什么以下代码失败了MyPy验证。

from typing import Callable, Union

class A:
    a: int = 1

class B:
    b: int = 1

def foo(cb: Union[Callable[[A], None], Callable[[B], None]]):
    a = A()
    cb(a)

def bar(a: A) -> None:
    print(a)

foo(bar)

由于阅读本文，这会失败

test.py:11: error: Argument 1 has incompatible type "A"; expected "B"
Found 1 error in 1 file (checked 1 source file)

，我假设参数cb可以采用callable [[a]，none]或callable [ [b]，无]，但似乎并非如此？有人可以解释这里发生了什么吗？这是一件杂乱无章的事情，还是实现怪癖，我的假设是错误的，还是以某种方式期望的？

谢谢！

Answer 1

foo只知道您对cb>：要么是将a值作为参数的函数，要么是一个函数这将b值作为参数。它是不是可以使用a或b的函数。

按原样输入，您无法真正调用CB，因为您不知道它接受了哪种类型。 （您知道这是两个，但不是一个

---

。 /em> a的实例或b的实例。您可以将其称为两个实例的值。例如，以下类型检查

class C(A, B):
    pass

def foo(cb: Union[Callable[[A], None], Callable[[B], None]]):
    c = C()
    cb(c)

是因为c满足任何一个条件。