Was ist der Unterschied zwischen Pattern Matching und Guards?

Eigentlich, sind Sie grundsätzlich ganz anders! Zumindest in Haskell jedenfalls.

Wachen sind sowohl einfacher als auch flexibler: Sie sind im wesentlichen nur spezielle syntax, die sich in einer Reihe von wenn-dann-Ausdrücke. Sie können beliebige Boolesche Ausdrücke in die Wachen, aber Sie tun nichts, Sie konnte nicht mit einem normalen if.

Muster entspricht noch einige zusätzliche Dinge: Sie sind die einzige Weg, Sie zu dekonstruieren Daten, und Sie binden Bezeichner innerhalb Ihrer Reichweite. Im gleichen Sinne, dass die Wachen sind äquivalent zu if Ausdrücke, pattern-matching entspricht case Ausdrücken. Erklärungen (entweder auf der obersten Ebene, oder in etwas wie ein let Ausdruck) sind auch eine form der pattern-match mit "normalen" Definitionen werden Spiele mit der trivialen Muster, ein einzelner Bezeichner.

Muster passt in der Regel auch der wichtigste Weg, Zeug passiert eigentlich in Haskell--versucht Sie zu dekonstruieren-Daten in ein Muster ist eines der wenigen Dinge, die Kräfte der Auswertung.

Durch die Art und Weise, können Sie eigentlich tun, pattern matching in top-level Deklarationen:

square = (^2)

(one:four:nine:_) = map square [1..]

Dies ist gelegentlich sinnvoll, für eine Gruppe von verwandten Definitionen.

GHC auch bietet die ViewPatterns Erweiterung, welche vereint; Sie können beliebigen Funktionen in einem verbindlichen Kontext und dann pattern match auf das Ergebnis. Das ist doch nur syntaktischer Zucker für das übliche Zeug, natürlich.

Als für den Tag-zu-Tag-Heft von denen zu verwenden, wobei, hier einige rough guides:

• Definitiv mit der Mustererkennung für alles, was abgeglichen werden kann, direkt eine oder zwei Konstruktoren Tiefe, wo Sie nicht wirklich über die zusammengesetzten Daten als ganzes, sondern kümmern sich um die meisten der Struktur. Die @ syntax können Sie binden die gesamte Struktur einer Variablen, während auch pattern matching auf es, aber zu viel zu tun, dass in einem Muster ist hässlich und unleserlich schnell.

• Definitiv Wachen, wenn Sie brauchen, um eine Wahl zu treffen, basierend auf einer Eigenschaft, die nicht entsprechen, ordentlich auf ein Muster, z.B. Vergleich von zwei Int Werte zu sehen, welche größer ist.

• Wenn Sie nur ein paar Stücke von Daten aus, die tief im inneren eine große Struktur, besonders, wenn Sie auch brauchen, um die Struktur als ganzes, Wachen und accessor-Funktionen sind in der Regel besser lesbar als manche monströsen Muster voller @ und _.

• Wenn Sie brauchen, um die gleiche Sache für die Werte, dargestellt durch verschiedene Muster, aber mit einem praktischen Prädikat, um Sie zu klassifizieren, mit einem einzigen generischen Muster mit einer Wache ist in der Regel besser lesbar. Beachten Sie, dass wenn eine Gruppe von Wachen ist nicht abschließend, etwas, dass nicht alles die Wachen werden drop-down, um das nächste Muster (falls vorhanden). So können Sie kombinieren ein Allgemeines Muster mit einigen filtern zu fangen Ausnahmefällen, dann tut pattern matching auf alles andere, um details zu erhalten, die Sie interessieren.

• Definitiv nicht verwenden, Schutzeinrichtungen für die Dinge, die sein könnte, trivial überprüft mit einem Muster. Überprüfung auf leere Listen ist das klassische Beispiel, verwenden Sie ein Muster entsprechen, für das.

• Im Allgemeinen, wenn Sie Zweifel haben, nur stick mit pattern-matching-standardmäßig ist es in der Regel schöner. Wenn ein Muster beginnt sich wirklich hässlich oder unübersichtlich, dann stoppen, um zu betrachten, wie sonst könnten Sie schreiben es. Neben der Verwendung der Schutzvorrichtungen, andere Optionen umfassen das extrahieren Teilausdrücke als separate Funktionen oder setzen Sie case Ausdrücke innerhalb der Funktion Körper, um ein wenig Druck von der pattern-matching nach unten auf Sie, und aus dem main-definition.

Für ein, Sie können Boolesche Ausdrücke innerhalb einer Wache.

Zum Beispiel:

Genau wie mit der Liste Verstehens, Boolesche Ausdrücke können frei gemischt mit unter die pattern-guards. Zum Beispiel:

f x | [y] <- x
    , y > 3
    , Just z <- h y
    = ...

Update

Gibt es ein nettes Zitat von Lernen Sie eine Haskell über den Unterschied:

In der Erwägung, dass Muster sind eine Möglichkeit, Geld sicher Wert entspricht, der in irgendeiner Art und dekonstruieren es, Wachen sind eine Möglichkeit zu testen, ob eine Eigenschaft ein Wert (oder mehrere) sind true oder false. Das klingt sehr ähnlich wie eine if-Anweisung, und es ist sehr ähnlich. Die Sache ist die, dass die Wachen sind viel besser lesbar, wenn Sie mehrere Bedingungen, und Sie spielen wirklich schön mit Muster.