C# 6 und VB 12 sind dabei, Mustervergleich hinzuzufügen

Ein weiteres Konzept, das aus funktionalen Programmiersprachen stammt, hat sich den C#- und VB-Lagern angeschlossen, nämlich eine Funktion namens Pattern Matching. Auf den ersten Blick funktioniert der Mustervergleich wie ein Switch/Select-Anweisungsblock, seine Funktion ist jedoch viel leistungsfähiger.

Bitte beachten Sie: Da die VB-Versionsspezifikation noch nicht vollständig ist, stammen diese Beispiele hauptsächlich aus der Mustervergleichsspezifikation in C#.

is or Matches-Operator

Der Mustervergleich in .NET wird hauptsächlich durch den „is/Matches“-Operator unterstützt. Dieser weniger bekannte Operator zerlegt eine Klasse in ihre Bestandteile. Das folgende Beispiel basiert auf der kartesischen Datensatzklasse http://www.infoq.com/news/2014/08/Record-Class (Datensatzklasse), die im Nachrichtenbericht vom Dienstag erwähnt wird.

public static bool operator is(Cartesian c, out double x, out double y)
    x = c.X;
    y = c.Y;
    return true;
}

Dieser Operator ist nicht auf die Verwendung in seiner definierenden Klasse beschränkt. Das folgende Beispiel definiert einen Operator auf andere Weise, sodass er ein kartesisches Objekt zerlegen und mit einem polaren Objekt abgleichen kann.

public static class Polar {
    public static bool operator is( Cartesian c, out double R, out double Theta)
   {
        R = Math.Sqrt(c.X*c.X + c.Y*c.Y);
        Theta = Math.Atan2(c.Y, c.X);
        return c.X != 0 || c.Y != 0;
   }
}
var c = Cartesian(3, 4);
if (c is Polar(var R, *))
   Console.WriteLine(R);

Typmuster

Das einfachste Muster ist das Typmuster, das im Wesentlichen versucht, eine Typkonvertierung durchzuführen und diese gleichzeitig einer Variablen zuzuweisen. Hier ist ein Beispiel für ein solches Muster:

if (expr is Type v)
   { // code using v }

Rekursive Muster

Die meisten Muster erscheinen als rekursive Muster, das heißt, sie bestehen aus einfacheren Mustern. Schauen Sie sich ein Beispiel für dieses Muster an:

var a = new Location(1, 2, 3); //x=1, y=2, z=3
if (a is Location(1, var y, *))

Dieses rekursive Muster umfasst ein konstantes Muster, ein var-Muster und ein Platzhaltermuster.

Konstantenmodus

Dieser Modus kann ein Attribut mit einem konstanten Wert abgleichen. Der Konstantenabgleich verwendet die Methode object.Equals(left, right), um zu bestimmen, ob die beiden übereinstimmen.

Var-Modus

Der Var-Modus wird auf jeden Fall erfolgreich übereinstimmen. Der diesem Modus entsprechenden Variablen wird der beim Aufruf des is-Operators bereitgestellte Wert zugewiesen, und der Typ der Variablen ist der statische Typ durch diesen Ausdruck bestimmt.

Platzhaltermuster

Platzhaltermuster ist im Wesentlichen ein Variablenausdruck, aber Sie müssen sich nicht um das Übereinstimmungsergebnis kümmern.

Interne Implementierung

Lassen Sie uns das Beispiel dieser Standortklasse weiter diskutieren. Der Compiler führt während der Kompilierungsphase die folgenden Schritte aus:

Variable $x, $ erstellen y und $z

Rufen Sie die Methode Location.is(a, out $x, out $y, out $z) auf und bestätigen Sie, dass das Rückgabeergebnis wahr ist

Konstanter Modus: Objekt prüfen . Ergebnis des Equals($x, 1)-Aufrufs

Var-Modus: $y zu y zuweisen

Wildcard-Modus: $z-Variable ignorieren

Switch/Select Case-Anweisungsblock

Die Funktionalität des Switch-Anweisungsblocks wird erweitert und es können Mustervergleichsfunktionen verwendet werden. Das bedeutet eigentlich, dass Sie Aussagen wie folgt formulieren können:

case null:
case String s
case Location(1, var y, *):

限制

　　在目前的规格草稿中，还没有对于范围检查的支持。这意味着你不能编写类似于“a is Location( > 0, 1 to 5, <= 10)”这样的代码。此外目前也不支持在一个列表或迭代器中进行元素匹配。