.NET Разработчик

День двести семьдесят пятый. #ЗаметкиНаПолях
Сопоставление с шаблоном. Продолжение
В C#7 представлены три вида шаблонов: шаблоны констант, шаблоны типов и шаблон var. Использовать сопоставление с шаблоном можно в двух контекстах: в операторе is и операторе switch. Каждый шаблон пытается соответствовать входным данных. Это может быть любое выражение, не содержащее указателей.

Шаблоны констант
Шаблон констант соответствует своему названию: он представляет собой константное выражение времени компиляции, которое затем проверяется на равенство с входными данными. Если и входные данные, и константа являются целочисленными выражениями, они сравниваются с помощью ==. В противном случае вызывается статический метод object.Equals, который позволяет безопасно проверять на null. Например:

static void Match(object input)
{
  if (input is "hello")
    Console.WriteLine("Это строка hello");
  else if (input is 10)
    Console.WriteLine("Это значение int 10");
  else
    Console.WriteLine("Совпадений не найдено");
}
static void Main()
{
  Match("hello");
  Match(10);
  Match(10L);
}

Вывод в основном понятен, кроме последней строки:

Это строка hello
Это значение int 10
Совпадений не найдено

Если целые числа сравниваются с использованием ==, почему последний вызов Match(10L) не находит совпадений? Дело в том, что тип ввода во время компиляции не является целочисленным типом, это объект, поэтому компилятор генерирует код, эквивалентный вызову object.Equals(x, 10). А он возвращает false, т.к. значение x представляет собой упакованное Int64, а не упакованное Int32.

Шаблоны типов
Шаблон типа состоит из типа и идентификатора, похожего на объявление переменной. Шаблон соответствует, если входной параметр является значением этого типа, что похоже на обычный оператор is. Преимущество использования шаблона в том, что он также вводит новую переменную шаблона этого типа, инициализируемую значением, если шаблон соответствует. Если шаблон не совпадёт, переменная всё равно будет существовать, но не будет определена. Если на входе null, он не будет соответствовать ни одному типу. Также можно использовать пустую переменную _, тогда переменная не будет создана. Пример использования шаблона типа был в предыдущем посте.
Шаблон типа обычно используется для замены либо комбинации as/if, либо, блока if с приведением типов. Тип, указанный в шаблоне типа, не может быть обнуляемым значимым типом. То есть нельзя написать:

if (value is int? t)

...
Но можно использовать параметр типа, который в свою очередь может быть обнуляемым значимым типом:

static void CheckType<T>(object value)
{
  if (value is T t)
    Console.WriteLine(t);
}
CheckType<int?>(null);
CheckType<int?>(5);

В этом случае шаблон найдёт соответствие только тогда, когда значение не равно null.

Шаблон var
Шаблон var выглядит как шаблон типа, но в качестве типа используется var:

someExpression is var x

Как и шаблоны типов, он вводит новую переменную, но ничего не проверяет. Он всегда совпадает (даже с null), в результате чего получается новая переменная с тем же типом и значением, что и у входного параметра. Поэтому этот шаблон бесполезен в операторе is, а используется в операторе switch в качестве последнего варианта, когда все остальные шаблоны не совпали.

В C#8 введены возможности сопоставления с шаблоном ещё более расширены.

Продолжение следует…

Источник: Источник: Jon Skeet “C# In Depth”. 4th ed – Manning Publications Co, 2019. Глава 12.

794 views07:45