C# Ковариация/контравариантность в IEnumerable, где T — универсальный тип, интерфейс или класс ⇐ C#

[Anonymous]

Кто-нибудь понимает, почему наличие общего ограничения в качестве класса отличается от интерфейса? Этот код не компилируется:

Код: Выделить всё

public interface IInterface
{
}

public class Class where T : IInterface
{
public void Do()
{
IEnumerable ret = GetEnumerable();
}

public IEnumerable GetEnumerable()
{
return new T[0];
}
}

тогда как при изменении IInterface на класс внезапно компилируется

Код: Выделить всё

public class IInterface
{
}

public class Class where T : IInterface
{
public void Do()
{
IEnumerable ret = GetEnumerable();
}

public IEnumerable GetEnumerable()
{
return new T[0];
}
}

Я знаю, что могу использовать:

Код: Выделить всё

IEnumerable ret = (IEnumerable)GetEnumerable();

но мне бы очень хотелось знать, почему необходимо приведение типов, если IInterface является интерфейсом.

Подробнее здесь: https://stackoverflow.com/questions/714 ... ric-type-i