C# 4.0 полное руководство - 2011

//И это вполне допустимо как при наличии контравариантности, так и без нее. IMyContraVarGenIF BetaRef = new MyClass;

// Создать ссылку из интерфейса IMyContraVarGenIF

7/ на объект типа MyClass.

// *** Это вполне допустимо благодаря контравариантности. *** IMyContraVarGenIF BetaRef2 = new MyClass;

// Этот вызов допустим как при наличии контравариантности, так и без нее.

BetaRef.Show(new Beta);

// Присвоить переменную AlphaRef переменной BetaRef.

// *** Это вполне допустимо благодаря контравариантности. ***

BetaRef = AlphaRef;

BetaRef.Show(new Beta );

Прежде всего, обратите внимание на создание двух переменных ссылочного типаIMyContraVarGenlF,которым присваиваются ссылки на объекты классаMyClass,где параметры типа совпадают с аналогичными параметрами в интерфейсных ссылках. В первом случае используется параметр типаAlpha,а во втором — параметр типаBeta.Эти объявления не требуют контравариантности и допустимы в любом случае.

Далее создается переменная ссылочного типаIMyContraVarGenIF,но на этот раз ей присваивается ссылка на объект классаMyClass.Эта операция вполне допустима, поскольку обобщенный типТобъявлен как контравариантный.

Как и следовало ожидать, следующая строка, в которой вызывается методBetaRef. Show с аргументомBeta,является вполне допустимой. ВедьBeta— это обобщенный типТв классеMyClassи в то же время аргумент в методеShow .

В следующей строке переменнаяAlphaRefприсваивается переменнойBetaRef.Эта операция вполне допустима лишь в силу контравариантности. В данном случае переменная относится к типуMyClass,а переменнаяAlphaRef— к типуMyClass.Но посколькуAlphaявляется базовым классом для классаBeta,то такое преобразование типов оказывается допустимым благодаря контравариантности. Для того чтобы убедиться в необходимости контравариантности в рассматриваемом здесь примере, попробуйте удалить ключевое словоinиз объявления обобщенного типаТв интерфейсеIMyContraVarGenlF,а затем попытайтесь скомпилировать приведенный выше код еще раз. В результате появятся ошибки компиляции.

Ради большей наглядности примера вся рассмотренная выше последовательность операций собрана ниже в единую программу.

// Продемонстрировать контравариантность в обобщенном интерфейсе, using System;

// Это обобщенный интерфейс, поддерживающий контравариантность. public interface IMyContraVarGenIF { void Show(T obj);

}

// Реализовать интерфейс IMyContraVarGenlF. class MyClass : IMyContraVarGenIF {

public void Show(T x) { Console.WriteLine(x); }

}

// Создать простую иерархию классов, class Alpha {