我希望将方法参数约束为与调用它的类相同的类型（请参阅末尾的示例）。 当我试图这样做的时候，我遇到了这样的行为，我很难让自己的头脑清醒过来。

以下内容不键入检查

class A:
    def foo(self) -> None:
        pass

A.foo(1)

与

错误:“A”的“foo”的参数1具有不兼容的类型“int”； 应为“A”

正如我所预料的，因为我认为a.foo应该只接受一个a。 但是，如果我添加了self类型

from typing import TypeVar

Self = TypeVar("Self")

class A:
    def foo(self: Self) -> None:
        pass

A.foo(1)

它进行类型检查。 我本以为它会失败，告诉我需要传递一个a，而不是一个int。 这表明类型检查器为self推断类型a，添加一个self类型将覆盖该类型，我猜是为object。 这符合错误

from typing import TypeVar

Self = TypeVar("Self")

class A:
    def bar(self) -> int:
        return 0

    def foo(self: Self) -> None:
        self.bar()

错误:“self”没有属性“bar”

如果绑定为self=TypeVar（“self”，bound='a')，则可以修复

这意味着self没有受到约束，例如，我期望this在Scala中受到约束的方式是对的吗？

我猜只有当我有意或无意地将self的类型指定为它所定义的类以外的任何类型时，这才会有影响。 我还很想知道将self重写为另一种类型会有什么影响，以及它对Python解析和调用方法的方式是否有意义。

上下文

我想做一些像这样的事情

class A:
    def foo(self: Self, bar: List[Self]) -> Self:
        ...

但我原以为self会被限制为a，但很惊讶，事实并非如此。