VSCode本身不内置函数级静态分析能力，必须靠插件+语言服务器+后端工具协同实现；关键在三者对齐：插件调起服务器、服务器调用分析器（如pyright/mypy/crosshair）、分析器能在终端跑通。
VSCode 本身不内置函数级静态分析能力，必须靠插件 + 语言服务器 + 后端工具协同实现。光装插件没用，关键在三者是否对齐：插件能调起语言服务器，服务器能调用分析器（如 pyright、mypy、crosshair-tool），且分析器能在终端里跑通。
为什么装了插件却看不到函数调用链或契约检查
常见现象是插件图标亮了、状态栏显示“Ready”，但鼠标悬停函数名没弹出调用图，或写错参数类型也不报错。根本原因通常是：
- 语言服务器未真正加载对应功能模块（例如 Pylance 默认关闭
crosshair支持，需手动启用） - 项目根目录缺少配置文件（如
pyrightconfig.json或crosshair.toml），导致服务器跳过深度分析 - 函数没有类型注解（
def foo(x: int) -> str:），多数静态分析器对无注解函数仅做基础语法检查，不推导行为契约 - 插件和 CLI 工具版本不匹配（如 VS Code 插件依赖
crosshair-tool>=1.5.0，但你装的是1.4.2）
如何让 Pylance 显示函数调用关系（Call Hierarchy）
Pylance 原生支持调用层级查看，但默认快捷键被隐藏，且依赖代码结构清晰度：
- 光标放在函数名上，按
Ctrl+Shift+O（Windows/Linux）或Cmd+Shift+O（macOS）直接打开调用层级面板 - 若无响应，检查
python.analysis.extraPaths是否包含所有源码目录（尤其多包结构项目） - 确保函数不是动态生成的（如用
exec()或装饰器抹除__name__），这类函数无法被 AST 静态捕获 - 禁用
python.analysis.autoSearchPaths可避免误导入导致的调用链断裂
CrossHair 插件报 “No contracts found” 却明明写了 @pre / @post
CrossHair 不识别 Python 标准注解，只认它自己的装饰器，且要求显式启用分析模式：
- 确认已安装
crosshair-tool并在当前 Python 环境中可执行：crosshair check --help - 函数必须用
@crosshair.monitor或@crosshair.contract包裹，@pre单独写无效 - VS Code 设置中需开启：
"crosshair.enabled": true和"crosshair.mode": "contracts" - 检查文件是否在
crosshair.toml的include列表中（默认只扫**/*.py，但可能被exclude覆盖）
Error Lens 怎么让函数参数类型错误显示在行内
Error Lens 是个“显示增强层”，它不决定报什么错，只决定怎么展示。能否显示类型错误，取决于上游语言服务器是否发出了诊断信息：
- 先验证 Pylance 或 Pyright 是否真报错了：删掉一个参数，看问题面板（
Ctrl+Shift+M）里有没有Argument missing类型提示 - 如果问题面板有、但 Error Lens 不显示，检查其设置：
errorLens.messageMode必须设为inline，且errorLens.ignoreRules不能过滤掉Pyright相关代码（如"PYI001"） - 某些错误（如未解析的类型别名）只在保存后触发，需确认
editor.codeActionsOnSave中启用了"source.fixAll.pyright"
最易被忽略的一点：所有这些工具都假设你正在编辑的是一个“可分析的 Python 模块”，而不是临时粘贴的代码片段——如果文件没在 sys.path 里、没被 pyproject.toml 声明为 source，或者路径含中文/空格，分析器很可能静默跳过。先在终端里跑通 pyright 或 crosshair check，再回头调 VS Code 设置。
