如何在Haskell中用printf实现与C一致的浮点数舍入？

我有一段读取浮点数并打印六位小数的代码，C版本可正常运行，希望在不安装额外库的前提下实现效果完全一致的Haskell版本。

C代码实现 #

#include <stdio.h>
int main() {
    float n = 123.141568;
    printf("%.6f\n", n); // 输出：123.141571
    return 0;
}

Haskell现有实现 #

import Text.Printf (printf)
main = do
  let n = 123.141568 :: Float
  printf "%.6f\n" n -- 输出：123.141570

问题差异 #

多数情况下两者运行正常，但部分数值结果存在差异：例如当n=123.141568时，C程序输出123.141571，Haskell使用Float类型输出123.141570，改用Double类型则输出123.141568。

我的目标是让Haskell代码与C的输出完全一致，发现即使都使用printf，两者的舍入方式仍有差异，但不清楚原因。我尝试编写自定义舍入函数：

customRound x n = fromIntegral (round (x * 10^n)) / 10^n

但结果与使用Float或Double类型时的输出一致，未能解决问题。

解决思路 #

1. 直接通过FFI调用C的printf（最可靠） #

Haskell可以通过内置的FFI（Foreign Function Interface）直接调用C标准库的printf，完全复用C的格式化逻辑，不需要安装任何额外库，输出必然和C版本一致：

{-# LANGUAGE ForeignFunctionInterface #-}

import Foreign.C.String (withCString)
import Foreign.C.Types (CFloat(..))

-- 绑定C的printf函数
foreign import ccall unsafe "stdio.h printf" c_printf :: CString -> CFloat -> IO Int

main = do
    let n = 123.141568 :: Float
    -- 格式化字符串传入C的printf
    withCString "%.6f\n" $ \fmt -> do
        _ <- c_printf fmt (CFloat n)
        return ()

2. 手动对齐C的舍入规则 #

如果不想用FFI，需要手动模拟C的舍入逻辑：
C的printf对浮点数的舍入通常遵循IEEE 754的“最近舍入，偶进”规则（即四舍六入五成双），而Haskell的round函数默认也是这个规则，但差异可能出现在浮点数格式化时的精度处理步骤。可以尝试先将浮点数放大到整数级，再手动处理边界情况：

import Text.Printf (printf)

cRound6 :: Float -> Float
cRound6 x =
    let scaled = x * 1000000.0
        intPart = floor scaled
        frac = scaled - fromIntegral intPart
    in case frac of
        0.5 -> if even (floor scaled)
               then fromIntegral intPart / 1000000.0
               else fromIntegral (intPart + 1) / 1000000.0
        _ -> fromIntegral (round scaled) / 1000000.0

main = do
    let n = 123.141568 :: Float
    printf "%.6f\n" (cRound6 n)

注意：这种方法需要确保Haskell的Float和C的float内存表示完全一致（两者都是IEEE 754单精度，通常没问题），否则仍可能出现差异。

3. 验证浮点数的原始存储值 #

先确认Haskell和C中存储的123.141568是否完全一致：可以将浮点数转换为二进制位来对比。比如在C中用union取出float的二进制表示，在Haskell中用unsafeCoerce获取对应的Word32，如果两者的位值相同，说明差异完全来自格式化阶段。

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