python 的 `match` 语句不支持直接用 `case str:` 匹配类型，因为 `str` 会被视为待捕获的变量名；正确做法是使用 `case str():` 模式，它能安全匹配任意字符串实例，且不会覆盖内置类型名。
在 python 3.10+ 引入结构化模式匹配（match/case）后，开发者常希望根据变量的运行时类型执行不同逻辑。但一个常见误区是试图像 case str: 这样直接写类型名——这会导致 SyntaxError: name capture ‘str’ makes remaining patterns unreachable。原因在于：match 将未加括号的 str 解析为名称捕获模式（name pattern），即尝试把值绑定到局部变量 str，而非检查其是否为字符串类型。更严重的是，这会意外遮蔽内置类型 str（正如提问者发现的：str = 7 后 str(14) 报错），破坏代码健壮性。
✅ 正确写法是使用类模式（class pattern）：case str()。括号表明这是一个类型检查而非变量绑定，等价于 isinstance(value, str)。以下为完整示例：
lang = "Python" match lang: case str(): print("It is a string.") case int(): print("It is an integer.") case list(): print("It is a list.") case dict(): print("It is a dictionary.") case _: print("It is something else.") # 输出：It is a string.该语法可扩展至自定义类（需支持位置参数构造）和多类型联合：
from typing import Union data = [1, 2, 3] match data: case str() | bytes(): # 匹配任一类型（OR 逻辑） print("Binary or text data") case list() | tuple() | set(): print("A collection") case dict(): print("A mapping")⚠️ 注意事项：
立即学习“Python免费学习笔记（深入）”；
- case str(): 匹配所有 str 实例（包括子类），但不匹配 None 或其他类型；
- 避免 case str:（无括号）、case type(str):（冗余且易错）或 case type(lang):（type() 返回对象，无法与 str 直接匹配）；
- 若需精确匹配某个具体类型（排除子类），应改用 if isinstance(lang, str)，因 match 的类模式本质是 isinstance 检查；
- 所有内置类型（int, Float, bool, list, dict 等）均支持 Type() 形式，无需导入。
总结：match 语句的类型匹配依赖带括号的类模式，这是设计使然——它兼顾了类型检查的安全性与模式匹配的表达力。理解 str 与 str() 的本质区别，是写出清晰、可靠、符合 Python 惯例的结构化匹配代码的关键。