Início / coding / Perguntas / 79598239
Accepted
jb78685
Asked: 2025-04-29 19:18:51 +0800 CST

Como um atributo de instância do mesmo tipo que o tipo de instância é sugerido?

  • 772

Estou tentando atribuir uma variável a uma instância de uma classe de forma que a variável seja do mesmo tipo. Quero usar a própria instância na construção da variável. Para ser compatível com herança, quero usar a sugestão de tipo como, Selfem vez da classe.

As seguintes obras:

class Foo:

    var: "Foo"

    def bar(self) -> None:
        self.var = self

No entanto, varestá marcado como sendo do tipo , Fooem vez de Self. O que eu quero é:

from typing import Self

class Foo:

    var: Self

    def bar(self) -> None:
        self.var = self

Neste caso, o mypy me dá a seguinte mensagem:

error: Incompatible types in assignment (expression has type "Foo", variable has type "Self")  [assignment]

Claramente, selfnão é considerado como sendo do tipo, Selfmas somente do tipo Foo.

python

1 respostas

  1. Best Answer

    PEP 673 (ref https://peps.python.org/pep-0673/ ) introduzido typing.Selfno Python 3.11 para permitir que você escreva:

    from typing import Self

class Foo:
    def clone(self) -> Self:
        …

    para que em subclasses clone()seja reconhecido como retornando o tipo da subclasse. Mas, no momento, mypy só aceita casos especiais Selfem assinaturas de métodos , não em anotações de atributos no nível de classe. Então, quando você escreve:

    class Foo:
    var: Self

    def bar(self) -> None:
        self.var = self

    O mypy ainda trata Selfin var: Selfcomo "a classe atual" (ou seja, Foo) e reclama quando você atribui self(o que ele digita como Foo) a algo que ele considera ser Self(o tipo desconhecido de ligação tardia). É essencialmente um bug/limitação no tratamento de anotações de atributos de ligação tardia pelo mypy.

    O PEP tem exemplos usando TypeVar. Sugiro combinar isso com genérico para criar uma solução alternativa.
    Por exemplo,

    from typing import Generic, TypeVar

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

class Foo(Generic[T]):
    var: T        # var is *exactly* whatever subclass type T is

    def bar(self: T) -> None:
        # now mypy knows `self` is of type T, and var is typed T,
        # so this assignment is safe
        self.var = self

    Alternativamente, se você quiser uma "solução rápida", basta anotar var com o nome da classe, como você já fez no seu OP.

    • 2

relate perguntas