为什么 System.Array 不能是类型约束？

Question

我正在处理一个包含几种不同类型数组的小项目（例如double[]、float[]、int[]。出于验证/测试/健全的目的，我将其中一些数组打印到控制台。所以我有多个如下所示的函数（在此示例中进行了简化 - 假设我只处理单维数组）：

void Print(float[] a) // prints an array of floats
{
    for (int i = 0; i < a.Length; i++)
    {
        Console.Write(a[i]);
    }
}

void Print(double[] a) // prints an array of doubles
{
    for (int i = 0; i < a.Length; i++)
    {
        Console.Write(a[i]);
    }
}

以我无限的智慧，我认为我可以通过简单地创建这些函数的通用版本来减少一些代码重复。所以我尝试了这个：

void Print<T>(T t) where T : Array
{
    for (int i = 0; i < t.Length; i++)
    {
        Console.Write(t.GetValue(i));
    }
}

Intellisense 没有抱怨，但编译器失败并出现一个非常有趣的错误：

Constraint cannot be special class 'System.Array'

我一直在寻找解释（类似于Object 或密封类，但除了提到on msdn 之外，还没有找到太多。谁能给我解释一下为什么这是case？为什么不能指定System.Array的类型约束？

p.s.：在输入这​​个的时候，我意识到我可以更轻松地完成我最初想要的事情，只需一个简单的函数：

void Print(System.Array a)
{
    for (int i = 0; i < a.Length; i++)
    {
        Console.Write(a.GetValue(i));
    }
}

这就是为什么编译器中有一个特殊的数组规则吗？

Answer 1

执行您想要的操作的适当语法是这样的：

void Print<T>(T[] array)
{
    for (int i = 0; i < array.Length; i++)
    {
        Console.Write(array[i]);
    }
}

Answer 2

如果从字面上理解这个问题，那么有一个Array 约束是没有用的。这与拥有ValueType 约束是一样的，因为它实际上并不检查您是否使用值类型作为泛型参数，而是检查您传递的类型是否可分配给ValueType。
因此，您甚至可以将 Array 作为通用参数传递，就可以了。

真正有用的是有一个 array 约束，允许从 Array 派生的任何类型，但不是 Array 本身：

void Print<TArr>(TArr t) where TArr : array //or [*] or other fancy syntax

其中T 可以是[]、[,]、[,,]、[,,,]，等等。唯一超过非泛型的Array 参数是我们知道数组的元素类型。

解决此问题的另一种方法是创建一个自定义 Array<T> 类，其中包含 T[]、T[,]、T[,,] 等隐式运算符重载。

编辑：
即使在 CIL（当前）中也无法实现这一点，因为 int[,] 和 Array 在任何接口或构造函数中都没有区别。我们需要where T : Array but not Array itself 约束。