如何将 IList<T1> 分配给 T1 是 T2 的子类型的 IList<T2>？

Question

前言：

我在问题 C#'s equivalent of Java's <? extends Base> in generics 中阅读了有关协变和逆变的内容，但将我的项目切换到 .net 4.0 似乎没有奏效。

---

考虑以下类构造函数：

public Matrix(IList<RowVector> rows) {
    if (!Vector.AreDimensionsEqual(rows)) {
        throw new ArgumentException("foo");
    }

    for (int i = 0; i < rows.Length; ++i) {
        for (int j = 0; j < rows[0].Length; ++j) {
            Components[i][j] = rows[i].Components[j];
        }
    }
}

和方法AreDimensionsEqual(IList<Vector> vectors):

public static bool AreDimensionsEqual(IList<Vector> vectors) {
    int dimensions = vectors[0].Dimension;

    for (int i = 1; i < vectors.Count; ++i) {
        if (vectors[i].Dimension != dimensions) {
            return false;
        }
    }

    return true;
}

这里，Matrix 构造函数中的rows 是RowVector 对象的列表，我试图将其用作需要Vector 对象列表的方法调用的参数。 RowVector 是 Vector 的子类型。

我最熟悉Java，所以如果我在那里编程，我会将AreDimensionsEqual 的方法签名定义为AreDimensionsEqual(IList<? extends Vector> vectors)，但这种语法在C# 中不可用。

我还有什么遗漏的吗？

Answer 1

IList 中的泛型类型参数T 不是协变的。

但是IEnumerable<out T> 中的泛型类型参数T 是协变的（注意out keyword）。

因此，您可以更改您的 AreDimensionsEqual 方法以使用 IEnumerable 参数：

    public static bool AreDimensionsEqual(IEnumerable<Vector> vectors)
    {
        int dimensions = vectors.First().Dimension;
        return vectors.All(v => v.Dimension == dimensions);
    }

给出的代码在功能上等同于问题中所示的 AreDimensionsEqual 方法。

Answer 2

您不能这样做，因为IList 在其通用参数中是不变的。作为为什么不能这样做的示例，请考虑以下类层次结构：

class A
{
}

class B : A
{
}

class C : A
{
}

现在想象以下工作：

IList<A> listOfA = new List<B>();
listOfA.Add( new C() );

我们刚刚将C 类型的项目添加到真正 类型为List<B> 的集合中。我们不能那样做。但据listOfA.Add 所知，这只是A 的列表，而C 添加到A 的列表中是完全合理的。