如何为字面量初始化的OrderedDict标注类型？解决类型不兼容报错

问题重现 #

第一段代码执行类型检查时会报错：

from collections import OrderedDict
from dataclasses import dataclass


@dataclass
class HelloWorld:
    x: OrderedDict[str, int]


a = OrderedDict([("a", 0), ("c", 2), ("b", 1)])
HelloWorld(a) # 此处出现类型错误

错误信息：

Argument of type "OrderedDict[Literal['a', 'c', 'b'], Literal[0, 2, 1]]" cannot be assigned to parameter "x" of type "OrderedDict[str, int]" in function "__init__"
  "OrderedDict[Literal['a', 'c', 'b'], Literal[0, 2, 1]]" is incompatible with "OrderedDict[str, int]"
    Type parameter "_KT@OrderedDict" is invariant, but "Literal['a', 'c', 'b']" is not the same as "str"
    Type parameter "_VT@OrderedDict" is invariant, but "Literal[0, 2, 1]" is not the same as "int"

但直接将构造表达式作为参数传入时，却不会触发错误：

from collections import OrderedDict
from dataclasses import dataclass


@dataclass
class HelloWorld:
    x: OrderedDict[str, int]


HelloWorld(OrderedDict([("a", 0), ("c", 2), ("b", 1)])) # 此处无错误

解决方法 #

给变量a显式标注目标类型，覆盖类型检查器的精确推断：

from collections import OrderedDict
from dataclasses import dataclass


@dataclass
class HelloWorld:
    x: OrderedDict[str, int]


a: OrderedDict[str, int] = OrderedDict([("a", 0), ("c", 2), ("b", 1)])
HelloWorld(a) # 无类型错误

或者使用typing.cast强制转换类型（适合临时兼容场景）：

from collections import OrderedDict
from dataclasses import dataclass
from typing import cast


@dataclass
class HelloWorld:
    x: OrderedDict[str, int]


a = OrderedDict([("a", 0), ("c", 2), ("b", 1)])
HelloWorld(cast(OrderedDict[str, int], a)) # 无类型错误

两种传参方式的差异原因 #

核心在于类型推断的行为差异和OrderedDict的类型参数不变性：

• 变量赋值时的类型推断：当你把OrderedDict(...)赋值给变量a时，类型检查器会推断出最精确的类型——键是Literal['a','c','b']（仅包含这三个字符串的字面量类型），值是Literal[0,2,1]（仅包含这三个整数的字面量类型）。而OrderedDict的键、值类型参数是不变量（invariant），即只有完全匹配的类型才能兼容，更精确的字面量类型无法自动向上适配到更宽泛的str/int类型。
• 直接传参时的类型适配：当你直接将OrderedDict(...)作为参数传入时，类型检查器会优先匹配参数声明的类型OrderedDict[str, int]，自动将表达式的类型向上适配到目标类型，不需要保留最精确的字面量类型信息，因此不会触发类型错误。

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