delphi - 范围检查错误的原因(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

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

The $R directive enables or disables the generation of range-checking code. In the {$R+} state, all array and string-indexing expressions are verified as being within the defined bounds, and all assignments to scalar and subrange variables are checked to be within range. If a range check fails, an ERangeError exception is raised (or the program is terminated if exception handling is not enabled).

所以这里的原因是对标量值的赋值，它被赋予了一个已经超过上限的值。

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

示例:

{$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=什么都没有

测试是(伪代码)使用XE2在32位模式下:

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