为何Python中只读Mapping无法作为Dict属性的类型提示？

先看示例代码和类型检查器的报错：

from typing import Dict, Mapping, Protocol

class A:
    field: Dict

class B(Protocol):
    field: Mapping

def f(arg: B):
    print(arg)

f(A())

类型检查报错 #

pyright输出：

Argument of type "A" cannot be assigned to parameter "arg" of type "B" in function "f"
  "A" is incompatible with protocol "B"
    "field" is invariant because it is mutable
    "field" is an incompatible type
      "Dict[Unknown, Unknown]" is incompatible with "Mapping[Unknown, Unknown]"

mypy输出：

error: Argument 1 to "f" has incompatible type "A"; expected "B"  [arg-type]
note: Following member(s) of "A" have conflicts:
note:     field: expected "Mapping[Any, Any]", got "Dict[Any, Any]"

核心原因：可变属性的类型不变性 #

你疑惑的点在于觉得Mapping是只读抽象类型，应该兼容Dict，但问题出在协议中未标记为只读的属性默认是可变的。

类型检查器会把B里的field: Mapping理解为：这个属性不仅能以只读方式访问，还能被赋值为任意符合Mapping的类型（比如不可变的MappingProxyType）。但A的field是Dict类型，外部代码可以给它赋值新的dict，却不能赋值MappingProxyType——如果允许A适配B，就会出现类型不安全的场景：比如在f函数里尝试给arg.field赋值一个不可变映射，这在A的实例上会导致类型错误。

为了避免这种风险，类型检查器对可变属性的类型采用不变性规则：只有属性的实际类型和协议要求的类型完全一致时，才认为匹配，不允许父类型/子类型的替换。

解决方案：标记属性为只读 #

如果要让A适配B，需要明确协议中的field是只读属性。用@property装饰器声明后，类型检查器会将其视为协变类型，此时Dict作为Mapping的子类型可以安全替代：

from typing import Dict, Mapping, Protocol

class A:
    field: Dict

class B(Protocol):
    @property
    def field(self) -> Mapping: ...

def f(arg: B):
    print(arg)

f(A())  # 此时类型检查器不再报错

因为只读属性不会被修改，类型检查器只需要确保该属性的类型能提供Mapping的只读接口即可，Dict完全满足这一点，所以协变关系成立。

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