mypy：如何在通用类中声明返回自我的返回类型？

Question

这个答案似乎对仿制药不起作用。 Mypy在选中以下代码时抱怨“错误：丢失通用类型A的类型参数”。我尝试使用'a [t]'为TypeVar使用，但Mypy说“错误：类型变量t是未结合的”。我还尝试使用anya [t]作为get的返回类型，但这会产生两个错误消息，即已知的“错误：丢失通用类型A的类型参数”新的错误消息“与参数一起使用的变量Anya类型”。

如何正确指定get的返回类型？

import typing

T = typing.TypeVar('T')
AnyA = typing.TypeVar('AnyA', bound='A')

class A(typing.Generic[T]):

    def __init__(self, val: T) -> None:
        self.val = val

    def get(self: AnyA) -> AnyA:
        return self

class B(A[T]):
    def is_int(self) -> bool:
        return isinstance(self.val, int)


if __name__ == '__main__':
    b = B(42)
    print(b.get().is_int())

Answer 1

我知道在这里键入的三种方法：

声明内部自我型

这种方法在mypy文档中描述，请参见替代构造函数的精确键入。

class A(typing.Generic[T]):
    _Self = typing.TypeVar('_Self', bound='A[T]')

    def __init__(self, val: T) -> None:
        self.val = val

    def get(self: _Self) -> _Self:
        return self

但是请注意，这是mypy - 特定的东西，可能无法与其他检查器一起使用。例如pyre尚不支持内部自我类型。

使用_Typeshed.Self

这保存了声明的自定义类型的样板，但需要从Typeshed中导入一些晦涩的导入，而在运行时会失败。因此，它必须由typing.type_checking：

from typing import Any, TYPE_CHECKING

if TYPE_CHECKING:
    from _typeshed import Self
else:
    Self = Any

class A(typing.Generic[T]):
    def __init__(self, val: T) -> None:
        self.val = val

    def get(self: Self) -> Self:
        return self

_typeshed.Self创建以首先在自定义存根中使用，但也适用于内联键入。

python 3.11及向上：typing.self

最近引入的 pep 673 将self添加到stdlib，因此从python 3.11开始，一个人将能够使用：

from typing import Self

class A(typing.Generic[T]):
    def __init__(self, val: T) -> None:
        self.val = val

    def get(self: Self) -> Self:
        return self

mypy现在不支持这一点，但是到目前为止来自版本1.1.184的Pyright 。