为什么 C# 允许将泛型数组与所有类型的模式进行匹配？

Question

我有一个泛型类型T 的数组，我想检查长度是否为0。但是，我打错了，而不是Array.Length is 0，我输入了Array is 0。当我注意到这个错字时，我想知道为什么它没有给我一个编译时错误，当我使用任何具体类型的数组（如string、int、object，甚至dynamic。显然，无论数组的底层类型是什么，数组都不能是int 值为零，所以这是值得怀疑的。我尝试了各种其他 int 文字、字符串文字，我什至尝试了小于和大于模式，所有这些都奏效了。我尝试更改数组的维度或可空性（因为我的原始示例是 T[,]?），我什至尝试向 T 泛型类型添加一些约束，但没有任何改变。

是否存在一些特殊情况，这些模式实际上可以匹配（即使我无法想象，因为它们仍然只是数组），还是编译器错误？如果是后者，是什么原因造成的？

---

由于有人要求提供代码，因此这是一个简单的测试，它给了我相同的结果： （假设 T 是任何泛型类型）

T[] array = new T[42];
// You can assign anything here
// Only thing that matters is that the variable is a T[] with any number of dimensions
if (array is 0 or "test") Console.WriteLine("This shouldn't even compile")

Answer 1

我认为这是 C# 7.1 中以下specification change 的结果：

现有 C# as operator 的规范允许存在 操作数的类型和指定的类型之间没有转换 当任何一个都是开放类型时。但是，在 C# 7 中，类型标识符 模式要求输入的类型之间存在转换 和给定的类型。

我们建议放宽这一点，将表达式更改为类型标识符，在 除了在被允许的条件下被允许 C# 7，当表达式作为类型被允许时也被允许。 具体来说，新案例是表达式的类型 或者指定的类型是开放类型。

改变自己：

左侧的静态类型和 给定类型被认为不兼容并导致编译时 错误。静态类型 E 的值被称为与模式兼容 类型 T 如果存在身份转换，则为隐式 引用转换，装箱转换，显式引用 转换，或从 E 到 T 的拆箱转换，或者如果是 E 或 T 是开放型。如果 E 类型的表达式是编译时错误 与它所在的类型模式中的类型不兼容 匹配。

由于此更改，如果 is 的左侧是开放的泛型类型（您的问题就是这种情况） - 那么它被认为是他们所说的与右侧的“模式兼容”。

但是，特定的泛型类型如string[] 违反了规范中提到的其他限制，因此与 int 不“模式兼容”，因此会导致编译错误。

T[] array = new T[10];
bool test = array is int; // that's fine with this proposal, since left sid e is open type

现在关于您正在使用的 constant pattern 的文档 (is 0) 说：

当输入值不是开放类型时，常量表达式为 隐式转换为匹配表达式的类型；如果 输入值的类型与 常量表达式，模式匹配操作出错。

正如我们所知道的，开放类型（T[]，其中 T 未解析）泛型数组与 int 模式兼容，因此编译器可以满足您的表达式，而 string[]（或任何其他封闭的泛型数组) 与模式不兼容并导致错误。

您可以在第一个链接中查看动机部分，了解他们决定以这种方式更改规范的原因。