Can't call get on an empty dict

Offen
#17,684 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit
4/5
Geschätzter Aufwand
3-5 Tage
Anfängerfreundlichkeit
43/100
Issue-Typ
Bug
Klarheit
Größtenteils klar
Aktivitätsstatus
Veraltet
Tech-Stack
python
Bereich
compilers

Rechercherichtung

Den Bericht mit dem a.py-Snippet und den angegebenen Mypy- und Python-Versionen reproduzieren. Nachverfolgen, wie der Ausdruck des leeren Wörterbuchs inferiert wird und wie die Overloads von dict.get ausgewählt werden; abgeschlossen ist die Aufgabe, wenn das Beispiel keinen Fehler erzeugt und einen Regressionstest hat.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

bug

Bug Report

Mypy complains when I try to call get on an empty dict.

To Reproduce

x = {}.get("x")

Expected Behavior

No error.

Actual Behavior

a.py:1: error: No overload variant of "get" of "dict" matches argument type "str"  [call-overload]
a.py:1: note: Possible overload variants:
a.py:1: note:     def get(self, Never, /) -> None
a.py:1: note:     def get(self, Never, Never, /) -> Never
a.py:1: note:     def [_T] get(self, Never, _T, /) -> _T
Found 1 error in 1 file (checked 1 source file)

Your Environment

  • Mypy version used: 1.11.1
  • Python version used: 3.12.4
Vorherrschende Sprache
Python
Sterne
20.6k
Forks
3.3k
Ø Merge
1 T. 18 Std.
Gemergte PRs (30 T.)
54

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
  3. Forken Sie das Repository und arbeiten Sie in einem Branch.
  4. Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus python/mypy

Alle Issues in python/mypy

Ähnliche Issues

Weitere Issues zu Python

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.