问题理解C＃中与泛型的协方差

我不明白为什么下面的C＃代码无法编译。

如您所见，我有一个带有IEnumerable<T>参数的静态泛型方法Something （并且T被限制为IA接口），并且该参数不能隐式转换为IEnumerable<IA>。

有什么解释？（我不是在寻找解决方法，只是为了了解为什么它不起作用）。

public interface IA { }
public interface IB : IA { }
public class CIA : IA { }
public class CIAD : CIA { }
public class CIB : IB { }
public class CIBD : CIB { }

public static class Test
{
    public static IList<T> Something<T>(IEnumerable<T> foo) where T : IA
    {
        var bar = foo.ToList();

        // All those calls are legal
        Something2(new List<IA>());
        Something2(new List<IB>());
        Something2(new List<CIA>());
        Something2(new List<CIAD>());
        Something2(new List<CIB>());
        Something2(new List<CIBD>());
        Something2(bar.Cast<IA>());

        // This call is illegal
        Something2(bar);

        return bar;
    }

    private static void Something2(IEnumerable<IA> foo)
    {
    }
}

错误我Something2(bar)排队：

参数1：无法从“ System.Collections.Generic.List”转换为“ System.Collections.Generic.IEnumerable”

错误消息提供的信息不足，这是我的错。对于那个很抱歉。

您遇到的问题是协方差仅适用于引用类型这一事实的结果。

您现在可能会说“但是IA是引用类型”。是的。但是你没有说T 等于 IA。您说的T是一种实现 的类型IA，而值类型可以实现一个接口。因此，我们不知道协方差是否会起作用，我们不允许这样做。

如果要使用协方差，则必须告诉编译器，类型参数是具有class约束以及IA接口约束的引用类型。

错误消息实际上应该说转换是不可能的，因为协方差需要保证引用类型，因为这是根本问题。

我只是想用一个代码示例来补充Eric的出色内幕答案，以解决可能不太熟悉通用约束的示例。

更改Something的签名如下：class约束必须首先出现。

public static IList<T> Something<T>(IEnumerable<T> foo) where T : class, IA