`collections.abc.Set` does not support `Iterable` s in some dunder methods
Ouverte
- Langage dominant
- Python
- Étoiles
- 5.1k
- Forks
- 2.1k
- Merge moyen
- 1 j 19 h
- PR mergées (30 j)
- 82
Description
While their implementation even specifically checks whether operand is an instance of an Iterable (for example: https://github.com/python/cpython/blob/c779f2324df06563b4ba3d70d0941e619ccaf5ff/Lib/_collections_abc.py#L628)
from collections.abc import Set
from typing import Iterable, Iterator
class S[T](Set[T]):
def __init__(self, s: Iterable[T] | None = None) -> None:
super().__init__()
self._set: set[T] = set(s) if s else set()
def __contains__(self, value: object) -> bool:
return value in self._set
def __iter__(self) -> Iterator[T]:
return iter(self._set)
def __len__(self) -> int:
return len(self._set)
def add(self, value: T) -> None:
self._set.add(value)
def discard(self, value: T) -> None:
self._set.discard(value)
def __repr__(self) -> str:
return self._set.__repr__()
s = S[int]((1,2,3))
print(s & [4])
print(s | ("4",))
print(s - [1])
print(s ^ ("1",))
$ mypy t.py
t.py:29: error: Unsupported operand types for & ("S[int]" and "list[int]") [operator]
t.py:30: error: Unsupported operand types for | ("S[int]" and "tuple[str]") [operator]
t.py:31: error: Unsupported operand types for - ("S[int]" and "list[int]") [operator]
t.py:32: error: Unsupported operand types for ^ ("S[int]" and "tuple[str]") [operator]
Found 4 errors in 1 file (checked 1 source file)
$ python3 t.py
set()
{1, 2, 3, '4'}
{2, 3}
{1, 2, 3, '1'}
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Commencez par la pull request liée #14653 et l’implémentation référencée de Lib/_collections_abc.py ; comparez les signatures des opérateurs de Set avec le comportement à l’exécution présenté dans t.py. C’est terminé lorsque les opérandes Iterable signalés sont représentés correctement et que la commande mypy ne signale plus ces quatre erreurs d’opérateur.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- tooling
- Type d'issue
- Bug
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 25/100