public ReadOnlyCollection<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 с указанием объектов Person результат будет таким же, как если бы тип List был определен следующим образом:

namespace System.Collections.Generic

{

  public class List<Person>

    : IList<Person>, IList, IReadOnlyList<Person>

  {

    ...

    public void Add(Person item);

    public void AddRange(IEnumerable<Person> collection);

    public ReadOnlyCollection<Person> AsReadOnly;

    public int BinarySearch(Person item);

    public bool Contains(Person item);

    public void CopyTo(Person[] array);

    public int FindIndex(System.Predicate<Person> match);

    public Person FindLast(System.Predicate<Person> match);

    public bool Remove(Person item);

    public int RemoveAll(System.Predicate<Person> match);

    public Person[] ToArray;

    public bool TrueForAll(System.Predicate<Person> match);

    public Person this[int index] { get; set; }

  }

}

Несомненно, когда вы создаете в коде переменную обобщенного типа List, компилятор вовсе не создает новую реализацию класса List. Взамен он принимает во внимание только члены обобщенного типа, к которым вы действительно обращаетесь.

Указание параметров типа для обобщенных членов

В необобщенном классе или структуре разрешено поддерживать обобщенные свойства. В таких случаях необходимо также указывать значение заполнителя во время вызова метода. Например, класс System.Array поддерживает набор обобщенных методов. В частности, необобщенный статический метод Sort имеет обобщенный аналог по имени Sort. Рассмотрим представленный далее фрагмент кода, где Т — тип int:

int[] myInts = { 10, 4, 2, 33, 93 };

// Указание заполнителя для обобщенного метода Sort<>.

Array.Sort(myInts);

foreach (int i in myInts)

{

  Console.WriteLine(i);

}

Указание параметров типов для обобщенных интерфейсов

Обобщенные интерфейсы обычно реализуются при построении классов или структур,которые нуждаются в поддержке разнообразных аспектов поведения платформы (скажем, клонирования, сортировки и перечисления). В главе 8 вы узнали о нескольких необобщенных интерфейсах, таких как IComparable, IEnumerable, IEnumerator и IComparer. Вспомните, что необобщенный интерфейс IComparable определен примерно так:

public interface IComparable

{

  int CompareTo(object obj);

}

В главе 8 этот интерфейс также был реализован классом Car, чтобы сделать возможной сортировку стандартного массива. Однако код требовал нескольких проверок времени выполнения и операций приведения, потому что параметром был общий тип System.Object:

public class Car : IComparable

{

  ...

  // Реализация IComparable.

  int IComparable.CompareTo(object obj)

  {

    if (obj is Car temp)

    {

      return this.CarID.CompareTo(temp.CarID);

    }

    throw new ArgumentException("Parameter is not a Car!");

                              // Параметр не является объектом типа Car!

  }

}

Теперь представим, что применяется обобщенный аналог данного интерфейса:

public interface IComparable

{

  int CompareTo(T obj);

}

В таком случае код реализации будет значительно яснее: