Im ersten öffentlichen Entwurf wurde gesagt, dass der Anfangsname in einem konstanten Wertmuster nicht _ sein darf, da _ eine besondere Bedeutung für den Musterabgleich hat, so dass dies ungültig wäre: Eine Operation darstellen, die für Elemente einer Objektstruktur ausgeführt werden soll. Mit Visitor können Sie einen neuen Vorgang definieren, ohne die Klassen der Elemente zu ändern, auf denen er arbeitet. Fassade umschließt ein kompliziertes Subsystem mit einer einfacheren Schnittstelle. Die folgende Abbildung zeigt die Struktur des Fassadenmusters. Da Muster eine neue syntaktische Kategorie mit ihren eigenen Regeln und Sonderfällen sind und da sie Eingaben (gegebene Werte) und Ausgabe (erfasste Variablen) auf neuartige Weise mischen, erfordern sie ein wenig Gewöhnung. Es ist die Erfahrung der Autoren, dass dies schnell geschieht, wenn eine kurze Einführung in die grundlegenden Konzepte wie die folgenden vorgestellt wird. Beachten Sie, dass dieser Abschnitt nicht vollständig oder vollkommen genau sein soll. Lassen Sie uns nun diese komplexen Prozesse in die Fassadenklasse einwickeln. Der Rest des PEP motiviert, warum wir glauben, dass Musterübereinstimmung eine gute Ergänzung zu Python ist, erklärt unsere Design-Entscheidungen und enthält eine präzise Syntaktik und Laufzeitspezifikation.
Wir geben auch Anleitungen für statische Typprüfer (und eine kleine Ergänzung zum Tippmodul) und diskutieren die wichtigsten Einwände und Alternativen, die während der ausführlichen Diskussion des Vorschlags sowohl innerhalb der Autorengruppe als auch in der Python-Dev-Community vorgebracht wurden. Schließlich besprechen wir einige mögliche Erweiterungen, die in der Zukunft in Betracht gezogen werden könnten, sobald die Community über ausreichende Erfahrung mit der derzeit vorgeschlagenen Syntax und Semantik verfügt. Hinweis: Man kann immer noch auf einer Sammlung mit gleichen Gegenständen mit Wachen übereinstimmen. Auch [x, y] | Point(x, y) ist ein rechtliches Muster, da die beiden Alternativen nie gleichzeitig übereinstimmen. Die Mustersyntax baut auf Pythons vorhandener Syntax für das Entpacken von Sequenzen auf (z. B. a, b = Wert), wird jedoch in eine Match-Anweisung eingeschlossen, die ihr Subjekt mit mehreren verschiedenen “Formen” vergleicht, bis eine gefunden wird, die passt. Neben der Angabe der Form einer zu entpackenden Sequenz können Muster auch die Form als Zuordnung mit bestimmten Schlüsseln, eine Instanz einer bestimmten Klasse mit (optional) bestimmten Attributen, einem bestimmten Wert oder einem Platzhalter angeben. Muster können auf verschiedene Weise zusammengesetzt werden. Strukturmuster erklären, wie Objekte und Klassen zu größeren Strukturen zusammengesetzt werden, während diese Strukturen flexibel und effizient bleiben. Implementierungen für klassische Switch-Anweisung verwenden manchmal eine vorberechnete Hashtabelle anstelle eines verketteten Gleichheitsvergleichs, um eine gewisse Leistung zu erzielen. Im Kontext der Match-Statement ist dies technisch auch für Matches gegen Literalmuster möglich.
Allerdings wäre eine subtil unterschiedliche Semantik für verschiedene Arten von Mustern zu überraschend für potenziell bescheidene Leistungsgewinne. Beachten Sie, dass einige Mustertypen unten spezifischere Regeln definieren, wann die Bindung erfolgt. Nur Match-by-Name funktioniert standardmäßig, und Klassen sollten __match_args__ als Klassenattribut definieren, wenn sie Match-by-Position unterstützen möchten. Darüber hinaus unterstützen Datenklassen und benannte Tuples Match-by-Position standardmäßig.