Python match-case语句异常修改变量问题排查咨询

你编写了以下Python函数，意图确保数组中没有元素以指定的两个变量开头：

def checkDuplicates(x, y, array):
    for l in array:
        match l:
            case [x, y]:
                return False
            case [x, y, _]:
                return False
            case other:
                return True

问题现象 #

当x=1、y=2且l=[1,2]时，函数匹配第一个case并返回False，符合预期；但当x=1、y=3且l=[1,2]时，match语句会把参数y的值修改为2，且返回False，不符合预期。

原因解析 #

这是Python结构模式匹配的特性导致的：case [x, y]中的x和y是模式变量，而非引用函数参数的变量。模式变量会匹配列表对应位置的元素，并将元素值赋值给同名变量——这就直接覆盖了你传入的函数参数y（以及x，只是这里值相同没体现）。

当l=[1,2]时，case [x, y]会把列表第一个元素赋值给x（覆盖原参数x=1，值无变化），第二个元素赋值给y（覆盖原参数y=3为2），随后执行该case的逻辑返回False，完全跳过了后续的判断。

修复方案 #

要匹配函数参数的具体值，需要避免模式变量覆盖外部参数，有两种常用方式：

方式1：使用守卫条件（Guard Clause）

通过if守卫条件判断列表元素是否等于外部参数：

def checkDuplicates(x, y, array):
    for l in array:
        match l:
            case [a, b] if a == x and b == y:
                return False
            case [a, b, _] if a == x and b == y:
                return False
            case other:
                continue
    return True

（注：修复了原函数的逻辑bug——原函数仅检查数组第一个元素就返回，现在遍历所有元素，只有全部不匹配才返回True）

方式2：引用外部变量（Python 3.10+）

用()包裹变量，标记为外部引用而非模式变量：

def checkDuplicates(x, y, array):
    for l in array:
        match l:
            case [(x), (y)]:
                return False
            case [(x), (y), _]:
                return False
            case other:
                continue
    return True

更简洁的替代写法

如果不需要使用match语句，直接用条件判断会更直观：

def checkDuplicates(x, y, array):
    for item in array:
        if len(item) >= 2 and item[0] == x and item[1] == y:
            return False
    return True

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