Mypy 无法在三元表达式中对同一动态访问（如 COL[table_name]）进行类型窄化，导致误报属性不存在错误；通过引入中间变量（如使用海象运算符 :=）可让类型检查器准确跟踪类型分支。
mypy 无法在三元表达式中对同一动态访问（如 `col[table_name]`）进行类型窄化，导致误报属性不存在错误；通过引入中间变量（如使用海象运算符 `:=`）可让类型检查器准确跟踪类型分支。
在 Python 类型检查实践中，一个常见但容易被忽视的陷阱是：Mypy 不会对重复出现的动态下标访问（如 COL[table_name]）在条件分支中做跨表达式的类型窄化。即使你用 isinstance(..., dict) 明确判断了类型，Mypy 仍会将后续的 COL[table_name].keys() 视为对原始联合类型（如 Union[List[str], Dict[str, str]]）的操作——而该联合类型中的 List[str] 并没有 .keys() 方法，因此报错：
error: "Collection[str]" has no attribute "keys"
根本原因在于：Mypy 无法静态保证两次 COL[table_name] 访问返回的是同一个对象且类型未发生运行时改变。这种“动态下标表达式”的类型窄化在技术上极为复杂（正如 Pyright 维护者 Eric Traut 所指出），因此主流类型检查器（包括 mypy）默认不支持。
✅ 正确解法：用海象运算符（:=）引入中间变量，确保类型检查器能对单次求值结果进行统一窄化：
COL = {
"ABC": ["col1", "col2", "col3"],
"BBC": ["col1", "col2", "col3"],
"XYZ": {"col1": "c1", "col2": "c2", "col3": "c3"},
}
for table_name in COL:
# ✅ 推荐：一次取值 + 类型窄化，类型检查器可精确推导
table = COL[table_name]
result = list(table.keys()) if isinstance(table, dict) else table
# 或更简洁（Python 3.8+）：
# result = list(table.keys()) if isinstance(table := COL[table_name], dict) else table⚠️ 注意事项：
- 避免在条件表达式中重复写 COL[table_name] —— 即使逻辑上等价，Mypy 也不会将其视为同一实体；
- 若需兼容 Python < 3.8，必须显式拆分为两行（先赋值，再判断）；
- 类型注解（如 COL: Dict[str, Union[List[str], Dict[str, str]]]）不能解决此问题，因为问题本质是控制流分析限制，而非类型声明缺失；
- 对于更复杂的嵌套结构，可考虑使用 typing.cast() 作为最后手段，但应优先采用变量提取这一更安全、更可读的模式。
总结：类型安全 ≠ 写法自由。在动态数据结构处理中，主动引导类型检查器（通过变量绑定）比依赖其自动推理更可靠、更符合工程实践。
