внимание на то, что тип MyHelperClass сам по себе не является обобщенным, но определяет два обобщенных метода. Так или иначе, теперь, когда методы Swap‹T› и DisplayBaseClass‹T› находятся в контексте нового типа класса, при вызове их членов придется указать имя типа.
MyHelperClass.Swap‹int›(ref a, ref b);
Наконец, обобщенные методы не обязаны быть статическими. Если бы Swap‹T› и DisplayBaseClass‹T› были методами уровня экземпляра, нужно было бы просто создать экземпляр MyHelperClass и вызвать их из объектной переменной.
MyHelperClass с = new MyHelperClass;
c.Swap‹int›(ref a, ref b);
Создание обобщенных структур (и классов)
Теперь, когда вы понимаете, как определять и вызывать обобщенные методы, давайте рассмотрим построение обобщенных структур (процедура построения обобщенных классов оказывается аналогичной). Предположим, что мы построили гибкую структуру Point, поддерживающую один параметр типа, который представляет единицу хранения координат (х, у). Вызывающая сторона может создавать типы Point‹T› так.
// Point с использованием int.
Point‹int› p = new Point‹int›(10, 10);
// Point с использованием double.
Point‹double› p2 = new Point‹double›(5.4, 3.3);
Вот полное определение Point‹T›, необходимое нам для дальнейшего анализа.
// Обобщенная структура 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 {return xPos;}
set {xPos = value;}
}
public T Y {
get { return yPos; }
set { yPos = value; }
}
public override string ToString {
return string.Format("[{0}, {1}]", xPos, yPos);
}
// Переустановка полей со значениями параметра типа,
// принятыми по умолчанию.
public void ResetPoint {
xPos = default(T);
yPos = default(T);
}
}
Ключевое
слово default в обобщенном программном коде
Как ведите, Point‹T› использует параметр типа в определении полей данных, аргументов конструктора и в определениях свойств. Обратите внимание на то, что вдобавок к переопределению ToString обобщенный тип Point‹T› определяет метод ResetPoint, в котором используется новый синтаксис.
// Ключевое слово 'default' в C# 2005 является перегруженным.
// При использовании с обобщениями оно представляет значение
// параметра типа, принимаемое по умолчанию.
public void ResetPoint {
xPos = default(Т);
yPos = default(T);
}
В C# 2005 ключевое слово default получило два значения. Кроме использования в конструкции switch, оно может использоваться для установки параметрам типа значений, принятых по умолчанию. И это, очевидно, полезно, поскольку обобщенный тип ничего заранее не знает о фактических замещающих значениях и поэтому не может с безопасностью предполагать о том. каким должно быть значение по умолчанию. Значения по умолчанию для параметра типа являются следующими.
• Для числовых значений значением по умолчанию является 0.
• Для ссылочных типов значением по умолчанию является null.
• Поля структуры устанавливаются равными 0 (для типов, характеризуемых значениями) или null (для ссылочных типов).
Для Point‹T› вы можете непосредственно установить xPos и yPos равными 0, поскольку вполне безопасно предполагать, что вызывающая сторона будет поставлять только числовые данные. Однако с помощью синтаксиса default(T) вы можете сделать обобщенный тип более гибким. В любом случае вы теперь можете использовать методы Point‹T› так.
static void Main(string[] args) {
Console.WriteLine("***** Забавы с обобщениями *****\n");