python - mypy: "__getitem__"的签名与父类(super class)型 "Sequence"不兼容

Question

我有一个继承自 MutableSequence 的类，如下所示:

class QqTag(MutableSequence):
    def __init__(self):
        self._children = []
    def __getitem__(self, idx: int) -> 'QqTag':
        return self._children[idx]

mypy 提示 Signature of "__getitem__"incompatible with supertype "Sequence"。

在Sequence中，这个方法定义为:

@abstractmethod
def __getitem__(self, index):
    raise IndexError

那么，问题是什么？为什么 mypy 对我的实现不满意？

Answer 1

评论中提到，也可以传递一个typeof切片。即，将 idx: int 更改为 idx: Union[int, slice]。

这会让 mypy 开心(至少在我的机器上是这样；):

class QqTag(MutableSequence):
    def __init__(self):
        self._children = []

    def __getitem__(self, idx: Union[int, slice]) -> 'QqTag':
        return self._children[idx]