Mypy 无法在 if 条件表达式中对重复出现的动态下标访问（如 COL[table_name]）进行类型窄化，导致误报属性错误；通过引入中间变量（如海象运算符赋值）可让类型检查器准确跟踪类型分支。

mypy 无法在条件表达式中对重复出现的动态下标访问（如 `col[table_name]`）进行类型窄化，导致误报属性错误；通过引入中间变量（如海象运算符赋值）可让类型检查器准确跟踪类型分支。

在使用 typing.Dict 或动态结构（如混合了 list[str] 和 dict[str, str] 的字典）时，我们常依赖 isinstance() 进行运行时类型分发。但 Mypy 默认不会将 isinstance(x, dict) 的类型守卫效果延续到后续对同一动态表达式 x 的多次访问上——尤其当 x 是类似 COL[table_name] 这样的非纯、不可静态求值的下标操作时。

例如，原始代码：

for table_name in COL:
    list(COL[table_name].keys()) if isinstance(COL[table_name], dict) else COL[table_name]

Mypy 报错 error: "Collection[str]" has no attribute "keys"，是因为它无法保证：

• 第一个 COL[table_name]（在 isinstance() 中）和
• 第二个 COL[table_name]（在 .keys() 调用中）
  指向完全相同的对象且类型未被外部修改。这种不确定性使类型窄化失效。

✅ 正确解法：用海象运算符（:=）引入局部绑定变量，确保类型守卫作用于同一个明确命名的变量：

for table_name in COL:
    result = list(table.keys()) if isinstance(table := COL[table_name], dict) else table

此时 table 是一个具有确定类型的局部变量：Mypy 能在 isinstance(table, dict) 成立的分支中，安全地将其类型窄化为 dict[str, str]，从而允许调用 .keys()、.values() 等方法。

⚠️ 注意事项：

• 不要试图仅靠类型注解（如 COL: dict[str, list[str] | dict[str, str]]）解决此问题——类型注解描述的是“可能的类型”，而非运行时实际分支；
• 若需兼容 Python < 3.8，可改用传统两步写法：

  for table_name in COL:
      table = COL[table_name]
      if isinstance(table, dict):
          keys = list(table.keys())
      else:
          keys = table

• 对于更复杂的嵌套或高阶泛型场景，可结合 typing.cast() 显式提示（但应作为最后手段，优先使用变量绑定）。

总结：Mypy 的类型窄化在动态表达式上存在保守限制，而显式变量绑定是兼顾类型安全与可读性的标准实践。它不仅修复类型检查错误，也提升了代码的可维护性——每个分支操作的对象清晰、无歧义。