能否在Python结构化模式匹配中为可选元素指定默认值？

Python的结构化模式匹配不支持在case语句里直接给绑定变量设置默认值——你尝试的方案3写法属于无效语法，这是语言本身的限制。不过我们可以用更简洁的方式实现需求，不用像方案1那样写冗余的校验逻辑。

现有方案问题分析 #

• 方案1：可行但冗余，需要手动校验output的长度，还重复了错误处理逻辑。
• 方案2：因为两个模式分支绑定的变量不一致（一个有output，一个没有），违反了模式匹配的语法规则，所以触发SyntaxError。
• 方案3：Python的模式语法不支持这种直接给绑定变量赋值默认值的写法，属于语法错误。

优化实现方案 #

方案1：拆分合法分支（最清晰） #

把两种合法情况（2个或3个slugs）拆成两个case分支，统一在非法分支抛出错误：

match e:
    case Expr(slugs=["flows", step]):
        output = None
    case Expr(slugs=["flows", step, output]):
        pass  # output已绑定第三个slug的值
    case _:
        raise Exception("Invalid expression")

这个写法逻辑清晰，没有冗余校验，所有非法格式都统一落到最后一个case处理，避免了重复错误逻辑。

方案2：用尾捕获简化（更紧凑） #

如果不想拆分分支，可以用*捕获剩余元素，再通过简单逻辑赋值默认值，同时保留长度校验：

match e:
    case Expr(slugs=["flows", step, *rest]):
        if len(rest) > 1:
            raise Exception("Invalid expression")
        output = rest[0] if rest else None
    case _:
        raise Exception("Invalid expression")

这个写法比你原来的方案1更紧凑，校验逻辑也只写了一次。

方案3：自定义类匹配逻辑（进阶） #

如果Expr类经常需要这类模式匹配，可以给它定义__match_args__来简化模式写法：

class Expr:
    __match_args__ = ('slugs',)  # 指定模式匹配时默认绑定的属性
    def __init__(self):
        self.slugs = ["flows", "step1"]

# 使用时的模式更简洁
match e:
    case Expr(["flows", step]):
        output = None
    case Expr(["flows", step, output]):
        pass
    case _:
        raise Exception("Invalid expression")

内容的提问来源于stack exchange，提问作者Robin De Schepper