如何用独立Pyright复现Pylance类型分析，验证代码无类型错误？

我们团队在VS Code项目中使用Pylance扩展做类型检查，执行「无警告」政策，计划通过预提交钩子和CI流水线运行独立Pyright来强制执行该规则。由于Pylance基于Pyright开发，原本预期两者能输出等效的分析结果，但即使将typeCheckingMode都设为strict，检查结果仍不一致。

示例代码 #

from typing import Any

a: str = 12345

b: dict[str, Any] = {}
c = b.get("a", {}).get("b", [])

检查结果差异 #

• Pylance仅检测到1个错误：

Expression of type "Literal[12345]" cannot be assigned to declared type "str"
  "Literal[12345]" is incompatible with "str"

• 命令行Pyright检测到2个错误：

test.py
  test.py:3:10 - error: Expression of type "Literal[12345]" cannot be assigned to declared type "str"
    "Literal[12345]" is incompatible with "str" (reportGeneralTypeIssues)
  test.py:6:1 - error: Type of "c" is partially unknown
    Type of "c" is "Any | list[Unknown]" (reportUnknownVariableType)

2 errors, 0 warnings, 0 informations

疑问与解决方案 #

常见疑问对应的原因及解决方式 #

1. 是否遗漏了Pyright参数？
   是的，Pylance默认可能关闭了部分类型检查规则，比如上述案例中的reportUnknownVariableType。需要在项目的pyrightconfig.json或pyproject.toml中明确禁用该规则，让独立Pyright与Pylance的规则对齐：

{
  "typeCheckingMode": "strict",
  "reportUnknownVariableType": false
}

2. 是否是Pyright版本不匹配？
   这是最常见的原因。Pylance内置了特定版本的Pyright，若你本地/CI使用的独立Pyright版本与内置版本不一致，就可能出现检查结果差异。可以在VS Code的Pylance扩展详情页查看内置版本，然后通过npm install -g pyright@<对应版本号>安装匹配的独立Pyright。

3. 是否是Pylance的bug？
   大概率不是。多数情况都是版本或配置不一致导致的，先排查版本和配置问题，若仍存在差异，再考虑提交issue到Pylance仓库。

核心问题：如何在VS Code外验证无Pylance类型错误？ #

要确保VS Code外的检查结果与Pylance完全一致，需做到两点：

• 严格匹配版本：安装与Pylance内置版本完全相同的独立Pyright；
• 同步所有配置：将VS Code中Pylance的工作区/用户配置（比如python.analysis下的各项规则），同步到项目的pyrightconfig.json或pyproject.toml中，确保独立Pyright使用完全相同的检查规则。

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