Python模式匹配使用Union类型时报错called match pattern must be a type如何解决

Python 结构模式匹配的类模式规则要求：类名(参数)形式的匹配模式中，类名必须是实际存在的类对象，不能是Union类型别名。你定义的Node = Var | Val | Op是类型别名，本质是Union类型而非实际类，因此Node(left)的写法不符合匹配规则，触发报错。
另外你之前Op类的left、right字段标注的'Node'仅作静态类型检查用，运行时不会自动校验，所以确实可能出现值为None的情况。

有两种常用的修正方案：

方案1：使用模式内多类型匹配 #

直接在Op的属性匹配规则里枚举允许的三个类，不需要额外守卫：

match node:
    case Var(x):
        return x
    case Val(i):
        return str(i)
    case Op(operation, left=Var() | Val() | Op(), right=Var() | Val() | Op()):
        return "(" + node_to_str(left) + " " + operation + " " + node_to_str(right) + ")"

如果需要显式绑定变量，可以结合as语法：

case Op(operation, left=(Var() | Val() | Op()) as left_node, right=(Var() | Val() | Op()) as right_node):
    return "(" + node_to_str(left_node) + " " + operation + " " + node_to_str(right_node) + ")"

方案2：使用守卫子句做类型校验 #

复用你已经定义的Node类型别名，在匹配后加if守卫做运行时类型判断：

match node:
    case Var(x):
        return x
    case Val(i):
        return str(i)
    case Op(operation, left=left, right=right) if isinstance(left, Node) and isinstance(right, Node):
        return "(" + node_to_str(left) + " " + operation + " " + node_to_str(right) + ")"

这种写法更简洁，也能和你已有的Node类型定义复用。

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