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)

 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

}

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

Создание обобщенных методов