about Iterable[T] and str

Aperta
#14,275 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

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

Direzione di ricerca

Non è indicato alcun file sorgente né alcun test. Inizia riproducendo lo snippet con mypy 0.991 su Python 3.9, quindi esamina come il restringimento dei tipi gestisce isinstance(it, str) per Iterable[T]. Il lavoro è completato quando è stato stabilito il comportamento supportato o un workaround e, se viene confermato che si tratta di un bug, è stato aggiunto un test di regressione.

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

Descrizione

bug topic-type-narrowing 
from typing import *

T = TypeVar("T")

def f(it: Iterable[T]) -> list[T]:
    if isinstance(it, str):
        ret = it.split(",")  # <nothing> has no attribute "split"
    else:
        ret = list(it)
    return ret

It looks ok, but I get a problem in mypy: <nothing> has no attribute "split".
Is it the only way to solve this problem that I use # type ignore?

Your Environment

  • Mypy version used: 0.991
  • Python version used: 3.9
  • os: win11
Lingua principale
Python
Stelle
20.6k
Fork
3.3k
Merge medio
1g 18h
PR unite (30g)
54

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.

Altre issue di python/mypy

Tutte le issue di python/mypy

Issue simili

Altre issue su Python

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.