如何格式化MinExtended80Denormal？能否用RTL函数将其转为字符串？

你遇到的问题确实是Delphi RTL内置格式化函数的一个局限性——FormatFloat这类函数对指数域为0的80位非规格化Extended数值支持不足，尤其是像System.Math.MinExtended80Denormal这种极小的非规格化数，会被错误地格式化为全零的字符串。

问题根源 #

80位Extended类型的非规格化数（denormals）的指数域是全0，而RTL的格式化函数在处理这类数值时，通常会直接将其判定为0，忽略了尾数部分的有效非零位，导致输出不符合预期的结果。

解决方案：手动解析Extended内存结构 #

由于RTL没有内置直接支持这类数值的格式化函数，我们可以通过手动解析Extended的内存布局来实现正确的字符串转换。80位Extended的内存结构如下：

• 第10字节（最高位）：1位符号位
• 第9-10字节的剩余部分：15位指数位
• 前8字节：64位尾数（非规格化数的尾数没有隐含的1，直接使用原始值）

下面是一个实现函数：

function DenormalExtendedToString(const Value: Extended): string;
var
  Bytes: array[0..9] of Byte absolute Value;
  Sign: string;
  Mantissa: UInt64;
  MantissaDecimal: Extended;
begin
  // 处理符号位
  Sign := IfThen((Bytes[9] and $80) <> 0, '-', '');
  
  // 读取64位尾数
  Mantissa := UInt64(Bytes[7]) or (UInt64(Bytes[6]) shl 8) or 
              (UInt64(Bytes[5]) shl 16) or (UInt64(Bytes[4]) shl 24) or
              (UInt64(Bytes[3]) shl 32) or (UInt64(Bytes[2]) shl 40) or
              (UInt64(Bytes[1]) shl 48) or (UInt64(Bytes[0]) shl 56);
  
  // 非规格化数的实际指数为 -16382（Extended的偏移指数是16383，指数域0对应实际指数-16382）
  MantissaDecimal := Mantissa / Power(2, 64);
  Result := Format('%s%.64fE-16382', [Sign, MantissaDecimal]);
end;

调用这个函数处理MinExtended80Denormal就能得到正确的字符串表示，比如：

var
  S: string;
begin
  S := DenormalExtendedToString(System.Math.MinExtended80Denormal);
  // 输出类似 "-1.000000000000000000000000000000000000000000000000000000000000000E-16382"
end;

补充说明 #

如果需要处理所有Extended数值（包括规格化数和非规格化数），可以在函数中加入指数域的判断：当指数域不为0时，直接使用FormatFloat处理规格化数，指数域为0时用上述逻辑处理非规格化数。

内容的提问来源于stack exchange，提问作者ventiseis