PyCharm类属性类型提示异常：仅部分赋值场景报错求助

你遇到的问题是：PyCharm仅对__init__方法里的self.b:int = "abc"触发类型错误提示，而类属性a: int = "abc"和实例赋值t1.b = "def"两处的字符串赋值给int类型变量的错误，却没有任何提示，安装MyPy插件后问题仍未解决。

以下是具体的解决步骤：

1. 启用PyCharm自带的严格类型检查 #

• 打开File > Settings > Editor > Inspections（Windows/Linux）或PyCharm > Settings > Editor > Inspections（Mac）
• 展开Python > Type checker目录
• 确保Incompatible types in assignment选项已勾选，将其Severity级别设为Error或你需要的提示级别
• 同时勾选Incompatible types in variable declaration，确保变量声明时的类型不匹配也能被检测到

2. 配置MyPy插件的严格检查模式 #

• 打开File > Settings > Tools > MyPy（Windows/Linux）或PyCharm > Settings > Tools > MyPy（Mac）
• 在Arguments输入框中添加--strict参数，该参数会强制MyPy启用所有严格类型检查规则
• 勾选Run MyPy on code change，让代码修改时自动触发MyPy检查
• 点击Apply保存设置，重启PyCharm生效

3. 验证检查效果 #

完成上述配置后，重新打开你的代码文件，三处类型不匹配的代码都会触发错误提示：

• 类属性a: int = "abc"
• __init__方法中的self.b:int = "abc"
• 实例赋值t1.b = "def"

如果问题仍存在，检查PyCharm配置的Python解释器是否与MyPy使用的解释器一致，避免因环境不一致导致检查失效。

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