子类用@overload重载抽象方法的具体实现时，为何mypy未触发LSP相关报错？

这个问题其实涉及到对Liskov替换原则（LSP）和mypy类型检查逻辑的细节理解，我来一步步给你拆解：

先明确LSP的核心要求 #

LSP的关键是：子类必须能完全替换父类，而不破坏原有程序的正确性。反映到方法签名上，有两个核心规则：

• 方法参数类型：子类参数类型必须是父类参数类型的超类型（也就是能接受父类能处理的所有输入，甚至更多）——这叫参数的逆变特性。
• 方法返回类型：子类返回类型必须是父类返回类型的子类型（也就是返回的结果比父类更具体）——这叫返回值的协变特性。

你的代码为什么符合LSP #

来看你的具体实现：

1. 重载签名的兼容性：
   你的子类IndexRepository里，第一个@overload签名async def update(self, index: str) -> bool和父类AbstractRepository[str]的update方法签名完全一致。这就保证了所有针对父类的调用逻辑（比如传入str类型的参数），换成子类实例后依然能正常执行，完全满足LSP的基础要求。

2. 扩展输入范围是允许的：
   你额外添加的第二个重载（接受list[str]），是在父类的基础上扩展了方法的输入能力，而不是缩小。LSP禁止的是“子类无法处理父类能接受的输入”，但扩展输入范围只会让子类更灵活，不会破坏原有基于父类的代码逻辑——毕竟原来的调用方只会传str，子类完全能处理，多出来的能力只是给新的调用方用的。

3. 实现签名的类型兼容性：
   你实际实现的签名是async def update(self, index: Union[str, list[str]]) -> bool，这个Union[str, list[str]]是父类参数类型str的超类型（因为str是Union的一部分），完全符合参数逆变的要求。mypy会识别到这种兼容性，所以不会触发LSP相关的报错。

反例：什么样的情况会触发LSP报错 #

如果你的子类重载只保留接受list[str]的版本，完全不处理str类型，那mypy肯定会报错。比如：

class BadIndexRepository(AbstractRepository[str]):
    @overload
    async def update(self, index: list[str]) -> bool:
        ...

    async def update(self, index: list[str]) -> bool:
        return False

这时候子类无法处理父类要求的str类型输入，违反了LSP，mypy就会提示“Signature of "update" incompatible with supertype "AbstractRepository""。

备注：内容来源于stack exchange，提问作者Siddhant Tandon