浮点双精度常数被视为扩展

Question

在 664 位应用程序中，如果我将浮点常量与从 StrToFloat() 获得的相同“值”的值进行比较，我会得到不同的结果。例如：

procedure foo;
const
  d1 = 0.6694716
  d3: double = 0.6694716
var
  d2: double;
begin
  d2 := StrToFloat('0.6694716');
  if d1 = d2 then
    beep;
  if d1 = d3 then
    beep;
  if d2 = d3 then
    beep;

end;

d1 和 d3 的十六进制值为 $B47339B4，而 d2 的十六进制值为 $B47339B3。虽然它们是“平等”的比较。它们在技术上并不相同。据我所知，常数 d1 和 d2 是错误的。也许编译器使用 FPU，这是由于舍入造成的？

缺少将所有常量作为字符串并在运行时转换它们。有人知道解决这个问题的方法吗？

Answer 1

Delphi 中的浮点文字默认是扩展的。在 64 位中，这应该没有任何区别，但在 32 位中却有区别。我的猜测是，解析器仍然在内部将浮点文字表示为 10 字节浮点（扩展），然后 64 位编译器在编译时将其“舍入”为 8 字节（双精度）。

如果我的假设是正确的，那么可能没有什么办法可以规避这一点。

编辑

Delphi执行以下转换

• Double(3FE56C4FB47339B3) 转换为 Extended(3FFEAB627DA399CD9800)
• Double(3FE56C4FB47339B4) 转换为 Extended(3FFEAB627DA399CDA000)
• 0.6694716 是扩展(3FFEAB627DA399CD9C00)

Answer 2

令人厌恶的是，我将 const 作为字符串值，并在单元初始化中将它们转换为 double 。这样我们就得到了双倍而不是扩展的数学。这似乎有效。我预计它不适用于 32 位。

function HexToDouble(const val: uint64): double; inline;
begin
  result := Pdouble(@val)^;
end;

//use
D1 := HexToDouble($3fe56c4fb47339b3);