Ujemanje vzorcev (zelo razširjeno v nedavnih različicah C#) vam omogoča, da preizkusite obliko, vrsto in lastnosti vrednosti jedrnato ter izluščite podatke — kar naredi zapleteno pogojno logiko bistveno čistejšo kot gnezdeni if-else verigi. Uporablja se s switch izrazi, is in drugimi.
(obj s)
Console.WriteLine(s.Length);
(obj n > )
Console.WriteLine();
Operator is z vzorcem tipa preizkusi tip in zajame vrednost (z vrsto) v enem koraku — čistejše kot ločena preverka-nato-pretvorba.
string Describe(object obj) => obj switch
{
int n when n > 0 => "positive int", // type + condition (when)
int => "non-positive int",
string { Length: > 10 } => "long string", // property pattern
null => "null",
_ => "other", // default
};
Switch izrazi podpirajo bogate vzorce: vzorce tipov, pogoje (when), in vzorce lastnosti ({ Length: > 10 } — ujemanje na lastnostih objekta) — izražanje zapletenih vejitev jedrnato.
// property pattern — match on properties
var discount = customer switch
{
{ IsVip: true, Orders: > 100 } => 0.2, // multiple property conditions
{ Orders: > 50 } => 0.1,
_ => 0.0,
};
// relational + logical patterns (C# 9)
string Size(int n) => n switch
{
< 0 => "negative",
0 => "zero",
> 0 and < 100 => "small", // relational (< >) + logical (and/or/not)
_ => "large",
};
var (x, y) = point; // positional/deconstruction
int[] arr = { 1, 2, 3 };
if (arr is [1, .., 3]) { } // list pattern (C# 11) — starts with 1, ends with 3
Ujemanje vzorcev je pomembna in vse bolj osrednja značilnost sodobnega C# — zeer razširjena je bila v nedavnih različicah in spreminja način, kako C# upravlja pogojno logiko in preverjanje tipov, zato je razumevanje le-tega dragoceno za pisanje in branje trenutnega koda C#.
Njena osnovna vrednost je izražanje zapletene pogojne logike jedrnato in berljivo: namesto gnezdenih if-else verig z ločenimi preveri tipov, pretvorb in dostopov do lastnosti vam ujemanje vzorcev omogoča, da preizkusite tip vrednosti, pogoje, lastnosti in strukturo — ter izluščite podatke — v čistih, deklarativnih izrazih (posebej s switch izrazi).
Ampak vzorcev — vzorci tipov (preizkus in zajemanje tipov v enem koraku preko is), vzorci lastnosti (ujemanje na lastnostih objekta), relacijski in logični vzorci (< 100 and > 0, not), in vzorci seznamov/pozicijski vzorci — pokriva širok spekter vejitne logike elegantno.
To odraža razvoj sodobnega C# proti bolj funkcionalnem, izrazitemu kodu, in ujemanje vzorcev se pojavlja obsežno v trenutnih kodnih bazah (posebej s switch izrazi in zapisi).
Razumevanje različnih vzorcev in kako jih uporabljati (z is, switch izrazi, klavzulami when) je pomembno za pisanje jedrnate, berljive sodobnega C# in za branje koda, ki uporablja te značilnosti.
Ker ujemanje vzorcev zamenja besedno pogojno logiko s čistim, deklarativnim izrazima — izboljšava berljivost in zmanjšava napake — in ker je to določujoča značilnost sodobnega C#, ki se nenehno širi, je njeno obvladovanje dragoceno, pogosto uporabljeno znanje, ki loči tekoč sodoben C# od starejših, bolj besednih stilov, in je vedno bolj pogosta tema za razgovore.