python / python/mypy

__contains__ is not reconize as a None check

Abierto
#10,439 4 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

bug topic-type-narrowing
Lenguaje dominante
Python
Estrellas
20.6k
Forks
3.3k
Merge medio
1 d 18 h
PR fusionados (30 d)
54

Descripción

I am struggling a bit on making mypy validate the type of an Iterable containing Optional:

def func_1(address: Address) -> Optional[float] :
    ...

def func_2(addresses: Tuple[Addresses, ...]) -> Optional[Tuple[float, ...]]:
    ordered_tuple = tuple(
        func_1(address)
        for address in addresses)
    return ordered_tuple if not None in ordered_tuple else None

Mypy seems to do not recognize the check if not None in ordered_tuple else None.
A workaround that I found is to check all the values returned by func_1 :

def func_1(address: Address) -> Optional[float] :
    ...

def func_2(addresses: Tuple[Addresses, ...]) -> Optional[Tuple[float, ...]]:
    ordered_list = []
    for address in addresses:
        value = func_1(address)
        if value is not None:
            ordered_list.append(value)
        else:
            return None
    return tuple(ordered_list)

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Línea de trabajo

En el issue no se nombra ningún archivo ni prueba. Empieza reproduciendo los dos ejemplos con mypy e inspecciona el comportamiento de la comprobación de tipos para None in ordered_tuple; se considera terminado cuando la primera versión se acepta con el estrechamiento previsto de una tupla Optional a una tupla no Optional, mientras que la solución alternativa existente sigue siendo válida.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Stack tecnológico
python
Área
devtools
Tipo de issue
Error
Dificultad
3/5
Tiempo estimado
1-2 días
Estado de actividad
Estancado
Claridad
Bastante claro
Aptitud para principiantes
32/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.