Python 中使用 match/case 按类型匹配的正确方法

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 设计的有意约束，也是其安全性和表达力的平衡所在。