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

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.

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

Возможно, применять ключевое слово

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;

{

  ...

Перейти на страницу:
Изменить размер шрифта: