实现泛型Protocol时Mypy抛出类型不兼容错误的问题咨询

问题根源拆解 #

你遇到的问题其实是两个关键点混淆导致的：

1. 协变/逆变的位置搞反了：泛型类型里，方法的参数属于逆变位置，返回值属于协变位置。你给Protocol用了协变的K_co，但get方法的key参数却用了普通的K类型变量，这直接打乱了类型匹配的逻辑。
2. 对类型兼容的误解：你觉得ActualWidget（get只接受str）能匹配Widget[Any, Any]，但这本身不符合类型安全——Widget[Any, Any]要求get能处理任意类型的key，而ActualWidget做不到这一点，Mypy的报错其实是在帮你规避潜在的类型错误。

修正后的代码方案 #

1. 正确定义泛型Protocol

我们需要给方法参数用逆变类型变量，返回值用协变类型变量，让Protocol的类型约束符合方法的类型规则：

from typing import Any, TypeVar
from typing_extensions import Protocol, runtime_checkable

# 逆变类型变量：用于方法参数（参数位置是逆变的，允许更具体的类型实现）
K_contra = TypeVar("K_contra", contravariant=True)
# 协变类型变量：用于返回值（返回值位置是协变的，允许更具体的返回类型）
T_co = TypeVar("T_co", covariant=True)

class Animal(object): ...
class Cat(Animal): ...

@runtime_checkable
class Widget(Protocol[K_contra, T_co]):
    # 参数用逆变的K_contra，返回值用协变的T_co
    def get(self, key: K_contra) -> T_co: ...

2. 匹配正确的类型约束

现在ActualWidget可以完美匹配Widget[str, Cat]，因为它的get方法刚好符合“接受str类型key，返回Cat类型值”的约束：

class ActualWidget(object):
    def get(self, key: str) -> Cat:
        return Cat()

def takes_widget(widg: Widget[str, Cat]):
    return widg

if __name__ == '__main__':
    # 类型完全匹配，不会报错
    widg0: Widget[str, Cat] = ActualWidget()
    print(isinstance(widg0, Widget))  # 输出True
    takes_widget(widg0)  # 类型检查通过

3. 若需要支持任意类型的Widget

如果你希望takes_widget能接受任意类型的Widget实例，可以用Widget[Any, Any]，但此时传入的实现类必须真的能处理任意类型的key，比如：

class UniversalWidget(object):
    def get(self, key: Any) -> Any:
        return Cat()

# 这个实现就能正确匹配Widget[Any, Any]
widg1: Widget[Any, Any] = UniversalWidget()
takes_widget(widg1)  # 类型检查通过

为什么原代码会报错 #

当你尝试把ActualWidget赋值给Widget[Any, Any]时，Mypy会做严格检查：

• Widget[Any, Any]要求get方法能接受任何类型的key（比如int、bool等）
• 但ActualWidget的get只能处理str类型，无法应对其他类型的输入
  这种情况下允许赋值会导致潜在的运行时错误，所以Mypy的报错是合理的类型安全校验。

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