使用负数组大小抛出OverflowException背后的基本原理？

Question

编写完可以归结为以下内容的代码后:

var size=-1;
var arr=new byte[size];

我很惊讶它抛出了一个OverflowException.OverflowException状态的文档:

在已检查上下文中的算术,转换或转换操作导致溢出时引发的异常.

我无法看到为这个异常提供的描述如何提供负大小和数组长度,所以深入研究并发现这确实是指定的行为:

尺寸长度的计算值验证如下.如果一个或多个值小于零,则抛出System.OverflowException,并且不执行进一步的步骤.

我想知道为什么选择了OverflowException.如果你问我,那会很误导.我花了至少5分钟的调查时间(不计算我的思考).任何人都可以对这个(我认为)特殊的设计决定有所了解吗？

Answer 1

这几乎肯定是一种优化..NET框架代码非常虔诚地检查参数,让程序员陷入成功之中.但这不是免费的.成本相当微小,许多类方法比检查花费的机器周期多得多.

但阵列很特别.它们是框架中非常核心的数据结构.几乎每个集合类都建立在它们之上.放入Array类的任何开销都会直接影响其上的大量代码的效率.避免检查是可以的,当内部代码需要将值转换为unsigned时,它会被隐式检查.它的出行非常罕见.因此,检查它两次并不值得更好的异常消息.

Answer 2

文档中的OverflowException基本上将溢出定义为:

生成超出数据类型范围的结果

在这种情况下,负值超出了数组大小的有效范围(或实际上,任何大小).

我可以看到ArgumentOutOfRangeException可能在某些方面更好的论点 - 但是,数组定义中没有参数(因为它不是方法),所以它也不是一个完美的选择.