Язык программирования C#9 и платформа .NET5

Console.WriteLine();
Point<int> p5 = default;
Console.WriteLine("p5.ToString()={0}", p5.ToString()); 
  
Сопоставление с образцом в обобщениях (нововведение в версии 7.1)
 
Еще одним обновлением в версии C# 7.1 является возможность использования сопоставления с образцом в обобщениях. Взгляните на приведенный далее метод, проверяющий экземпляр 
Point
 на предмет типа данных, на котором он основан (вероятно, неполный, но достаточный для того, чтобы продемонстрировать концепцию):
static void PatternMatching<T>(Point<T> p)
{
  switch (p)
  {
    case Point<string> pString:
      Console.WriteLine("Point is based on strings");
      return;
    case Point<int> pInt:
      Console.WriteLine("Point is based on ints");
      return;
  }
}
Для использования кода сопоставления с образцом модифицируйте операторы верхнего уровня следующим образом:
Point<string> p4 = default;
Point<int> p5 = default;
<b>PatternMatching(p4);</b>
<b>PatternMatching(p5); </b>
  
Ограничение параметров типа
 
Как объяснялось в настоящей главе, любой обобщенный элемент имеет, по крайней мере, один параметр типа, который необходимо указывать во время взаимодействия с данным обобщенным типом или его членом. Уже одно это обстоятельство позволяет строить код, безопасный в отношении типов; тем не менее, вы также можете применять ключевое слово where для определения особых требований к отдельному параметру типа.
С помощью ключевого слова 
where
 можно добавлять набор ограничений к конкретному параметру типа, которые компилятор C# проверит на этапе компиляции. В частности, параметр типа можно ограничить, как описано в табл. 10.8.
Возможно, применять ключевое слово 
where
 в проектах C# вам никогда и не придется, если только не требуется строить какие-то исключительно безопасные в отношении типов специальные коллекции. Невзирая на сказанное, в следующих нескольких примерах (частичного) кода демонстрируется работа с ключевым словом 
where
.
  
Примеры использования ключевого слова where
 
Начнем с предположения о том, что создан специальный обобщенный класс, и необходимо гарантировать наличие в параметре типа стандартного конструктора. Это может быть полезно, когда специальный обобщенный класс должен создавать экземпляры типа 
Т
, потому что стандартный конструктор является единственным конструктором, потенциально общим для всех типов. Кроме того, подобное ограничение 
Т
 позволяет получить проверку на этапе компиляции; если 
Т
 — ссылочный тип, то программист будет помнить о повторном определении стандартного конструктора в объявлении класса (как вам уже известно, в случае определения собственного конструктора класса стандартный конструктор из него удаляется).
 
// Класс MyGenericClass является производным от object, в то время как
// содержащиеся в нем элементы должны иметь стандартный конструктор.
public class MyGenericClass&lt;T&gt; where T : new()
{
  ...
}
Обратите внимание, что конструкция where указывает параметр типа, подлежащий ограничению, за которым следует операция двоеточия. После операции двоеточия перечисляются все возможные ограничения (в данном случае — стандартный конструктор). Вот еще один пример:
// Класс MyGenericClass является производным от object, в то время как
// содержащиеся в нем элементы должны относиться к классу, реализующему
// интерфейс IDrawable, и поддерживать стандартный конструктор.
public class MyGenericClass&lt;T&gt; where T : class, IDrawable, new()
{
  ...
}
Здесь к типу 
T
 предъявляются три требования. Во-первых, он должен быть ссылочным типом (не структурой), как помечено лексемой 
class
. Во-вторых, 
Т
 должен реализовывать интерфейс 
IDrawable
. В-третьих, тип 
Т
 также должен иметь стандартный конструктор. Множество ограничений перечисляются в виде списка с разделителями-запятыми, но имейте в виду, что ограничение 
new()
 должно указываться последним! Таким образом, представленный далее код не скомпилируется:
// Ошибка! Ограничение new() должно быть последним в списке!
public class MyGenericClass&lt;T&gt; where T : new(), class, IDrawable
{
  ...
}
При создании класса обобщенной коллекции с несколькими параметрами типа можно указывать уникальный набор ограничений для каждого параметра, применяя отдельные конструкции 
where
:
// Тип &lt;К&gt; должен расширять SomeBaseClass и иметь стандартный конструктор,
// в то время как тип &lt;Т&gt; должен быть структурой и реализовывать
// обобщенный интерфейс IComparable.
public class MyGenericClass&lt;K, T&gt; where K : SomeBaseClass, new()
  where T : struct, IComparable&lt;T&gt;
{
  ...