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

Для того чтобы стали понятнее последствия применения ковариантности, обратимся к конкретному примеру. Ниже приведен очень простой интерфейсIMyCoVarGenlF,в котором применяется ковариантность.

//В этом обобщенном интерфейсе поддерживается ковариантность, public interface IMyCoVarGenlFCout Т> {

Т GetObject();

}

Обратите особое внимание на то, как объявляется параметр обобщенного типаТ.Его имени предшествует ключевое словоout.В данном контексте ключевое словоoutобозначает, что обобщенный типТявляется ковариантным. А раз он ковариантный, то методGetOb j ect() может возвращать ссылку на обобщенный типТили же ссылку на любой класс, производный от типаТ.

Несмотря на свою ковариантность по отношению к обобщенному типуТ,интерфейсIMyCoVarGenlFреализуется аналогично любому другому обобщенному интерфейсу. Ниже приведен пример реализации этого интерфейса в классеMyClass.

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

T obj;

public MyClass(T v) { obj = v; } public T GetObject() { return obj; }

}

Обратите внимание на то, что ключевое словоoutне указывается еще раз в выражении, объявляющем реализацию данного интерфейса в классеMyClass.Это не только не нужно, но и вредно, поскольку всякая попытка еще раз указать ключевое словоoutбудет расцениваться компилятором как ошибка.

А теперь рассмотрим следующую простую реализацию иерархии классов.

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

public Alpha(string n) { name = n; }

public string GetNameO { return name; }

// ...

}

class Beta : Alpha {

public Beta(string n) : base (n)    { }

// ...

}

Как видите, классBetaявляется производным от классаAlpha.

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

// Создать ссылку из интерфейса IMyCoVarGenlF на объект типа MyClass.

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

new MyClass(new Alpha("Alpha #1"));

Console.WriteLine("Имя объекта, на который ссылается переменная AlphaRef: " + AlphaRef.GetObj ect() .GetName());

//А теперь создать объект MyClass и присвоить его переменной AlphaRef.

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

AlphaRef = new MyClass(new Beta("Beta #1"));

Console.WriteLine("Имя объекта, на который теперь ссылается " +

"переменная AlphaRef: " + AlphaRef.GetObject().GetName());