VSCode Pylance无法识别Pydantic StrictStr子类为str类型

问题复现 #

我在VS Code中编写了以下Python代码：

from typing import Dict
from pydantic import StrictStr


class StrictStrSub(StrictStr):
    pass


def f(d: Dict[StrictStrSub, str]):
    e: Dict[str, str] = d  # 此处被VS Code标记红色下划线错误


def h(d: Dict[StrictStr, str]):
    e: Dict[str, str] = d  # 此处无错误提示

VS Code仅对f函数中的赋值操作标记错误，但h函数中使用父类StrictStr时完全正常，而StrictStrSub是StrictStr的直接子类。

问题解答 #

1. 是否有其他人遇到过这个问题？ #

是的，很多开发者在使用Pydantic的自定义子类搭配泛型类型注解时，都遇到过类似的类型检查误报，尤其是在使用Pylance或mypy这类静态类型检查器时。

2. 我的判断是否正确？该如何解决？ #

你的判断完全正确，这是类型检查器的误报。原因在于StrictStr本身是Pydantic实现的特殊字符串子类，类型检查器默认能识别它与str的协变关系，但自定义的子类StrictStrSub没有被正确识别为可协变到str的类型，导致在Dict泛型中认为Dict[StrictStrSub, str]无法赋值给Dict[str, str]。

解决方法有几种，按需选择：

• 快速忽略错误：在报错行添加类型忽略注释，直接跳过检查：

  e: Dict[str, str] = d  # type: ignore
  

• 强制类型转换：使用typing.cast显式告诉类型检查器转换类型：

  from typing import Dict, cast
  from pydantic import StrictStr
  
  class StrictStrSub(StrictStr):
      pass
  
  def f(d: Dict[StrictStrSub, str]):
      e: Dict[str, str] = cast(Dict[str, str], d)
  

• 调整类型检查配置：如果使用Pylance，可以在VS Code的settings.json中降低类型检查严格度，比如将python.analysis.typeCheckingMode设为basic，但不推荐这种方式，会丢失其他有用的类型检查提示。

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