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

问题是泛型协变只适用于引用类型。例如，List<int>不是* IEnumerable<Comparable> ，而是一个 List<string>是。

所以如果你限制T作为引用类型，它编译:

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