При вызове обобщенных методов вроде Swap параметр типа можно опускать, если (и только если) обобщенный метод принимает аргументы, поскольку компилятор в состоянии вывести параметр типа на основе параметров членов. Например, добавив к операторам верхнего уровня следующий код, можно менять местами два значения 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
Такой подход позволяет другим программистам понять, что метод на самом деле является обобщенным. Кроме того, выведение типов параметров работает только в случае, если обобщенный метод принимает, по крайней мере, один параметр. Например, пусть в классе Program определен обобщенный метод DisplayBaseClass:
static void DisplayBaseClass
{
// BaseType - метод, используемый в рефлексии;
// он будет описан в главе 17
Console.WriteLine("Base class of {0} is: {1}.",
typeof(T), typeof(T).BaseType);
}
В таком случае при его вызове потребуется указать параметр типа:
...
// Если метод не принимает параметров,
// то должен быть указан параметр типа.
DisplayBaseClass
DisplayBaseClass
// Ошибка на этапе компиляции! Нет параметров?
// Должен быть предоставлен заполнитель!
// DisplayBaseClass();
Console.ReadLine();
Разумеется, обобщенные методы не обязаны быть статическими, как в приведенных выше примерах. Кроме того, применимы все правила и варианты для необобщенных методов.
Так как вы уже знаете, каким образом определять и вызывать обобщенные методы, наступило время уделить внимание конструированию обобщенной структуры (процесс построения обобщенного класса идентичен) в новом проекте консольного приложения по имени GenericPoint. Предположим, что вы построили обобщенную структуру Point, которая поддерживает единственный параметр типа, определяющий внутреннее представление координат (х, у). Затем в вызывающем коде можно создавать типы Point:
// Точка с координатами типа int.
Point
// Точка с координатами типа double.
Point
// Точка с координатами типа string.
Point
Создание точки с использованием строк поначалу может показаться несколько странным, но возьмем случай мнимых чисел, и тогда применение строк для значений X и Y точки может обрести смысл. Так или иначе, такая возможность демонстрирует всю мощь обобщений. Вот полное определение структуры Point :
namespace GenericPoint
{
// Обобщенная структура Point.
public struct Point
{
// Обобщенные данные состояния.
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 задействует параметр типа в определениях полей данных, в аргументах конструктора и в определениях свойств.
