Python嵌套类型递归函数Pylance报错解决方法咨询

你的问题核心是错误使用了typing.Type——这个工具用于标注「类型对象」（比如str、int这类类型本身），而非定义嵌套列表的元素类型。以下是具体修正方案：

修正后的代码 #

# 正确定义递归嵌套类型：移除Type，直接用自身的字符串引用
NestedStr = list[str | "NestedStr"]

def get_first(x: str | NestedStr) -> str:
    if isinstance(x, str):
        return x
    # 递归调用不再触发报错，Pylance可正确识别x[0]的类型为str | NestedStr
    return get_first(x[0])

# 两个断言均不会触发Pylance报错
assert get_first(["a", "b"]) == "a"
assert get_first([["a", "b"]]) == "a"

原写法报错的原因 #

你之前的NestedStr = list[str | Type["NestedStr"]]定义中，Type["NestedStr"]表示的是「NestedStr这个类型本身」，而非「NestedStr类型的实例」。这直接导致：

• 传入list[list[str]]时，内层list[str]是列表实例，不符合str | Type[NestedStr]的类型要求
• 递归调用时，Pylance无法将str | Type[NestedStr]与函数参数要求的str | NestedStr匹配，因为「类型对象」和「类型实例」是完全不同的概念

额外优化（Python 3.10+） #

如果使用Python 3.10及以上版本，可借助from __future__ import annotations实现更简洁的递归类型定义：

from __future__ import annotations
# 无需字符串引用，直接使用自身类型名
NestedStr = list[str | NestedStr]

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