match-case中变量绑定惰性且作用域受限：仅匹配成功的case内创建变量，未匹配分支或外部访问触发NameError；需初始化变量或封装逻辑确保安全。
因为 match-case 中的变量绑定是「惰性且作用域受限」的：只有匹配成功的 case 块内才会创建变量，其他分支或 match 外部访问就会触发 NameError。
变量只在匹配成功的 case 内定义
Python 不会在 match 开始前预声明所有可能用到的变量名。它只在某个 case 模式真正匹配时，才执行该分支内的绑定操作（比如解包、属性提取）。一旦没进那个分支，对应变量就根本不存在。
-
data = [1]→ 匹配case [x, *rest]:失败 →x和rest都不会被定义 - 后续写
print(rest)就直接报NameError: name 'rest' is not defined - 即使你写了
case _:，它也不会自动绑定任何变量；想取值得显式写case x:
常见踩坑场景：星号解包和命名捕获
最容易出错的是带 * 或关键字参数的模式，因为它们看起来“应该能用”，但其实高度依赖是否命中。
-
case [first, *middle, last]:→ 若输入是[1, 2]（长度不足），整个case不匹配，middle不会被创建 -
case Point(x=x_val, y=y_val):→ 如果Point没定义__match_args__或字段名不匹配，x_val和y_val全部未定义 -
case {"status": s, "code": c} if c >= 400:→ 守卫条件失败时，s和c依然不会绑定（守卫不改变绑定时机）
如何安全访问这些变量？
不能靠“猜哪个 case 会跑”，得让变量在所有路径下都有定义，或明确检查是否存在。
立即学习“Python免费学习笔记（深入）”；
- 把变量初始化放在
match外：x = None; rest = []，再进match覆盖 - 用
case x:替代case _:，确保兜底分支也能拿到原始值 - 避免跨
case边界使用变量：不要在case [x, *rest]:后面直接写print(rest)，而是把逻辑封装进该case块内 - 调试时加
print(locals())看当前作用域里到底有哪些变量
最隐蔽的一点是：这个错误不会在语法检查阶段暴露，而是在运行时、特定输入下才爆发——所以光测一个分支不够，必须覆盖所有 case 路径，尤其是 case _ 和边界长度输入。
