Python 3.10新增match语句中下划线_为何无法作为有效变量名？

在Python 3.10新增的match/case结构化模式匹配语法中，_是语法层面定义的特殊通配符，不是可绑定值的普通捕获变量，这是它无法在case块中被正常引用的根本原因。

具体规则说明 #

• 通配符_的作用仅为匹配对应位置的任意内容，设计定位就是“标记不需要关心具体值的位置”，因此匹配过程中不会执行变量绑定操作，不会在当前作用域创建或修改名为_的变量，后续代码引用_自然会抛出NameError。
• 普通代码场景下的_（比如for _ in range(10)、元组解包时的a, _ = (1,2)）属于开发者约定俗成的用法，用_标记不需要使用的返回值，本质上_还是普通变量，是可以正常访问取值的，和match语法里被特殊规则处理的_语义完全不同。
• 我们常用的兜底分支case _:也是同样的逻辑：它能匹配任意值，但不会把值绑定到_上，分支内同样无法直接引用_取值。

为什么普通变量名a可以正常运行 #

a属于模式匹配里的捕获模式，当对应位置匹配成功时，Python会自动把匹配到的值绑定到当前作用域的a变量上，因此case块内可以正常访问a拿到对应的值。

可以通过一段代码验证通配符的特性，哪怕在match外部提前定义了_变量，case里的通配符也不会对它产生影响，也不会让case块能访问到匹配值：

_ = 999 # 外部提前定义_变量
d = dict(john = 10, owen=12, jenny=13)
match d:
    case {'john' : 10, 'jenny': _}:
        print(_) # 依旧报NameError，因为case里的_根本不执行变量绑定逻辑

如果非要强制捕获值到_，可以用as关键字显式绑定，但这种写法完全违背通配符的设计初衷，可读性极差，实际开发不要使用：

match d:
    case {'john' : 10, 'jenny': val as _}:
        print(_) # 这里能正常打印13，但属于故意混淆语义的坏写法

内容的提问来源于stack exchange，提问作者ai-py