E2099 转换或算术运算溢出

我想将 int64 与这样的变量进行比较：

const GB=1073741824;
if DiskFile.Size< 1*GB then 

它适用于 1 但不适用于 3：

if DiskFile.Size< 3*GB then 

这个帖子 （奇怪的 Delphi 整数乘法行为）解释了原因。我同意这个解释。 2*GB 的结果无法容纳在“整数”中。我不明白的是为什么编译器选择整数而不是 int64？正如以下情况：

if DiskFile.Size< 3073741824 then      <--------- almost 3GB

这样可行。

有什么方法可以以 3*GB 样式（使用常量）编写最后一行代码，但无需为 1GB、2GB、3GB、4GB 等定义新常量？

这里首先要明确的是，整数溢出发生在编译器中。编译器必须评估你的表达式，因为它是一个常量表达式它们由编译器评估。

关于编译器如何处理表达式的文档有点稀疏（我在这里很友善）。我们至少可以凭经验推断，编译器尝试执行3*GB在有符号整数上下文中。从错误消息中可以清楚地看出这一点。

您需要强制编译器计算表达式Int64语境。强制转换将强制：

if DiskFile.Size< Int64(3)*GB then 
  ....

另一种选择是使常量具有类型Int64:

const 
  GB = Int64(1073741824);

虽然我想我会这样写：

const
  KB = Int64(1024);
  MB = 1024*KB;
  GB = 1024*MB;

只要GB是 64 位类型，那么您可以恢复为：

if DiskFile.Size < 3*GB then 
  ....

我想详细说明上面的第二段。我们如何知道编译器在 32 位有符号整数上下文中执行算术？以下程序表明情况确实如此：

{$APPTYPE CONSOLE}

const
  C1 = 715827882; // MaxInt div 3
  C2 = C1+1;

begin
  Writeln(3*C1);
  Writeln(3*C2);
  Readln;
end.

第一个表达，3*C1编译，第二个失败并显示 E2099。第一个表达式不会溢出有符号 32 位整数，第二个表达式会溢出。

当看着文档，尚不清楚是否为真实常数1073741824应该是类型Integer or Cardinal。编译器可以选择其中之一。看起来，当编译器在有符号类型和无符号类型之间进行选择时，它会选择有符号类型。

但是人们可能会想象下面的程序也会以同样的方式运行，但是Smallint and Word取代Integer and Cardinal:

{$APPTYPE CONSOLE}

const
  C1 = 10922; // high(Smallint) div 3
  C2 = C1+1;

begin
  Writeln(3*C1);
  Writeln(3*C2);
  Readln;
end.

但不，这个程序可以编译。所以，在这一点上我放弃了文档这似乎与编译器的实际行为关系不大。

我最好的猜测是，整数真常量的处理方式如下：

1. 如果在范围内Integer，它的类型是Integer.
2. 否则，如果在范围内Cardinal，它的类型是Cardinal.
3. 否则，如果在范围内Int64，它的类型是Int64.
4. 否则，如果在范围内UInt64，它的类型是UInt64.
5. 否则是编译器错误。

当然，所有这些都假设编译器计算常量表达式的规则遵循与语言的其余部分相同的规则。我不确定情况是否如此。