为何在参数中使用泛型self类型存在安全性问题？

文档说明 #

注意：为支持常见编程习惯，mypy允许以某些不安全的方式使用泛型self类型。例如，在参数类型中使用泛型self类型虽存在风险，但仍会被接受。

文档给出的示例代码：

from typing import TypeVar

T = TypeVar("T")

class Base:
    def compare(self: T, other: T) -> bool:
        return False

class Sub(Base):
    def __init__(self, x: int) -> None:
        self.x = x

    # 此处存在安全风险（见下文）但仍被允许，因这是常见模式且实际中极少引发问题。
    def compare(self, other: Sub) -> bool:
        return self.x > other.x

b: Base = Sub(42)
b.compare(Base())  # 此处会触发运行时错误：'Base'对象没有属性'x'

核心问题解析 #

你认为问题出在变量b的类型标注不够精确（标注为Base但实际是Sub实例），这个理解没错，但文档要强调的不安全点和泛型self的设计直接相关：

当Base类用self: T标注时，本意是约束other参数和self为同一具体类型。但子类Sub重写compare方法时，把other直接指定为Sub，这就破坏了父类的泛型约束逻辑——从类型检查的角度，b被标注为Base，调用b.compare(Base())是符合父类compare(self: Base, other: Base)的类型要求的，所以mypy不会报错。但运行时b实际是Sub实例，执行的是Sub.compare方法，该方法要求other是Sub，传入Base实例自然会触发属性不存在的错误。

简单说：这种写法让类型检查通过的代码，在运行时可能因为实际类型和标注类型不匹配抛出异常，这就是文档说的“不安全”。

正确实现方式 #

要实现“接收与self同类型对象作为参数”的方法，有两种可靠方式：

方式1：泛型父类 #

让父类成为泛型类，通过泛型参数约束子类的类型：

from typing import TypeVar, Generic

T = TypeVar("T", bound="Base")

class Base(Generic[T]):
    def compare(self: T, other: T) -> bool:
        return False

class Sub(Base["Sub"]):
    def __init__(self, x: int) -> None:
        self.x = x

    def compare(self, other: "Sub") -> bool:
        return self.x > other.x

# 正确用法
b: Sub = Sub(42)
b.compare(Sub(24))  # 类型检查通过，运行正常
# 如果写 b: Base = Sub(42); b.compare(Base())，mypy会直接触发类型错误，提前拦截风险

方式2：使用Self类型（Python 3.11+） #

Python 3.11及以上支持Self类型，低版本可通过typing-extensions库兼容，写法更直观：

from typing import Self

class Base:
    def compare(self, other: Self) -> bool:
        return False

class Sub(Base):
    def __init__(self, x: int) -> None:
        self.x = x

    def compare(self, other: Self) -> bool:
        return self.x > other.x

b: Sub = Sub(42)
b.compare(Sub(24))  # 类型检查通过
# 若尝试 b: Base = Sub(42); b.compare(Base())，mypy会直接报错

这两种方式都能让类型检查器准确约束other参数必须和self是同一具体类型，从根源避免“类型检查通过但运行报错”的问题。

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