当 class 没有实现协议时，mypy 不会报错

Question

我有以下代码。 Class A包含一个 function f 。 Class B继承自A并覆盖此 function。我还有协议SupportsG ，它充当实现 function g的所有类的结构超类型。 我有 class B明确继承这个协议：

from typing import Protocol

class SupportsG(Protocol):
  def g(self) -> str: ...

class A:
  def f(self) -> str:
    return ""

class B(A, SupportsG):
  def f(self) -> str:
    return "test"

if __name__ == "__main__":
  b = B()  

我在这里的期望是mypy会抛出错误，因为 class B没有实现 function g 。 但是，如果我运行mypy --strict ，我不会收到任何错误。

我在这里的理解有什么差距？

Answer 1

def test(x: SupportsG):
  pass  # whatever

a = A()
b = B()

test(a)  # mypy should complain
test(b)  # mypy should complain

class C:
  def g(self) -> str:
    return ""

c = C()
test(c)  # should be fine

您不需要从SupportsG继承您的 class 。

顺便说一句， Protocol的一个目的也是使用 kwargs 定义自定义 function 接口，这对于Callable是不可能的，例如：

def func(a, *, b) -> str:
  pass

class Func(Protocol):
  def __call__(self, a, *, b) -> str: ...

def test(f: Func):
  pass

test(func)  # ok!

Answer 2

Protocol用于结构类型以定义输入类型，而不是 inheritance。

您应该使用ABC而不是Protocol ； 它正是你想要的。