如何使用Python模式匹配来匹配类类型

继续我在 comments 中所说的:match引入一个值，而case引入一个要匹配的模式.它不是要计算的表达式.如果模式表示一个类，则括号中的内容不会传递给构造函数，而是与值为match的属性进行匹配.下面是一个说明性的例子:

class Tree:
    def __init__(self, name):
        self.kind = name
    
def what_is(t):
    match t:
        case Tree(kind="oak"):
            return "oak"
        case Tree():
            return "tree"
        case _:
            return "shrug"

print(what_is(Tree(name="oak")))    # oak
print(what_is(Tree(name="birch")))  # tree
print(what_is(17))                  # shrug

注意，在case之外，Tree(kind="oak")将是一个错误:

TypeError: Tree.__init__() got an unexpected keyword argument 'kind'

相反，case Tree(name="oak")永远不会匹配，因为我的示例中的Tree个实例通常没有名为name的属性.

这证明了case不会调用构造函数，即使它看起来像一个实例化.

编辑:关于你的第二个错误:你写了case type(Tree()):分，得到了TypeError: type() accepts 0 positional sub-patterns (1 given)分.这里发生的事情是这样的:case type(...)再次指定了一个模式.它不会作为表达式进行计算.它说匹配值需要是类型type(即是一个类)，并且必须在括号中有属性.例如,

match Tree:
    case type(__init__=initializer):
        print("Tree is a type, and this is its initializer:")
        print(initializer)

这将匹配，并打印类似于

# => Tree is a type, and this is its initializer:
#    <function Tree.__init__ at 0x1098593a0>

同样的case将not匹配类型Tree的对象，只匹配类型本身！

但是，在本例中只能使用关键字参数.位置参数只有在定义为__match_args__的情况下才可用，如文档所述.类型type没有定义__match_args__，并且因为它是一个不可变的内置类型，所以case type(subpattern, ...)(子模式！not子表达式！)与case type(attribute=subpattern, ...)不同，它总是会产生错误.