能否让mypy检查属性存在于联合类型至少一个成员而非全部成员？

• 场景：为已添加类型注解、原本由PyCharm执行类型检查的大型代码库接入mypy，运行mypy时产生大量同类报错：

error: Item "Bar" of "Union[Foo, Bar]" has no attribute "foo_func"

• 报错根因：mypy默认开启union-attr校验规则，要求访问的属性必须在联合类型的所有成员类型中都存在，否则抛出上述错误。
• 核心诉求：不希望逐个修改代码添加类型断言，想要直接调整mypy的校验逻辑，将规则放宽为「访问的属性只要在联合类型的至少一个成员中存在就不报错」，询问该需求是否可实现。

该需求无法通过mypy官方提供的原生配置直接实现，mypy没有内置对应开关可以把联合类型属性校验的判定条件从「全成员满足」调整为「至少一个成员满足」。
你可以根据项目实际情况选择以下替代方案：

• 过渡期全局关闭union-attr规则
  刚接入mypy、同类报错量级太大时，可以先在mypy配置文件中全局禁用该类报错，先处理其他类型问题，后续再逐步收敛修复联合类型相关的类型问题。
  若使用mypy.ini配置，添加如下内容即可：

  [mypy]
  disable_error_code = union-attr
  

  若使用pyproject.toml配置，添加如下内容即可：

  [tool.mypy]
  disable_error_code = ["union-attr"]
  

  注意：该方案会直接关闭所有联合类型的属性存在性校验，不会判断属性是否在至少一个成员中存在，会漏报真实的属性拼写错误、属性不存在问题，仅适合过渡期临时使用。

• 按需局部忽略报错
  对于代码逻辑已经做过类型收窄、运行时绝对不会触发属性不存在问题的位置，使用行级类型忽略注释跳过校验即可，不会影响其他位置的正常类型检查：

  # 确认此处x的实际类型一定是Foo，不会走到Bar分支
  x.foo_func  # type: ignore[union-attr]
  

• 定制修改mypy源码
  如果确实需要「属性至少在联合类型一个成员中存在」的校验规则，可以fork mypy源码，定位union-attr规则对应的校验逻辑做二次开发，编译使用自定义版本的mypy。该方案维护成本极高，后续同步mypy上游版本更新时需要持续适配改动，非特殊需求不推荐使用。

内容的提问来源于stack exchange，提问作者K.Mulier