Python match/case用全局变量做匹配报错、类变量正常的原因是什么？

Python 的 match/case 语法对不同写法的匹配项有明确的规则区分，你遇到的差异本质是捕获模式和值模式的规则差异：

• 直接在 case 后写无前缀的独立变量名（比如 case y:）时，Python 会将其识别为「捕获模式」：此处的 y 不是你之前定义的同名变量，而是全新的捕获变量，作用是把 match 后传入的 x 的值赋值给它。因此无论 x 是什么值，这个分支永远会匹配成功，属于不可反驳模式，自然不能放在其他 case 分支前面，这就是你收到报错、以及观察到 y 被修改为 x 值的核心原因。
• 当你在 case 后写带点的属性引用（比如 case Vars.y:）时，Python 会将其识别为「值模式」：会直接读取 Vars.y 的当前值，和 match 传入的目标值做相等比较，匹配失败就会进入下一个分支，属于可反驳模式，完全符合多分支匹配的逻辑要求，所以不会触发报错。

如果你不想把变量封装到类中，也可以用守卫条件实现相同的匹配效果：

x = int(input())
y = int(input())
z = int(input())

match x:
    case val if val == y:
        print("something")
    case val if val == z:
        print("anything")

内容的提问来源于stack exchange，提问作者101is5