Python 3.11+ 结合 mypy 可通过 match 语句与结构化类联合类型（Class | Class | ...）实现类似 OCaml/Haskell 的静态穷尽性检查，确保模式匹配覆盖所有变体，大幅提升类型安全。
python 3.11+ 结合 mypy 可通过 `match` 语句与结构化类联合类型（`class | class | ...`）实现类似 ocaml/haskell 的静态穷尽性检查，确保模式匹配覆盖所有变体，大幅提升类型安全。
在函数式编程语言（如 OCaml、Haskell）中，代数数据类型（ADT）配合模式匹配天然支持穷尽性检查（exhaustiveness checking）：一旦定义了某个并集类型（如 expr），编译器就能静态验证所有 match 分支是否覆盖全部构造器。若后续新增变体（如 Pow），未更新 match 就会编译失败——这是类型安全的关键保障。
Python 虽非纯函数式语言，但自 Python 3.11 引入 match 语句（PEP 622），并配合 mypy 1.0+ 的严格模式，已能模拟这一能力。关键在于：使用具名类（而非 NamedTuple 或 dataclass）定义变体，并用联合类型 A | B | C 显式声明统一类型。
✅ 正确实践：启用静态穷尽性检查
以下是一个可被 mypy 验证的完整示例：
# foo.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 是所有变体的联合类型
Expr = Union[Const, Add, Mult]
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)
# mypy 会要求此处必须有返回值（或报错），因所有分支已穷尽
运行类型检查：
mypy --strict foo.py # Success: no issues found in 1 source file
✅ 若注释掉任一 case（如删除 case Mult:），mypy 将报错：
华为云 Python SDK 查询工具。自动发现已安装 SDK 的服务包、Client类、API 方法、入参详情、类信息（__init__ 参数、属性、类型、描述），支持关键字搜索，快速定位目标 API 使用方法。
error: Missing return statement [return]
这正是穷尽性检查生效的表现——虽然错误信息不够直观（当前 mypy 尚未提供专用 non-exhaustive-match 提示），但它强制你补全逻辑，避免运行时 MatchError 或逻辑遗漏。
⚠️ 关键限制与注意事项
-
返回类型必须显式非 None
若函数返回 None（如用于副作用的遍历），mypy 不会触发穷尽性检查：def print_expr(e: Expr) -> None: # ❌ 穷尽性失效！ match e: case Const(val=v): print(v) # 缺少 Add/Mult —— mypy 仍通过！这是已知局限（mypy issue #17141）。解决方案：始终为计算型函数指定非 None 返回类型（如 -> int, -> str），或手动添加 case _: 并抛出 NotImplementedError 以显式标记未处理分支。
-
类定义需满足结构匹配要求
- 必须使用普通类（class X:），不支持 NamedTuple、dataclass（默认 __match_args__ 不兼容）或 tuple 子类（如 class Mult(tuple[...]) 当前不被 mypy 识别为可匹配类型）。
- 类属性需显式声明类型注解（如 left: 'Expr'），且 __init__ 参数顺序需与 case Class(...) 中的模式一致。
-
不替代运行时安全性
mypy 的检查仅保证“所有分支已覆盖”，但无法防止：- 运行时异常（如除零、空指针）
- 无限递归或死循环（mypy issue #17140）
- 动态创建对象绕过类型系统
✅ 最佳实践建议
- 优先使用 match + 显式联合类型：这是目前 Python 生态中最接近 ADT 穷尽性检查的方案。
- 启用 --strict 模式：确保 --warn-return-any、--disallow-incomplete-defs 等选项激活，提升检查精度。
- 搭配 typing.Union（或 | 操作符）显式声明类型：避免隐式 Any 或类型推断偏差。
-
对无返回值函数，用 case _: 显式兜底：
def log_expr(e: Expr) -> None: match e: case Const(val=v): print(f"Const({v})") case Add(): print("Add") case Mult(): print("Mult") case _: raise NotImplementedError(f"Unhandled expr: {type(e)}")
尽管 Python 无法达到 OCaml 的类型严密性，但借助 match + mypy，开发者已能在关键业务逻辑（如 AST 解析、协议消息处理、状态机）中构建强约束的类型契约。这不仅是语法糖，更是工程化 Python 的重要一步。
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
