Introduce an Intersection

Offen

#213 erstellt am 06.5.2016 272 Kommentare 515 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 5/5
Geschätzter Aufwand: Über eine Woche
Anfängerfreundlichkeit: 25/100

Issue-Typ: Feature
Klarheit: Größtenteils klar
Aktivitätsstatus: Ruhig
Tech-Stack: python
Bereich: tooling

Rechercherichtung

Beginne damit, die vorherige Diskussion in Issue #18 und die Beispiele in diesem Issue zu lesen, und sieh dir anschließend die hier noch offene Diskussion an. Das Issue nennt keine Dateien, Tests oder Einstiegspunkte; abgeschlossen wäre die Aufgabe mit einem abgestimmten Design und einer Implementierung für Intersection, die den demonstrierten Anwendungsfall unterstützt.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

topic: feature

This question has already been discussed in #18 long time ago, but now I stumble on this in a practical question: How to annotate something that subclasses two ABC's. Currently, a workaround is to introduce a "mix" class:

from typing import Iterable, Container

class IterableContainer(Iterable[int], Container[int]):
    ...

def f(x: IterableContainer) -> None: ...

class Test(IterableContainer):
    def __iter__(self): ...
    def __contains__(self, item: int) -> bool: ...

f(Test())

but mypy complains about this

error: Argument 1 of "__contains__" incompatible with supertype "Container"

But then I have found this code snippet in #18

def assertIn(item: T, thing: Intersection[Iterable[T], Container[T]]) -> None:
    if item not in thing:
        # Debug output
        for it in thing:
            print(it)

Which is exactly what I want, and it is also much cleaner than introducing an auxiliary "mix" class. Maybe then introducing Intersection is a good idea, @JukkaL is it easy to implement it in mypy?

Vorherrschende Sprache: Python
Sterne: 1.8k
Forks: 302
Ø Merge: 23 Std.
Gemergte PRs (30 T.): 8

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Erste Schritte

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

Mehr aus python/typing

Spec: `Final` section could use better definition for `Final` vs. `Final[X]` Offen

topic: typing spec

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100

python/typing#2356 · 2 Kommentare · 1 Reaktion · Erstellt am 02.9.2026
Spec: PEP leftovers in the spec for literals Offen

topic: typing spec

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 75/100

python/typing#2355 · Erstellt am 01.9.2026
Update reference/generics.html with PEP695 type parameter syntax Offen

topic: documentation

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100

python/typing#2227 · 2 Kommentare · Erstellt am 25.3.2026
Remove PEP references in Typing Python Libraries guide Offen

topic: documentation

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 65/100

python/typing#2150 · 2 Kommentare · 2 Reaktionen · Erstellt am 12.1.2026
Finals and Literals: Spec contradiction Offen

topic: conformance tests topic: typing spec

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 72/100

python/typing#2351 · 2 Kommentare · Erstellt am 31.8.2026

Alle Issues in python/typing