python / python/mypy

`Enum` plugin should support `unique` check where possible

Aperta
#10,858 2 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

feature topic-enum
Lingua principale
Python
Stelle
20.6k
Fork
3.3k
Metriche di merge delle PR
Metriche PR in attesa

Descrizione

Feature

After https://github.com/python/mypy/pull/10852 is merged we can work on making @enum.unique to check for actually unique values.

Right now it does nothing. In other words, this code passes mypy check:

from enum import Enum, unique

@unique
class A(Enum):
   x = 1
   y = 1

But, fails in runtime:

Traceback (most recent call last):
  File "ex.py", line 4, in <module>
    class A(Enum):
  File "/Users/sobolev/.pyenv/versions/3.8.9/lib/python3.8/enum.py", line 969, in unique
    raise ValueError('duplicate values found in %r: %s' %
ValueError: duplicate values found in <enum 'A'>: y -> x

But, since after #10852 all fields would be implicitly final and their values will be inferred as Literal types, this gives us some space to check that we have unique literal values inside mypy/plugins/enums.py

Corner case

We should ignore any non-Literal values from this check:

def rand_int() -> int:
    ...

@unique 
class A(Enum):
    x = rand_int()
    y = rand_int()
    z = 0

This can even raise in runtime if x or y is 0, but we have no way of knowing this in advance.

Related #5599
Related #10857

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

Dopo aver confermato il lavoro preliminare richiesto in #10852, inizia da mypy/plugins/enums.py e analizza come i valori dei campi Enum vengono inferiti come tipi Literal. Implementa il controllo @enum.unique per i valori Literal duplicati, ignorando i valori non-Literal, quindi verifica gli esempi e il caso limite descritti nell'issue.

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

Valutazione

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

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.