Según el ticket de mypy #9761 "Supporting Python 3.9", mypy 0.791 aún no soporta las extensiones de python 3.9 para anotaciones list[int]
(así como otros constructores habituales: list
, set
, dict
, tuple
).
En cambio, sí que funciona con las colecciones estándar. Si no se quiere esperar a la nueva versión de mypy
, una buena solución sería usar la colección MutableSequence
:
from collections.abc import Generator, MutableSequence
class Primes:
def __init__(self):
self.subprimes: MutableSequence[int] = []
def gen_primes() -> Generator[int, None, None]:
subprimes: MutableSequence[int] = []
for i in subprimes:
yield i
Aunque me temo que con el tiempo se hará más popular el uso de list
que MutableSequence
en las anotaciones de tipos.
EDITADO: diferencias entre list
y MutableSequence
.
Sólo por dejar constancia, list
se puede considerar subclase de Sequence/MutableSequence
, pero no equivalente.
Como puede leerse en el glosario:
Los Iteradores tienen que tener un método __iter__()
que retornan a sí mismos como objetos iteradores, con lo que cada iterador es también iterable y puede ser usado en la mayoría de sitios que aceptan iterables. Una notable excepción es el código que efectúa múltiples pasadas de iteración. Un objeto contenedor (como list
) crea un nuevo iterador fresco cuando se pasa a la función iter()
o cuando se usa en un bucle for. Si se intenta esto con un iterador se obtiene el mismo objeto iterador exhausto, resultado de la iteración anterior, lo que pasaría a verse como un contendor vacío.
Si cambio subprimes
para que sea MutableSequence
, hay que tener en cuenta este problema con las múltiples iteraciones.
Por ejemplo:
subprimes: MutableSequence[int]
for i in subprimes:
yield i
for i in subprimes:
yield i
Como instancias de MutableSequence
podríamos usar list
y deque
.
Si usamos una lista, subprimes = [...]
, ambos bucles recorrerán la lista por completo.
En cambio, si usamos subprimes = deque([...])
, sólo se recorrerá la lista la primera vez, ya que el iterador permacerá exhausto cuando se realize el siguiente bucle.
En mi caso, necesito recorrer varias veces las listas, por lo que no es correcto que aparezcan anotadas con el tipo MutableSequence
. A pesar del error que da mypy, dejaré la anotación correcta de list[int]
.