IEnumerable的C#泛型约束

Question

public interface I {
}
public class A : I {
}

编译器显式IEnumerable<A>为IEnumerable<I>:

public void Test() {
    IEnumerable<A> a = new List<A>();
    new List<I>().AddRange(a);
}

但是通过通用约束,我们得到:

public void Test<T>() where T : I {
    IEnumerable<T> t = new List<T>();
    new List<I>().AddRange(t);
}
                          ^^^
Argument 1: cannot convert from 'IEnumerable<T>' to 'IEnumerable<I>'

但是,编译很好.

public void Test<T>(T t) where T : I {
    new List<I>().Add(t);
}

因此问题是:这是一个正确的行为,还是一个错误？

Answer 1

问题是通用协方差仅适用于参考类型.例如,a List<int>不是*a IEnumerable<Comparable>,而是a List<string>.

因此,如果您约束T为引用类型,它将编译:

public void Foo<T, I>() where T : class, I 
{
    IEnumerable<T> t = new List<T>();
    new List<I>().AddRange(t);
}