如何在Visual Studio Code中悬停查看Python变量的类型？

问题分析 #

你遇到的是类型检查器（如Pyright、Mypy）的类型窄化行为：即使显式声明变量为int，当你给它赋值具体字面量（比如1）时，工具会自动将类型窄化为Literal[1]，导致悬停显示和声明类型不符。

修复步骤 #

• 调整编辑器类型检查设置
  以VS Code + Pylance为例：

  1. 打开设置（快捷键Ctrl+,）
  2. 搜索Python > Analysis: Type Narrowing
  3. 取消勾选该选项，关闭自动类型窄化，悬停时就会显示你声明的int类型。

• 强制指定变量类型
  用typing.cast强制覆盖类型推断结果：

  from typing import cast
  
  x = cast(int, 1)  # 悬停将显示int类型
  

  或者确保显式类型声明的语法规范：

  x: int = 1  # 让编辑器优先读取显式声明的类型
  

• 更新相关工具
  确保你的编辑器（如VS Code）、Python插件、Pyright/Mypy等类型检查工具是最新版本，旧版本可能存在类型推断逻辑的bug。

• 检查项目配置文件
  如果项目中有pyrightconfig.json或mypy.ini，检查是否开启了strict模式或其他强化类型推断的配置，适当调整这些选项来避免过度窄化。

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