python 3.10+ 的 match 语句支持按类型匹配，但不能直接写 `case str:`（会被解析为变量捕获），而应使用 `case str():` 形式，让解释器识别为类型构造器模式。
在 Python 的结构化模式匹配中
，match 语句对 case 子句的解析遵循严格的语法规则：裸类型名（如 str、int、list）会被视为“名称捕获”（name capture）模式，而非类型检查。这意味着：
match lang:
case str: # ❌ 错误！这等价于 `case str_name:` —— 将值绑定到新变量 `str`，并永远匹配成功
...上述写法不仅无法实现类型判断，还会覆盖内置类型名（如你发现的 str = 7），导致后续调用 str(42) 报错 TypeError: 'int' object is not callable，带来隐蔽的运行时风险。
✅ 正确做法是使用 类构造器模式（class pattern）：在类型名后添加空括号 ()，明确告诉解释器这是一个类型检查：
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.")该语法等价于 isinstance(lang, str)，但更简洁、可组合（例如 case list[int](): 可匹配 list[int] 类型的实例，需 Python 3.12+ 支持泛型模式）。
⚠️ 注意事项：
- case str(): 不会捕获变量，也不会修改 str 名称空间；
- 若需同时获取值并检查类型，可结合捕获变量：case str() as s: → s 是原字符串；
- 对自定义类同样适用：case MyModel(): 匹配其实例；
- 避免使用 case type(lang): —— 这会匹配 type 对象本身（如
），而非值的类型，且失去模式匹配的简洁性。
总结：类型匹配的本质是「匹配实例」而非「匹配类型对象」，因此始终使用 Type() 形式。这是 match/case 设计的有意约束，也是其安全性和表达力的平衡所在。
