python / python/mypy

Strange behavior with dataclass InitVar

Aperta
#8,439 3 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

bug priority-1-normal topic-dataclasses topic-usability
Lingua principale
Python
Stelle
20.6k
Fork
3.3k
Metriche di merge delle PR
Metriche PR in attesa

Descrizione

Wondering what is going on here for the cases 3-6. Running it with --strict, mypy version is 0.761.

import dataclasses
from dataclasses import dataclass, InitVar
from functools import partial

dataclass_alias = dataclass
dataclass_partial = partial(dataclass, frozen=True)
dataclass_decorator = dataclass(frozen=True)

# 1. ok
@dataclass(frozen=True)
class X1:
    value: InitVar[bool] = None


# 2. ok
@dataclasses.dataclass(frozen=True)
class X2:
    default: InitVar[bool] = None


# 3. error: Incompatible types in assignment (expression has type "None", variable has type "InitVar[bool]")
@dataclass_alias(frozen=True)
class X3:
    default: InitVar[bool] = None


# 4. error: Incompatible types in assignment (expression has type "None", variable has type "InitVar[bool]")
@dataclass_partial
class X4:
    default: InitVar[bool] = None

# 5a. error: Too many arguments for "object"
# 5b. error: Incompatible types in assignment (expression has type "None", variable has type "InitVar[bool]")
@dataclass_partial()
class X5:
    default: InitVar[bool] = None


# 6. error: Incompatible types in assignment (expression has type "None", variable has type "InitVar[bool]")
@dataclass_decorator
class X6:
    default: InitVar[bool] = None

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

Inizia riproducendo i casi forniti con mypy 0.761 e confronta il modo in cui viene analizzata ciascuna forma del decoratore dataclass. Traccia la gestione di InitVar e degli alias o parziali del decoratore; il lavoro è completato quando i casi hanno un risultato documentato e coerente, insieme a diagnostica o test appropriati.

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

Valutazione

Stack tecnologico
python
Ambito
tooling
Tipo di issue
Bug
Difficoltà
4/5
Tempo stimato
3-5 giorni
Stato di attività
Ferma
Chiarezza
Da chiarire
Idoneità per principianti
35/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.