范围检查错误的原因（Delphi）

Question

下面是一些代码的压缩版本，它会导致范围检查错误和溢出错误，如果我打开这些编译器检查指令的话。我理解为什么这会导致溢出，在C1的乘法上，它似乎可能会超过数据类型的最大值。但为什么这也会触发范围检查错误？Delphi的文档和其他关于堆栈溢出的文章听起来像是范围检查错误通常是针对超出范围的数组访问。但是我没有访问一个数组，因为它说的数组导致了范围检查错误。也许是在派往param1的任务上？但如果是这样的话，为什么这是一个范围检查而不是溢出错误呢？

const
  C1 = 44001;
  C2 = 17999;

function fxnName(..other params...; param1: Word): String;
var
  someByte: byte;
begin
  // some code
  // by now we're in a loop. the following line is where it breaks to in the debugger: 
  param1 := (someByte + param1) * C1 + C2;
  // more code
end;

如果它是相关的，当它在调试器中的那一行中断时，所有的值看起来都是预期的，除了param1，它在我要求Delphi对其求值时显示“未声明的标识符：'param1'”。

Answer 1

有关范围检查的文档说明：

$R指令启用或禁用范围检查代码的生成。在{$R}状态下，所有数组和字符串索引表达式都被验证为在定义的边界内，并且对标量和子范围变量的所有赋值都被检查为在范围内。如果范围检查失败，将引发ERangeError异常（如果未启用异常处理，则程序将终止）。

这里的原因是对一个标量值的赋值，这个标量值被赋予一个超过上限的值。

另请参见docwiki简单类型关于简单类型和子范围类型的范围检查错误。

例子：

{$R+} // Range check on
var
  w1,w2 : word;
begin
  w1 := High(word);
  w1 := w1 + 10; // causes range-check error on assignment to w1 (upper range passed)
  w2 := 0;
  w2 := w2 - 10; // causes range-check error on assignment to w2 (lower range passed)
end;

所有与平台无关的整数类型的$R和$Q的所有组合的汇总测试：

            R+Q+  R+Q-  R-Q+
 ShortInt    R     R     x
 SmallInt    R     R     x
 Integer     O     x     O
 LongInt     O     x     O
 Int64       O     x     O
 Byte        R     R     x
 Word        R     R     x
 LongWord    O     x     O
 Cardinal    O     x     O
 UInt64      O     x     O

R=距离误差；O=溢出错误；x=无

在32位模式下使用XE2进行测试（伪代码）：

number := High(TNumber);
number := number + 1;