Эндрю Троелсен - ЯЗЫК ПРОГРАММИРОВАНИЯ С# 2005 И ПЛАТФОРМА .NET 2.0. 3-е издание

Подобно необобщенным классам, обобщенные классы являются объектами, размещаемыми в динамической памяти, поэтому для них следует использовать new со всеми необходимыми аргументами конструктора. Кроме того, вы должны указать типы, замещающие параметры, определенные обобщенным типом. Так, для System.Collections.Generic.List‹T› требуется указать одно значение, задающее вид элемента, с которым будет функционировать List‹T› . Например, чтобы создать три объекта List‹› для хранения целых чисел, объектов SportsCar и объектов Person, вы должны записать следующее

static void Main(string[] args) {

// Создается List для хранения целых чисел.

List‹int› myInts = new List‹int›();

// Создается List для хранения объектов SportsCar.

List‹SportsCar› myCars = new List ‹ SportsCar›();

// Создается List для хранения объектов Person.

List‹Person› myPeople = new List‹Person›();

}

В этот момент вы можете поинтересоваться, что же на самом деле становится значением заполнителя. Открыв окно определения программного кода в Visual Studio 2005 (см. главу 2), вы увидите, что везде в определении типа List‹T› используется заполнитель Т. Ниже показана часть соответствующего листинга (обратите внимание на элементы, выделенные полужирным шрифтом).

// Часть листинга для типа List‹T›.

namespace System.Collections.Generic {

public class List‹ T›: IList‹ T›, ICollection‹ T›, IEnumerable‹ T›, IList, ICollection, IEnumerable {

…

public void Add( Titem);

public IList‹ T› AsReadOnly();

public int BinarySearch( Titem);

public bool Contains( Titem) ;

public void CopyTo( T[] array);

public int FindIndex(System.Predicate‹ T› match);

public T FindLast(System.Predicate‹ T› match);

public bool Remove( Titem);

public int RemoveAll(System.Predicate‹ T› match);

public T[] ToArray();

public bool TrueForAll(System.Predicate‹ T› match);

public Tthis[int index] { get; set; }

…

}

}

Когда вы создаете тип List‹T› и указываете для него SportsCar, это эквивалентно следующему определению типа List‹T›.

namespace System.Collections.Generic {

public class List‹ SportsCar›: IList‹ SportsCar›, ICollection‹ SportsCar›, IEnumerable‹ SportsCar›, IList, ICollection, IEnumerable {

…

public void Add( SportsCaritem);

public IList‹ SportsCar› AsReadOnly() ;

public int BinarySearch( SportsCaritem);

public bool Contains( SportsCaritem);

public void CopyTo( SportsCar[] array);

public int FindIndex(System.Predicate‹ SportsCar› match);

public SportsCar FindLast(System.Predicate‹ SportsCar› match);

public bool Remove( SportsCaritem);

public int RemoveAll(System.Predicate‹ SportsCar› match);

publiс SportsCar[] ToArray();

public bool TrueForAll(System.Predicate‹ SportsCar› match);

public SportsCarthis[int index] { get; set; }

…

}

}

Конечно, когда вы создаете обобщенный List‹T›, нельзя сказать, что компилятор буквально создает совершенно новую реализацию типа List‹T›. Он обращается только к тем членам обобщенного типа, которые вы вызываете фактически. Чтобы пояснить это, предположим, что вы используете List‹T› для объектов SportsCar так.

static void Main(string[] args) {

// Проверка List, содержащего объекты SportsCars.

List‹SportsCar› myCars = new List‹SportsCar›();

myCars.Add(new SportsCar());

Console.WriteLine("Your List contains {0}", myCars.Count);

}

Если с помощью ildasm.exe проверить генерируемый CIL-код, обнаружатся следующие подстановки.

.method private hidebysig static void Main(string[] args) cil managed {

.entrypoint

.maxstack 2

.locals init ([0] class [mscorlib] System.Collections.Generic.'List`1'‹class SportsCar›myCars)

newobj instance void class [mscorlib]System.Collections.Generic.'List`1'‹class SportsCar›::.ctor()

stloc.0

ldloc.0

newobj instance void CollectionGenerics.SportsCar::.ctor()

callvirt instance void class [mscorlib]System.Collections.Generic.'List`1'‹class SportsCar›::Add(!0)

nop

ldstr "Your List contains {0} item(s)."

ldloc.0

callvirt instance int32 class [mscorlib] System.Collections.Generic.'List`1' ‹class SportsCar›::get_Count()

box [mscorlib] System.Int32

call void [mscorlib]System.Console::WriteLine(string, object)

nop

ret

}

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

Чтобы научиться интегрировать обобщения в проекты, мы начнем с простого примера обычной подпрограммы свопинга. Целью этого примера является построение метода обмена, который сможет работать c любыми типами данных (характеризуемыми значениями или ссылками), используя для этого один параметр типа. В силу самой природы алгоритмов свопинга входные параметры будут посылаться по ссылке (с помощью ключевого слова C# ref). Вот соответствующая полная реализация.