4元素Union类型模式匹配中，为何第二个模式后其余模式不可达？

首先定义了一些类型：

from dataclasses import dataclass
from typing import Tuple,Union

@dataclass
class Point:
    x: float
    y: float

myPoint= Tuple[int,int]

otherPoint = Union[Tuple[int,int,int] , Tuple[int,int,str]]  

Shape = Union[Point , myPoint ,otherPoint]

通过print(Shape)可以看到，Shape是包含4个元素的Union类型：

typing.Union[main.Point, typing.Tuple[int, int], typing.Tuple[int, int, int], typing.Tuple[int, int, str]]

但以下代码无法运行：

def print_shape(shape: Shape):
    match shape:
        case Point(x, y):
            print(f"Point {x} {y}")
        case myPoint as mp:
            print(f"{mp[0]}{mp[1]}")
        case _ :
           print("point 3d")
print(Shape)
print_shape(Point(1, 2))
print_shape((5, 7))

报错信息如下：

case myPoint as mp:
^^^^^^^
SyntaxError: name capture 'myPoint' makes remaining patterns unreachable

理论上匹配myPoint后还应有另外2种模式。
注：若注释掉case _:，代码可正常运行并得到预期结果：

Point 1 2
57

请问为何会出现该语法错误，导致后续模式无法被匹配？

核心问题在于你误解了Python match-case的工作逻辑：case myPoint as mp并不是匹配myPoint这个类型别名对应的元组，而是在做变量捕获。

简单来说，myPoint在这里会被当成一个普通变量名，不管输入是什么值，都会被绑定到myPoint变量上，as mp只是把同一个值再绑定到mp。这就导致这个case会匹配所有前面没命中的内容，后面的case _:永远不会被执行，Python检测到这种“不可达代码”就直接抛出语法错误了。

要匹配Tuple[int, int]类型的元组，你得直接写元组的结构模式，比如：

case (x, y) as mp:
    print(f"{mp[0]}{mp[1]}")

这样才会精准匹配长度为2的元组，对应你定义的myPoint类型。

如果要区分otherPoint里的两种3元组，还可以继续细化case：

def print_shape(shape: Shape):
    match shape:
        case Point(x, y):
            print(f"Point {x} {y}")
        case (x, y) as mp:
            print(f"{mp[0]}{mp[1]}")
        case (x, y, z) if isinstance(z, int):
            print(f"3D int point {x} {y} {z}")
        case (x, y, z) if isinstance(z, str):
            print(f"3D str point {x} {y} {z}")
        case _ :
           print("unknown shape")

总结：Python的match-case是结构模式匹配，不是直接的类型匹配（除非结合isinstance判断或匹配类实例），类型别名没法直接放到case里当匹配条件，你得把类型对应的结构写出来才行。

内容的提问来源于stack exchange，提问作者Pierre-olivier Gendraud