guard是case子句末尾的布尔表达式，用于在模式匹配成功后追加条件判断；它必须使用该case已绑定的变量，不能是独立if语句或含赋值、IO等重操作。
match case 中的 guard 是什么，和 if 有什么区别？
guard 是 case 子句末尾的 if 表达式，用于在模式匹配成功后追加额外判断。它不是独立的 if 语句，而是绑定在某个 case 上的守卫逻辑——只有模式匹配通过 且 guard 表达式为 True，该分支才会执行。
常见错误是把 guard 写成完整语句（如 if x > 0:），或者误以为 guard 可以访问未被解构出的变量。guard 只能使用当前 case 模式中已成功绑定的名称（比如 case Point(x, y) if x == y: 中的 x 和 y 是合法的）。
实际使用时注意：
- guard 必须写在
case行末，不能换行 - guard 表达式必须是单个布尔表达式，不能是语句块
- guard 中引用的变量必须来自该
case的模式绑定，不能是外部作用域未显式捕获的变量
如何正确写出带 guard 的 case 分支？
最简形式是 case <pattern> if <condition>:</condition></pattern>。关键在于 <pattern></pattern> 要先完成结构匹配并绑定变量，<condition></condition> 才能安全使用这些变量。
match data:
case {"type": "user", "age": age} if age >= 18:
print("成年用户")
case {"type": "user", "age": age} if age < 18:
print("未成年用户")
case {"type": "admin"}:
print("管理员")
这里两个带 guard 的 case 都从字典中解构出了 age，guard 才能用它做比较。如果写成 case d if d.get("age", 0) > 18:，就绕过了模式匹配本意，也失去了 guard 的语义优势。
立即学习“Python免费学习笔记（深入）”；
容易踩的坑：
- 在
case _:后加 guard（如case _ if x > 0:）——这是语法错误，_不绑定任何变量，guard 里用不到x - guard 中混用未绑定名，比如
case [a, b] if a + c > 0:（c未定义） - 误以为 guard 支持赋值表达式（
:=）——Python 3.10 的 guard 不支持海象运算符，会报SyntaxError
guard 和嵌套 if 相比，性能和可读性如何？
guard 本身不带来运行时性能提升，底层仍是顺序判断。但它把“结构匹配”和“业务条件”耦合在同一行，让意图更集中。比如处理 API 响应时：
match response:
case {"status": 200, "data": {"items": items}} if len(items) > 10:
handle_large_batch(items)
case {"status": 200, "data": data} if "items" not in data:
handle_empty_response()
比起先 match 再 if 套一层，这种写法避免了缩进加深，也防止漏掉某一分支的条件检查。
但要注意：
- 复杂 guard（如多层函数调用、IO 操作）会拖慢匹配过程，建议只放轻量判断
- 若 guard 条件需要复用或测试，不如提前计算好再传入 match，而不是在 guard 里重复逻辑
- Python 3.10 不支持 guard 中的类型注解或泛型约束，别试图写
if isinstance(x, int)来模拟类型守卫——那应该用更精确的模式（如case int(x):）
guard 的真正价值不在功能扩展，而在于把「数据形状」和「业务规则」声明式地写在一起。一旦模式变复杂或 guard 开始嵌套逻辑，就得考虑是否该拆成多个函数或改用传统控制流。
