Язык программирования C#9 и платформа .NET5 - Троелсен Эндрю

SwapFunctions.Swap<string>(ref s1, ref s2);

Console.WriteLine("After swap: {0} {1}!", s1, s2);

Console.ReadLine();

Вот вывод:

***** Fun with Custom Generic Methods *****

Before swap: 10, 90

You sent the Swap() method a System.Int32

After swap: 90, 10

Before swap: Hello There!

You sent the Swap() method a System.String

After swap: There Hello!

Главное преимущество такого подхода в том, что придется сопровождать только одну версию Swap<T>(), однако она в состоянии работать с любыми двумя элементами заданного типа в безопасной в отношении типов манере. Еще лучше то, что находящиеся в стеке элементы остаются в стеке, а расположенные в куче — соответственно в куче.

Выведение параметров типа

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

// Компилятор выведет тип System.Boolean.

bool b1 = true, b2 = false;

Console.WriteLine("Before swap: {0}, {1}", b1, b2);

SwapFunctions.Swap(ref b1, ref b2);

Console.WriteLine("After swap: {0}, {1}", b1, b2);

Несмотря на то что компилятор может определить параметр типа на основе типа данных, который применялся в объявлениях b1 и b2, вы должны выработать привычку всегда указывать параметр типа явно:

SwapFunctions.Swap<bool>(ref b1, ref b2);

Такой подход позволяет другим программистам понять, что метод на самом деле является обобщенным. Кроме того, выведение типов параметров работает только в случае, если обобщенный метод принимает, по крайней мере, один параметр. Например, пусть в классе 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;

    }