`Enum` plugin should support `unique` check where possible
Nessuno ha ancora preso questa issue.
- 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
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- 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