Início / coding / Perguntas / 78703537
Accepted
Intrastellar Explorer
Asked: 2024-07-04 01:41:57 +0800 CST

Por que o Python não permite genéricos com verificações de isinstance?

  • 772

Executando o código abaixo com Python 3.12.4:

from typing import Generic, TypeVar

T = TypeVar("T")

class Foo(Generic[T]):
    def some_method(self) -> T:
        pass

isinstance(Foo[int](), Foo[int])

Isso lançará um TypeError: Subscripted generics cannot be used with class and instance checks.

Traceback (most recent call last):
  File "/path/to/a.py", line 9, in <module>
    isinstance(Foo[int](), Foo[int])
  File "/path/to/.pyenv/versions/3.12.4/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/typing.py", line 1213, in __instancecheck__
    return self.__subclasscheck__(type(obj))
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/path/to/.pyenv/versions/3.12.4/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/typing.py", line 1216, in __subclasscheck__
    raise TypeError("Subscripted generics cannot be used with"
TypeError: Subscripted generics cannot be used with class and instance checks

Qual foi a razão para o Python não permitir isinstanceverificações com Generics?

python

1 respostas

  1. Best Answer

    Em tempo de execução, os argumentos de tipo não são verificáveis. Tais relacionamentos são verificados apenas no momento da verificação de tipo:

    Observe que o tipo de tempo de execução (classe) das [variáveis ​​fornecidas como exemplo] ainda é justo Node– Node[int]e Node[str]são objetos de classe distinguíveis, mas a classe de tempo de execução dos objetos criados pela instanciação deles não registra a distinção. Esse comportamento é chamado de "apagamento de tipo"; é uma prática comum em linguagens com genéricos (por exemplo, Java, TypeScript).

    — Genéricos - Especificação para o sistema de tipos Python

    Por exemplo, se isinstance(..., list[str])fosse tratado em isintansce(..., list), o resultado seria muito confuso:

    >>> a = [1, 2, 3]
>>> isinstance(a, list[str])
True

    Considere também o caso em que os argumentos de tipo não são concretos:

    def is_list_of(v: Any, element_type: type[T]) -> TypeIs[list[T]]:
    return isinstance(v, list[T])  # ???

    Este sempre foi o caso desde o PEP 484, embora não muito explicitamente ( Callable e Generics são duas seções diferentes, e esta nota parece significar algo um pouco diferente do que consideramos, embora conceitualmente o mesmo):

    [...] isinstance(x, typing.Callable[...])não é suportado.

    No entanto, existem verificadores de tipo de tempo de execução que fazem esse tipo de trabalho pesado, como o Pydantic.

    Historicamente, a nota PEP 484 foi adicionada neste commit , e problemas relacionados ao apagamento de tipo foram discutidos nesta edição do GitHub . Parece que o GvR e outros contribuidores inicialmente se opuseram Node[int]()(que funcionava em tempo de execução, mas muito lento, e foi proibido pelo Mypy) devido a problemas de desempenho.

    • 1

relate perguntas