PyCharm迭代字典values/keys时出现Iterable与ValuesView类型警告问题

核心结论 #

这是PyCharm 2021.2.x系列专业版的内置类型标注库已知bug，你的代码写法完全符合Python官方规范，不存在错误，也不需要额外调整Python环境配置。

具体说明 #

• 类型继承逻辑澄清：
  你实测d.values()返回类型为dict_values是CPython的底层具体实现类名，PyCharm提示中的ValuesView是collections.abc模块定义的抽象基类，dict_values本身就是ValuesView的子类，同时所有dict视图类（dict_keys/dict_values/dict_items）都原生实现了Iterable接口，本身是合法可迭代对象，你用for循环迭代的写法完全正确。
• 误报触发原因：
  PyCharm 2021.2.3内置的静态类型检查用stub文件（预定义类型声明文件）对dict视图类的继承关系标注错误，错误地将ValuesView/KeysView排除在Iterable的子类之外，才会触发不符合实际逻辑的类型警告。包括Python官方文档中的标准dict视图示例代码触发同类警告，也能佐证是PyCharm的类型检查规则本身出错。

可行解决方法 #

• 单代码行临时屏蔽：在触发警告的代码行末尾添加注释 # noinspection PyTypeChecker 即可单独屏蔽该行的误报。
• 版本升级根本解决：直接将PyCharm升级到2022.1及以上版本即可，JetBrains已经在后续版本的内置类型库中修复了该标注错误，升级后不会再出现同类误报。
• 全局临时屏蔽（不推荐）：如果暂时不能升级版本，可以打开设置 → 编辑器 → 检查 → Python → 类型检查器，找到「预期类型不匹配」的检查规则，要么降低其严重级别，要么添加自定义忽略项屏蔽该类错误，但该操作可能会同时屏蔽其他合理的类型不匹配警告。

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