为什么在 C# 中允许“long”作为数组长度？

Question

我想尝试分配一个 40 亿字节的数组，这是我的 C# 代码：

long size = 4 * 1000;
size *= 1000;
size *= 1000;
byte[] array = new byte[size];

此代码在包含new的行上失败并出现System.OverflowException 。 好的，原来Length返回int ，因此数组长度也仅限于int可以存储的内容。

那么为什么没有编译时错误并且允许在分配时将long用作数组元素的数量呢？

Answer 1

因为规范在第 7.6.10.4 节中是这么说的：

表达式列表中的每个表达式都必须是int 、 uint 、 long或ulong ，或者可以隐式转换为这些类型中的一种或多种。

这很可能很容易允许创建大于 2 GiB 的数组，即使它们尚不受支持（但一旦 CLR 进行此类更改，语言将不会更改）。 Mono 确实支持这一点，但是 .NET 4.5 显然也将允许更大的数组。

顺便说LongLength ，关于数组长度是一个int ：还有LongLength ，返回一个long 。 这是在 .NET 1.1 中并且可能是面向未来的更改。

Answer 2

为什么允许 long 作为数组长度？

答案是：.net 中的 long 表示 Int64

根据规范，数组索引可以是 Int64。

第二个问题：为什么会出现溢出异常？

因为任何单个对象都不能分配超过 2GB 的内存。

Answer 3

这是 CLR 的一个限制，单个对象不能超过 2GB，包括数组：

大数组 C# OutOfMemoryException

这与 32 位或 64 位操作系统无关。 也就是说，它不会阻止您使用的总量超过该数量，只是不是在一个对象上。

这是一个运行时错误，因为如果您将long （或其他初始化值）保持在范围内，它将起作用。

您可以使用所有整数类型初始化数组： sbyte 、 char 、 short 、 int和long - 全部编译； 未签名的变体也有效。

Answer 4

.Net 4.5-4.6 中有一个解决方案，用于允许数组的大尺寸。

<runtime>
    <gcAllowVeryLargeObjects enabled="true" />
</runtime>

Answer 5

long是整型，所以可以用来定义数组； 例外是构建太大的数组，而不是特别是使用long 。

例如，这很好用：

long size = 20;
byte[] array = new byte[size];