python / python/mypy

__contains__ is not reconize as a None check

Aperta
#10,439 4 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

bug topic-type-narrowing
Lingua principale
Python
Stelle
20.6k
Fork
3.3k
Metriche di merge delle PR
Metriche PR in attesa

Descrizione

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)

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Direzione di ricerca

Nell’issue non sono indicati file o test. Inizia riproducendo i due esempi con mypy e analizza il comportamento del controllo dei tipi per None in ordered_tuple; il lavoro è completato quando la prima versione viene accettata con il restringimento previsto da una tupla Optional a una tupla non-Optional, mentre il workaround esistente rimane valido.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico
python
Ambito
devtools
Tipo di issue
Bug
Difficoltà
3/5
Tempo stimato
1-2 giorni
Stato di attività
Ferma
Chiarezza
Abbastanza chiara
Idoneità per principianti
32/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.