Net framework 5, а также среды Visual Studio 2012 и C#

Обобщенные интерфейсы
Конечно же, основное преимущество обобщений — это способность определять 
обобщенные ссылочные и значимые типы. Но для CLR также исключительно важна 
поддержка обобщенных интерфейсов. Без них любая попытка работы со значимым 
типом через необобщенный интерфейс (например, 
IComparable
) всякий раз будет 
приводить к необходимости упаковки и потере безопасности типов в процессе 
компиляции, что сильно сузило бы область применения обобщенных типов. Вот 
почему CLR поддерживает обобщенные интерфейсы. Ссылочный и значимый типы 
реализуют обобщенный интерфейс путем задания аргументов-типов, или же любой 
тип реализует обобщенный интерфейс, не задавая аргументы-типы. Рассмотрим 
несколько примеров.
Определение обобщенного интерфейса из библиотеки FCL (из пространства 
имен 
System.Collections.Generic
) выглядит следующим образом:
public interface IEnumerator : IDisposable, IEnumerator {
T Current { get; }
}
Следующий тип реализует данный обобщенный интерфейс и задает аргументы 
типа.
Обратите внимание, что объект 
Triangle
может перечислять набор объектов 
Point
, а свойство 
Current
имеет тип 
Point
:
internal sealed class Triangle : IEnumerator
{
private Point[] m_vertices;
// Тип свойства Current в IEnumerator
 - это Point
продолжение


---

316
Глава.12 .Обобщения
public Point Current { get { ... } }
...
}
Теперь рассмотрим пример типа, реализующего тот же обобщенный интерфейс, 
но без задания аргументов-типов:
internal sealed class ArrayEnumerator : IEnumerator {
private T[] m_array;
// Тип свойства Current в IEnumerator — T
public T Current { get { ... } }
...
}
Обратите внимание: объект 
ArrayEnumerator
перечисляет набор объектов 
T
(где 
T
не задано, поэтому код, использующий обобщенный тип 
ArrayEnumerator
, может 
задать тип 
T
позже). Также отмечу, что в этом примере свойство 
Current
имеет не-
определенный тип данных 
T
. Подробнее обобщенные интерфейсы обсуждаются в 
главе 13.