Python子类重写成员时，是否需重复标注基类已有的类型提示？

在Python的类型提示规范（如PEP 484）里，针对子类重写基类已有类型标注的方法，有明确的潜规则：

• 不需要重复写基类已定义的参数类型和返回类型。像mypy、pyright这类主流类型检查器，会自动继承基类的类型信息，哪怕子类不写，也能正确识别方法的类型约束。
• 重复标注并非错误，但属于冗余代码，会提升维护成本——要是后续基类的类型修改了，所有子类重写的地方都得同步更新，反而容易出问题。
• 唯一的例外：如果子类重写时改变了参数或返回类型（比如符合协变/逆变规则的类型调整），这时候必须显式标注新的类型，不然类型检查器会抛出错误。

拿你给出的示例来说，子类的get_greeting方法完全可以简化成这样：

class Derived(Base):
    def get_greeting(self):
        return f"My name is {self.name}."

类型检查器依然会认定它的返回类型是str，和基类的定义保持一致。

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