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

Такой подход позволяет другим программистам понять, что метод на самом деле является обобщенным. Кроме того, выведение типов параметров работает только в случае, если обобщенный метод принимает, по крайней мере, один параметр. Например, пусть в классе Program определен обобщенный метод DisplayBaseClass<T>:

 static void DisplayBaseClass<T>
 {
  // BaseType - метод, используемый в рефлексии;
  // он будет описан в главе 17
  Console.WriteLine("Base class of {0} is: {1}.",
  typeof(T), typeof(T).BaseType);
 }

В таком случае при его вызове потребуется указать параметр типа:

 ...
 // Если метод не принимает параметров,
 // то должен быть указан параметр типа.
 DisplayBaseClass<int>;
 DisplayBaseClass<string>;

 // Ошибка на этапе компиляции! Нет параметров?
 // Должен быть предоставлен заполнитель!
 // DisplayBaseClass;
 Console.ReadLine;

Разумеется, обобщенные методы не обязаны быть статическими, как в приведенных выше примерах. Кроме того, применимы все правила и варианты для необобщенных методов.

Создание специальных обобщенных структур и классов

Так как вы уже знаете, каким образом определять и вызывать обобщенные методы, наступило время уделить внимание конструированию обобщенной структуры (процесс построения обобщенного класса идентичен) в новом проекте консольного приложения по имени GenericPoint. Предположим, что вы построили обобщенную структуру Point, которая поддерживает единственный параметр типа, определяющий внутреннее представление координат (х, у). Затем в вызывающем коде можно создавать типы Point<T>:

 // Точка с координатами типа int.
 Point<int> p = new Point<int>(10, 10);

 // Точка с координатами типа double.
 Point<double> p2 = new Point<double>(5.4, 3.3);

 // Точка с координатами типа string.
 Point<string> p3 = new Point<string>(""",""3"");

Создание точки с использованием строк поначалу может показаться несколько странным, но возьмем случай мнимых чисел, и тогда применение строк для значений X и Y точки может обрести смысл. Так или иначе, такая возможность демонстрирует всю мощь обобщений. Вот полное определение структуры Point<T> :

 namespace GenericPoint
 {
  // Обобщенная структура Point.
  public struct Point<T>
  {
  // Обобщенные данные состояния.
  private T _xPos;
  private T _yPos;

  // Обобщенный конструктор.
  public Point(T xVal, T yVal)
  {
  _xPos = xVal;
  _yPos = yVal;
  }

  // Обобщенные свойства.
  public T X
  {
  get => _xPos;
  set => _xPos = value;
  }

  public T Y
  {
  get => _yPos;
  set => _yPos = value;
  }

  public override string ToString => $"[{_xPos}, {_yPos}]";
  }
 }

Как видите, структура Point<T> задействует параметр типа в определениях полей данных, в аргументах конструктора и в определениях свойств.

Выражения default вида значений в обобщениях

С появлением обобщений ключевое слово default получило двойную идентичность. Вдобавок к использованию внутри конструкции switch оно также может применяться для установки параметра типа в стандартное значение. Это очень удобно, т.к. действительные типы, подставляемые вместо заполнителей, обобщенному типу заранее не известны, а потому он не может безопасно предполагать, какими будут стандартные значения. Параметры типа подчиняются следующим правилам:

• числовые типы имеют стандартное значение 0;

• ссылочные типы имеют стандартное значение null;

• поля структур устанавливаются в 0 (для типов значений) или в null (для ссылочных типов).

Чтобы сбросить экземпляр Point<T> в начальное состояние, значения X и Y можно было бы установить в 0 напрямую. Это предполагает, что вызывающий код будет предоставлять только числовые данные. А как насчет версии string? Именно здесь пригодится синтаксис default(Т). Ключевое слово default сбрасывает переменную в стандартное значение для ее типа данных. Добавьте метод по имени ResetPoint:

 // Сбросить поля в стандартное значение параметра типа.
 // Ключевое слово default в языке C# перегружено.
 // При использовании с обобщениями оно представляет
 // стандартное значение параметра типа.
 public void ResetPoint
 {
  _xPos = default(T);
  _yPos = default(T);
 }

Теперь, располагая методом ResetPoint, вы можете в полной мере использовать методы структуры Point<T>.

 using System;
 using GenericPoint;
 Console.WriteLine("***** Fun with Generic Structures *****\n");

 // Точка с координатами типа int.
 Point<int> p = new Point<int>(10, 10);
 Console.WriteLine("p.ToString={0}", p.ToString);
 p.ResetPoint;
 Console.WriteLine("p.ToString={0}", p.ToString);
 Console.WriteLine;