Обобщенные интерфейсы. 
Программирование. 
Базовый курс с#

Напомним, что членами интерфейса могут быть прототипы методов, свойств, индексаторов, событий. В обобщенном интерфейсе типизирующие параметры определяют типы возвращаемых значений и параметров членов интерфейса. Как и для классов и структур, признаком обобщенного интерфейса является список типизирующих параметров в его объявлении. Типизирующие параметры — это идентификаторы, разделенные запятыми и помещенные в угловые скобки. Пример:

public interface IExample.

{ // обобщенный интерфейс

char this[T index] {get; set;} // прототип индексатора int add (T x, T у); // прототип метода

}

В обобщенном интерфейсе IExample один типизирующий параметр. Он специфицирует тип параметра прототипа индексатора, а для прототипа метода — определяет типы параметров.

Обобщенный интерфейс может быть реализован как обобщенным, так и регулярным типом. Пример реализации обобщенного интерфейса обобщенным классом:

// реализация обобщенным классом class real: IExample.

{.

public char this[U r].

{.

get {return r. ToString ()[0]; }.

set{}.

}

public int add (U a, U b).

{return a. GetHashCode () + b. GetHashCode ();}.

}

В реализации индексатор возвращает первый символ строкового представления индекса, использованного при обращении к индексатору. В качестве реализации аксессора set использована «заглушка». Реализация метода add (U a, U Ь) выполняет суммирование хеш-кодов аргументов. Так как методы ToStringO и GetHashCodeQ присущи всем классам языка С#, то в объявление обобщенного класса не потребовалось включать ограничения на типизирующий параметр.

Применение обобщенного класса real иллюстрирует следующий код:

class Program.

{

static void MainQ.

{

var tempi = new real ();

var temp2 = new real ();

Console.WriteLine (templ[655]);

Console.WriteLine (tempi.add (950, 6));

Console.WriteLine (temp2[155]);

Console.WriteLine (temp2.add (34, 6));

} }

Результаты выполнения программы: б.

• 956
• 1
• 40

Регулярный тип (класс или структура) может реализовать несколько специализаций интерфейсов, сконструированных на основе одного обобщенного интерфейса. Общие принципы этого механизма иллюстрирует следующий код с тривиальными реализациями членов интерфейсов:

struct Realization: IExample, IExample.

{

public char this[string st].

{ get { return } set { } }.

public int add (string si, string s2).

{ return -135; }.

public char this[double d].

{ get { return (char)d; } set { } } public int add (double dl, double d2).

{ return (int)(dl — d2); }.

}

В данном случае регулярная структура struct Realization реализует два интерфейса, сконструированных на основе обобщенного интерфейса IExample. При такой реализации в структуре создаются перегруженные методы add () и перегруженные индексаторы. В следующем фрагменте кода создается один экземпляр структуры Realization и для него с аргументами разных типов вызываются метод add () и индексатор.

static void Main ().

{

Realization exemplar = new Realization ();

Console.WriteLine (exemplar.add (5.6, 3.3));

Console.WriteLine (exemplar.add («123», «abc»));

Console.WriteLine (exemplar[5.6]);

Console.WriteLine (exemplar[" screb" ]);

}

В консольное окно выводятся следующие значения:

• 2
• -135

#.

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

Пример заголовка, который вызовет ошибку компиляции:

public class Example: IExample, IExample.

В этом классе предлагается реализовать сконструированный тип (интерфейс) IExample и обобщенный интерфейс IExample с типизирующим параметром Н. Если при инстанцировании класса Example вместо параметра Н будет подставлен аргумент char, возникнет конфликт, так как класс должен будет реализовывать два одинаковых интерфейса, что невозможно.