如何在Python中对内置类型slice进行结构化模式匹配？

你的代码无法正常运行的核心问题出在case int(i):这一行的写法上，Python的结构化模式匹配规则里，这种语法是用来解构可拆分的类型实例（比如tuple、dataclass、slice这类有明确字段/属性的类型），但int作为基础数值类型，不支持这种解构操作——它没有可提取的子元素，也没有定义__match_args__来指定解构规则，所以执行时会直接抛出异常，或者根本无法匹配到整数类型的索引。

而case slice(start, stop, step):的写法是完全正确的，因为slice类内置了__match_args__属性，明确了可以按start/stop/step三个属性进行解构匹配。

修复后的代码 #

你可以用两种方式修正整数类型的匹配逻辑：

方式一：使用类型守卫（兼容性更好） #

def __getitem__(self, index):
    match index:
        case i if isinstance(i, int):
            # 处理整数索引逻辑
            return self._data[i]
        case slice(start, stop, step):
            # 处理切片逻辑，start/stop/step会自动绑定对应值（默认None）
            return self._data[start:stop:step]
        case _:
            raise TypeError(f"Unsupported index type: {type(index)}")

方式二：使用类型绑定模式（Python 3.10+推荐） #

利用模式匹配的@操作符，同时完成类型匹配和变量绑定：

def __getitem__(self, index):
    match index:
        case i @ int():
            # 处理整数索引逻辑
            return self._data[i]
        case slice(start, stop, step):
            # 处理切片逻辑
            return self._data[start:stop:step]
        case _:
            raise TypeError(f"Unsupported index type: {type(index)}")

补充说明 #

• 如果你直接写case int():，也能匹配整数类型，但无法将匹配到的索引值绑定到变量，所以实际场景中一般会加上@来绑定变量方便后续使用。
• 对于自定义类，如果想支持类似case MyClass(a, b):的解构匹配，需要定义__match_args__属性，或者在类中实现__iter__方法（不过更推荐前者）。

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