Python中不同类型别名如何转换以通过Pyright静态类型校验？

报错原因 #

你定义的TypeB是包含typing.List[str]、typing.List[int]、int、str的联合类型，因此TypeC类型的字典中任意值的类型都是上述四种之一。Pyright无法确认arg1["random_key"]一定是List[str]（也就是List[TypeA]）类型，因此会触发赋值不匹配的类型错误。

可行解决方案 #

方案1：使用类型断言（cast） #

如果你100%确定运行时random_key对应的值一定是List[str]类型，可以直接用typing.cast做类型断言，告知静态检查器忽略类型校验：

import typing
from typing import cast

TypeA = str
TypeB = typing.Union[typing.List[str], typing.List[int], int, str]
TypeC = typing.Dict[str, TypeB]

def funcA(arg1: TypeC):
    var1: typing.List[TypeA] = cast(typing.List[TypeA], arg1["random_key"])

该方案无运行时开销，适合输入可控、类型确定的场景。

方案2：添加运行时类型校验 #

如果输入不可控，建议加运行时类型判断，Pyright会自动收缩类型，不需要额外断言：

import typing

TypeA = str
TypeB = typing.Union[typing.List[str], typing.List[int], int, str]
TypeC = typing.Dict[str, TypeB]

def funcA(arg1: TypeC):
    val = arg1["random_key"]
    # 先判断是列表，再判断所有元素都是字符串
    if isinstance(val, list) and all(isinstance(item, str) for item in val):
        var1: typing.List[TypeA] = val
    else:
        # 自定义异常处理逻辑
        raise TypeError("random_key对应值类型不符合要求")

该方案可靠性最高，适合对外接口、输入不确定的场景。

方案3：用TypedDict替代普通Dict #

如果你的TypeC字典的键是固定的，random_key对应的类型永远是List[str]，可以用TypedDict定义结构，每个键的类型单独声明：

import typing
from typing import TypedDict

TypeA = str
# 如果还有其他类型的键可以在TypeC里继续定义
class TypeC(TypedDict):
    random_key: typing.List[TypeA]

def funcA(arg1: TypeC):
    var1: typing.List[TypeA] = arg1["random_key"]

该方案最符合类型规范，适合字典结构固定的业务场景。

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