Сопоставление с образцом (значительно расширено в последних версиях C#) позволяет кратко проверять форму, тип и свойства значения и извлекать данные — делая сложную условную логику намного чище, чем вложенные цепочки if-else. Используется с выражениями switch, оператором is и многим другим.
// type pattern — test type AND capture in one step
if (obj is string s)
Console.WriteLine(s.Length); // s is typed as string here (no separate cast)
if (obj is int n and > 0) // combine: type + condition
Console.WriteLine("positive int");
Оператор is с шаблоном типа проверяет тип и захватывает значение (типизированное) в один шаг — чище, чем отдельная проверка с последующим преобразованием типа.
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 поддерживают богатые шаблоны: шаблоны типов, условия (when) и шаблоны свойств ({ Length: > 10 } — сопоставление со свойствами объекта) — выражая сложные ветвления кратко.
// 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
Сопоставление с образцом — важная и все более центральная особенность современного C# — оно значительно расширено в последних версиях, преобразуя то, как C# обрабатывает условную логику и проверку типов, поэтому его понимание ценно для написания и чтения современного кода на C#.
Его основная ценность — выражение сложной условной логики кратко и читаемо: вместо вложенных цепочек if-else с отдельными проверками типов, приведениями типов и доступом к свойствам, сопоставление с образцом позволяет проверять тип значения, условия, свойства и структуру — и извлекать данные — в чистых, декларативных выражениях (особенно с выражениями switch).
Широкий спектр шаблонов — шаблоны типов (проверка и захват типов в один шаг через is), шаблоны свойств (сопоставление со свойствами объекта), реляционные и логические шаблоны (< 100 and > 0, not) и шаблоны списков/позиционные шаблоны — элегантно охватывает широкий спектр логики ветвления.
Это отражает эволюцию современного C# в сторону более функционального и выразительного кода, а сопоставление с образцом широко встречается в текущих кодовых базах (особенно с выражениями switch и records).
Понимание различных шаблонов и способов их использования (с is, выражениями switch, предложениями when) важно для написания краткого, читаемого современного C# и для чтения кода, использующего эти функции.
Поскольку сопоставление с образцом заменяет многословную условную логику чистыми, декларативными выражениями — улучшая читаемость и снижая количество ошибок — и поскольку это определяющая особенность современного C#, которая продолжает расширяться, овладение ею — ценное и часто применяемое знание, которое отличает беглое современное C# от старых, более многословных стилей, и это все более частая тема собеседований.
Библиотека вопросов для IT-собеседований с подробными ответами — от Junior до Senior.
Поддержать