Python 3.11 引入的 match 语句配合 mypy --strict 可实现类似 OCaml/Haskell 的代数数据类型（ADT）穷尽性检查，确保模式匹配覆盖所有联合类型分支，从而在编译期捕获遗漏 case 的错误。
python 3.11 引入的 `match` 语句配合 `mypy --strict` 可实现类似 ocaml/haskell 的代数数据类型（adt）穷尽性检查，确保模式匹配覆盖所有联合类型分支，从而在编译期捕获遗漏 case 的错误。
Python 虽非原生函数式语言，但自 3.11 起通过 PEP 622（结构化模式匹配）与类型检查器（如 mypy）协同，已能初步支持静态可验证的穷尽性匹配（exhaustiveness checking）——这是实现安全、可维护代数数据类型（ADT）的关键能力。
✅ 核心实现机制
要启用该特性，需同时满足三个条件：
- 使用 Python 3.11+ 的 match 语句；
- 定义清晰的类联合类型（class-based union），而非简单 Union 或 | 别名（注意：Expr = Const | Add | Mult 是类型别名，实际匹配依赖运行时类结构）；
- 启用严格类型检查：mypy --strict（或至少启用 --warn-return-any 和 --disallow-incomplete-defs）。
以下是一个完整、可验证的示例：
# 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 = Union[Const, Add, Mult]
def eval_expr(e: Expr) -> int:
match e:
case Const():
return e.val
case Add():
return eval_expr(e.left) + eval_expr(e.right)
case Mult():
return eval_expr(e.left) * eval_expr(e.right)
# mypy 将在此处要求：所有路径必须有返回值（因函数声明返回 int）运行验证：
立即学习“Python免费学习笔记（深入）”；
SkillSub Pro - Python 题解与代码注释双功能技能功能概述SkillSub Pro - Python 题解与代码注释双功能技能是一项面向实际任务的技能，主要用于SkillSub Pro 是一个 Python 题解生成与代码注释的 双功能合体技能 ，专为学生、算法学习者和开发者设计；✅ 一个技能，两种用途 ：；核心要点📝 题解模式 ：输入题目/题号，自动生成完整 Python 题解（含详细注释、解题思路、复杂度分析）；💬 注释模式 ：输入 Python 代码，自动添加详细中。它将相关步骤、
$ python foo.py # 正常执行 $ mypy --strict foo.py # 输出：Success: no issues found
若注释掉任意一个 case（如删除 case Mult():），mypy 将报错：
foo.py:32: error: Missing return statement [return]
该提示虽未直说“未覆盖 Mult”，但本质源于：当 Expr 联合中存在未处理分支时，match 无法保证所有输入路径均返回 int，从而触发类型系统对函数总返回性的校验失败——这正是穷尽性检查的间接体现。
⚠️ 关键限制与注意事项
-
None 返回类型不触发穷尽检查
若函数声明为 -> None，mypy 当前（截至 mypy 1.10）不会检测遗漏分支（见 mypy#17141）。例如：def print_expr(e: Expr) -> None: match e: case Const(): print(e.val) # 缺少 Add/Mult → mypy 不报错！此时逻辑错误将逃逸静态检查，务必避免在关键业务中使用 -> None 做 ADT 消费。
-
类定义必须显式、可识别
mypy 依赖运行时类对象进行分支推导，因此：- 不支持 tuple/namedtuple/dataclass（除非显式继承并标注）；
- class Mult(tuple): ... 等继承方式目前不被 mypy 识别为独立分支（见 mypy#17139）；
- 推荐使用普通类 + 显式字段注解（如示例所示）。
-
不替代运行时健壮性
穷尽性检查仅保障「所有类型分支被语法覆盖」，不保证：- 函数不抛出异常（如除零、递归栈溢出）；
- 逻辑正确性（如 Add 实际做了乘法）；
- 运行时对象真实属于声明类型（需配合 isinstance 或 @dataclass + __match_args__ 提升可靠性）。
✅ 最佳实践建议
- 始终启用 --strict：尤其确保 --warn-return-any、--disallow-incomplete-defs 和 --check-untyped-defs 开启；
- 优先返回值，避免 -> None：将副作用封装在返回值中（如 Result[T, Error]），或使用 Protocol 抽象行为；
-
结合 @dataclass 提升可读性（需手动添加 __match_args__）：
from dataclasses import dataclass @dataclass class Add: left: 'Expr' right: 'Expr' __match_args__ = ("left", "right") # 启用位置匹配：case Add(l, r): - 未来展望：PEP 655（Required/NotRequired）、TypedDict 改进及 mypy 对 match 的持续增强，将进一步逼近 Haskell/OCaml 的体验。
通过合理组合 Python 3.11+ 的语言特性与严格的类型工具链，你完全可以在生产级 Python 项目中构建具备静态保障的领域模型——这不是“模拟函数式”，而是以 Python 的方式，务实迈向类型安全。
