День 1772. #ЗаметкиНаПолях #PatternMatching
Шпаргалка по Сопоставлению по Шаблону в C#
Сопоставление по шаблону — это функция, используемая для проверки выражений на соответствие некоторым условиям с одновременной проверкой их типов. Исторически оно было отличительной чертой функционального программирования, и уже существует в других популярных языках, таких как Scala, Rust, Python, Haskell, Prolog и многих других. Сопоставление по шаблону было представлено в C# 7, и с тех пор получало множество обновлений в последующих версиях.

Помните, что его можно применять только в выражениях is или switch.

С# 7
Шаблон типа
Проверка типа выражения

public bool IsFood(object product)
  => product is Food;

Шаблон объявления
Проверка типа + присвоение переменной при успехе.

public bool IsFridgeFood(object product)
 => product is Food food &&
     RequiresFridge(food.StorageTemp);

Шаблон константы
Проверка на константное значение: int, float, char, string, bool, enum, const, null.

public bool IsFresh(Food food)
 => food?.Category?.ID is (int)Category.Fresh;

Шаблон null
Проверка ссылочного или обнуляемого типа на null

public bool DoesNotExist(Food food)
 => food is null;

Шаблон var
Подобно шаблону типа, шаблон var сопоставляет шаблон, проверяет на null и присваивает значение переменной. Тип var объявляется на основе типа времени компиляции соответствующего выражения.

public bool RequiresFridge(Food food)
 => GetStorageRequirement(food) is var req &&
     req is StorageRequirement.Freezer;

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

Источник: https://codingsonata.com/your-quick-guide-to-pattern-matching-in-c/

День 1773. #ЗаметкиНаПолях #PatternMatching
Шпаргалка по Сопоставлению по Шаблону в C#. Продолжение
C# 7

С# 8
Шаблон свойства
Вы можете включать в шаблон элементы объекта вместо переменных, для соответствия заданным условиям. Его можно легко использовать с другими типами шаблонов для создания гибких и мощных логических выражений.

public bool IsOrganic(Food food)
{
  return food is
  {
    NoGMO: true,
    NoFertilizers: true,
    NoPesticides: true
  };
}

Использование вложенных свойств было доступно в 8 и 9 версиях языка, но его реализация не была самым чистым решением или самым лаконичным синтаксисом.

Шаблон отказа
Оператор отказа (discard) _ в шаблоне соответствует всему, включая значение null. Его использование проявляется в новых выражениях switch, чтобы соответствовать выбору по умолчанию. В примере ниже, если вид хранения продуктов не указан или не соответствует ни одному варианту, будет выдано исключение:

public int GetStorageTemp(
  StorageRequirement req) 
 => req switch
 {
   StorageRequirement.Freezer => -18,
   StorageRequirement.Fridge => 4,
   StorageRequirement.RoomTemp => 25,
   _ => throw new 
    InvalidStorageRequirementException()
 };

Позиционный шаблон
В основном используется со структурами, использует деконструктор для сопоставления шаблона в соответствии с позицией значений в деконструкторе. В примере ниже Price – структура со значением и валютой. Здесь используется шаблон отказа, чтобы игнорировать валюту, когда цена 0.

public bool IsFree(Food food)
 => food.Price is (0, _);

Шаблон кортежа
Особый вариант позиционного шаблона, позволяющий проверять несколько свойств класса в одном выражении.

public string GetDescription(Food food) 
 => (food.NonGMO, food.Category.ID) switch
 {
   (true, (int)Category.Fresh) 
     => "Non-GMO Fresh Product",
   (true, (int)Category.Dairy) 
     => "Non-GMO Dairy",
   (false, (int)Category.Meats)
     => "GMO Meat!",
   (_, _) => "Invalid Food Group"
};

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

Источник: https://codingsonata.com/your-quick-guide-to-pattern-matching-in-c/

День 1774. #ЗаметкиНаПолях #PatternMatching
Шпаргалка по Сопоставлению по Шаблону в C#. Продолжение
С# 7
С# 8

C# 9
«Расширенный» шаблон типа
Позволяет выполнять проверку типов в выражениях switch.

public string CheckValueType(object value) 
 => value switch
 {
   int => "integer",
   decimal => "decimal",
   double => "double",
   _ => "not a number"
};

Логический шаблон
Представляет собой совокупность отрицания (not), конъюнкции (and) и дизъюнкции (or). Вместе они называются комбинаторами шаблонов. Они используются для объединения шаблонов и применения к ним логических условий.

public bool RequiresFrige(Category cat)
 => cat is Category.Dairy or Category.Meats;

Шаблон отношения
Позволяет применять реляционные операторы > < >= <= для сопоставления шаблонов с константами или перечислениями.

public StorageRequirement 
 GetStorageRequirement(Food food)
 => food.StorageTemp switch
 {
   <= -18 => StorageRequirement.Freezer,
   >= 2 and < 6 => StorageRequirement.Frige,
   > 6 and < 30 => StorageRequirement.RoomTemp,
   _ => throw new
    InvalidStorageRequirementException(
     food.StorageTemperature)
 };

Шаблон отрицания null
Проверяет выражение на ненулевое значение

public bool Exists(Blog blog)
 => blog is not null;

Скобки в шаблоне
Круглые скобки в шаблоне используются для управления порядком выполнения и группировки логических выражений. Их можно использовать в любом типе шаблона, но в основном это связано с использованием комбинаторов шаблонов.

public bool RequiresFridge(int storageTemp)
 => storageTemp is > 1 and (< 6);

Окончание следует…

Источник: https://codingsonata.com/your-quick-guide-to-pattern-matching-in-c/

День 1775. #ЗаметкиНаПолях #PatternMatching
Шпаргалка по Сопоставлению по Шаблону в C#. Окончание
С# 7
С# 8
C# 9

C# 10
Расширенный шаблон свойств
В C# 10 была решена проблема соответствия синтаксиса вложенных свойств. С появлением расширенного шаблона свойств синтаксис использования вложенных свойств при сопоставлении с шаблоном стал понятным и кратким.

public bool RequiresFridge(Food food)
 => food is
 {
   Category.ID: (int)Category.Dairy or
                (int)Category.Meats
 };

C# 11
Шаблон списка
Позволяет сопоставить список или массив с набором последовательных элементов. Вы можете комбинировать его с шаблонами отказа, комбинаторами шаблонов, диапазонами, переменными и типом назначения, чтобы создать очень гибкое и мощное сопоставление по шаблону списка.

public (int?, int?) FindOneAndFour()
{
  int[] numbers = { 1, 2, 3, 4, 5 };

  // Совпадает, если 
  // - 2й элемент любой
  // - 3й больше или равен 3
  // - 5й равен 5
  if (numbers is 
   [var one, _, >= 3, int four, 5])
  {
    return (one, four);
  }

  return (null, null);
}

См. подробнее про шаблоны списков.

Итого
С добавлением функций сопоставления по шаблону C# добавил замечательные возможности функционального программирования, которые десятилетиями использовались во множестве языков. Конечно, всегда нужно проявлять осторожность, чтобы не злоупотреблять сопоставлением по шаблону.
Если вы работаете над большим проектом с другими членами команды, помните, что не все знают о некоторых или всех функциях сопоставления по шаблону, поэтому не стоит сразу вводить слишком много.

Источник: https://codingsonata.com/your-quick-guide-to-pattern-matching-in-c/