Python 3.11+ 结合 mypy 可通过 match 语句与联合类型（Union）实现编译期穷尽性检查，确保所有类型分支都被覆盖，大幅提升类型安全性和重构可靠性。
python 3.11+ 结合 mypy 可通过 `match` 语句与联合类型（`union`）实现编译期穷尽性检查，确保所有类型分支都被覆盖，大幅提升类型安全性和重构可靠性。
在函数式编程语言（如 OCaml、Haskell）中，代数数据类型（ADT）配合模式匹配天然支持穷尽性检查（exhaustiveness checking）：一旦定义了某种和类型（union type），编译器就能静态验证 match 是否覆盖了所有构造器——新增变体后未更新匹配逻辑将直接导致编译失败。这为程序正确性提供了强大保障。
Python 虽非静态类型优先语言，但自 Python 3.11 引入结构化模式匹配（PEP 622），并配合 mypy 1.0+ 的严格模式（--strict），已能近似实现这一能力。关键在于：联合类型 + 类构造器 + match 语句 + mypy 静态分析 四者协同工作。
✅ 正确实现穷尽性检查的步骤
定义不可变类构造器（每个对应一种数据变体）
使用普通类，显式声明字段类型（支持前向引用）；避免使用 NamedTuple 或 dataclass（当前 mypy 对其穷尽性支持不完善）。声明联合类型
利用 | 操作符（PEP 604）构建 Expr = Const | Add | Mult。编写带明确返回类型的 match 函数
返回类型必须是非 None 的具体类型（如 int, float, str），这是触发 mypy 穷尽性检查的前提。启用 mypy 严格模式
运行 mypy --strict your_file.py，它会强制检查所有 match 分支是否覆盖联合类型的全部成员。
以下是一个完整、可验证的示例：
# expr.py
from typing import Union
class Const:
val: int
def __init__(self, val: int) -> None:
self.val = val
class Add:
left: 'Expr'
right: 'Expr'
def __init__(self, left: 'Expr', right: 'Expr') -> None:
self.left = left
self.right = right
class Mult:
left: 'Expr'
right: 'Expr'
def __init__(self, left: 'Expr', right: 'Expr') -> None:
self.left = left
self.right = right
Expr = Const | Add | Mult # Python 3.10+ 联合类型语法
def eval_expr(e: Expr) -> int:
match e:
case Const(val=v):
return v
case Add(left=l, right=r):
return eval_expr(l) + eval_expr(r)
case Mult(left=l, right=r):
return eval_expr(l) * eval_expr(r)
# 注意：此处无需 else 分支 —— mypy 会自动检查是否穷尽运行验证：
立即学习“Python免费学习笔记（深入）”；
$ python expr.py # 运行无误（假设你添加了测试调用） $ mypy --strict expr.py Success: no issues found in 1 source file
✅ 若注释掉任一 case（例如删除 case Mult:），mypy 将报错：
SkillSub Pro - Python 题解与代码注释双功能技能功能概述SkillSub Pro - Python 题解与代码注释双功能技能是一项面向实际任务的技能，主要用于SkillSub Pro 是一个 Python 题解生成与代码注释的 双功能合体技能 ，专为学生、算法学习者和开发者设计；✅ 一个技能，两种用途 ：；核心要点📝 题解模式 ：输入题目/题号，自动生成完整 Python 题解（含详细注释、解题思路、复杂度分析）；💬 注释模式 ：输入 Python 代码，自动添加详细中。它将相关步骤、
expr.py:32: error: Missing return statement [return] Found 1 error in 1 file (checked 1 source file)
该错误本质是：mypy 发现 match 未覆盖全部 Expr 成员，导致函数存在未定义路径，从而无法保证返回 int —— 这正是穷尽性检查生效的表现。
⚠️ 重要限制与注意事项
返回类型不能为 None：若函数签名是 -> None，mypy 不会执行穷尽性检查（已知缺陷，见 mypy#17141）。务必使用有明确返回值的类型。
异常与死循环无法被检测：静态检查仅覆盖类型层面的分支完整性，不验证运行时行为（如 raise 或无限递归），仍需单元测试补充。
类定义需规范：目前 mypy 对 tuple 子类、NamedTuple 或部分 @dataclass 的穷尽性支持有限；推荐使用显式字段声明的普通类。
暂无原生 ADT 语法：相比 OCaml 的 type expr = ...，Python 需手动定义多个类 + 联合类型别名，未来可能通过 PEP 提案（如 PEP 694 增强泛型）进一步简化。
✅ 总结
尽管 Python 不具备原生 ADT，但借助 Python 3.11+ match + mypy 严格模式 + 显式类联合类型，你已能在关键业务逻辑（如表达式求值、协议解析、状态机）中获得接近函数式语言的静态安全保障。这不是“完全等价”，而是务实、渐进、生产可用的类型强化方案——只要坚持类型标注、启用 mypy，并将 match 与非 None 返回类型绑定，即可显著降低漏处理分支引发的运行时错误。
