PyCharm能否检测未标注类型的变量或函数并给出警告提示

PyCharm内置检查开启方式 #

• 打开PyCharm设置入口：Windows/Linux系统选择File > Settings，macOS系统选择PyCharm > Settings
• 依次进入菜单：Editor > Inspections > Python > Type Checker
• 找到Missing type annotation for local variable选项，勾选开启，可按需调整警告级别（如Warning、Error）
• 同分类下其他可选开启的相关检查项：
  • Missing type annotation for function：检查函数缺失类型标注
  • Missing type annotation for parameter：检查函数参数缺失类型标注
  • Missing return type annotation：检查函数返回值缺失类型标注

开启后你给出的示例代码就会触发警告：

def main() -> None:
    i = 12 # 此处触发「局部变量缺失类型标注」警告

提示你改为补全标注的写法：

def main() -> None:
    i: int = 12

mypy未检出问题的解决方案 #

mypy默认配置仅做类型正确性校验，不会强制要求补充类型标注，如需开启对应检查，可在项目根目录的mypy.ini或者pyproject.toml中添加配置：

[mypy]
# 开启严格模式，包含所有类型标注检查规则
strict = True
# 单独控制局部变量标注检查（不开严格模式也可单独开启）
local_partial_types = True
disallow_untyped_defs = True

配置完成后重新运行mypy即可检出未加类型标注的局部变量、函数等场景。

补充说明 #

如果部分临时变量不需要加标注，可在对应行末尾添加# type: ignore注释跳过单条检查，也可调整配置仅对指定目录开启严格类型检查，平衡开发效率和代码规范。

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