为什么Python模式匹配时列表[1]会匹配到元组(1,)分支？

结论 #

你观察到的运行行为完全符合Python结构模式匹配的设计规范，不属于解释器bug。

核心设计逻辑 #

• 首先case (1,)属于序列模式：序列模式的匹配逻辑不校验容器的具体类型，仅校验三个特征：匹配对象是可迭代对象、长度和模式一致、对应位置的元素值和模式一致。因此列表[1]满足「长度为1、首个元素为1」的条件，会优先命中第一个分支，输出tuple (1,)是符合设计的正常行为。
• 替换为case tuple((1,))后属于类模式：类模式的匹配逻辑会首先做类型校验，只有匹配对象是指定类的实例时，才会继续校验内部的结构。因此list类型的[1]无法通过tuple的类型校验，不会命中该分支，会继续向下匹配到case [1]的序列模式，输出和预期一致。
• 补充说明：同理case [1]也属于序列模式，如果你传入元组(1,)且第一个分支不命中的前提下，也会命中case [1]分支。如果需要明确限制匹配列表类型，可以写成case list([1])。

内容的提问来源于stack exchange，提问作者John Z. Li