ЯЗЫК ПРОГРАММИРОВАНИЯ С# 2005 И ПЛАТФОРМА .NET 2.0. 3-е издание
вернуться

Троелсен Эндрю
Шрифт:

}

В этот момент вы можете поинтересоваться, что же на самом деле становится значением заполнителя. Открыв окно определения программного кода в 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(T item);

public IList‹T› AsReadOnly;

public int BinarySearch(T item);

public bool Contains(T item);

public void CopyTo(T[] array);

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

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

public bool Remove(T item);

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

public T[] ToArray;

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

public T this[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(SportsCar item);

public IList‹SportsCar› AsReadOnly;

public int BinarySearch(SportsCar item);

public bool Contains(SportsCar item);

public void CopyTo(SportsCar[] array);

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

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

public bool Remove(SportsCar item);

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

publiс SportsCar[] ToArray;

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

public SportsCar this[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)