为什么 TypedDict 与匹配 Mapping 不兼容？

Question

考虑以下代码：

from typing import Any, Mapping, TypedDict


class MyDict(TypedDict):
    foo: bool


def my_func_any(a: Mapping[str, Any]) -> None:
    print(a)


def my_func_bool(a: Mapping[str, bool]) -> None:
    print(a)


d: MyDict = {
    'foo': True
}

my_func_any(d)
my_func_bool(d)  # line 21

使用mypy==0.761 检查时会出现以下错误：

test.py:21：错误：“my_func_bool”的参数 1 具有不兼容的类型“MyDict”；预期“映射[str，bool]”

我预计my_func_any(d) 和my_func_bool(d) 都可以，但后者是一个错误。这是一个错误还是我错过了什么？

Answer 1

引用PEP 589：

类型一致性

首先，任何TypedDict类型都与Mapping[str, object]一致。

[...]

• 具有所有int 值的TypedDict 与Mapping[str, int] 不一致，因为由于结构子类型，可能有其他非int 值通过类型不可见。例如，可以使用Mapping 中的values() 和items() 方法访问它们。示例：

  class A(TypedDict):
      x: int
  
  class B(TypedDict):
      x: int
      y: str
  
  def sum_values(m: Mapping[str, int]) -> int:
      n = 0
      for v in m.values():
          n += v  # Runtime error
      return n
  
  def f(a: A) -> None:
      sum_values(a)  # Error: 'A' incompatible with Mapping[str, int]
  
  b: B = {'x': 0, 'y': 'foo'}
  f(b)