python 3.10+ 的 `match` 语句不支持直接用 `case str:` 匹配类型，因为 `str` 会被解释为变量捕获名；应改用 `case str():` 模式，它能安全、准确地匹配字符串实例。
在 Python 的结构化模式匹配中，match 语句的设计原则是：裸类型名（如 str、int、list）在 case 子句中默认被视为“名称捕获”（name capture），而非类型检查。这意味着：
match lang:
case str: # ❌ 错误！这等价于 `case str as str:` —— 将值绑定到新变量 `str`，覆盖内置类型
...该写法不仅会静默覆盖内置 str（如提问者发现的 str = 7），还会导致后续 case 永远不可达（SyntaxError 提示 “unreachable” 正源于此），因为它已“消耗”了所有输入。
✅ 正确做法是使用 类模式（class pattern）：str()（注意括号）。它明确表示“匹配任意 str 类型的实例”，不进行变量绑定，也不修改任何名称：
lang = "Python"
match lang:
case str(): # ✅ 匹配所有字符串实例（包括 str 子类）
print("It is a string.")
case int():
print("It is an integer.")
case list():
print("It is a list.")
case _:
print("It is something else.")? 补充说明：str() 是一个“无参数类模式”，等价于 str(_)（即忽略内部内容，只检查类型）。你也可以添加子模式，例如 case str(name) 捕获字符串并赋值给 name，或 case str(s) if len(s) > 10 加入守卫条件。
⚠️ 注意事项：
立即学习“Python免费学习笔记（深入）”；
- 不要写 case type(lang): 或 case type(str): —— 这既冗余又错误，match 本身不支持运行时类型对象作为字面量模式；
- 所有内置类型（int, float, dict, tuple, bool 等）及自定义类（需支持模式匹配协议）均可采用 Type() 形式；
- 若需精确匹配具体类（排除子类），可结合 isinstance() 守卫：case x if isinstance(x, str) and type(x) is str，但通常 str() 已满足绝大多数场景。
总结：match 的类型匹配本质是实例类型检查，而非类型对象比较。牢记 str()（带括号）是模式，str（无括号）是变量——这是掌握 Python 模式匹配的关键分水岭。
