printf("%.15e", 1e23)应输出什么？双精度浮点数转文本舍入规则咨询

• 你的自研算法输出的1.000000000000000e+23更符合IEEE 754和C标准的默认舍入规范

详细依据 #

1. 场景背景
   1e23本身无法被double类型精确表示，你遇到的是典型的「舍入平局」场景：两个候选输出值和该double的精确值的数学距离完全相等，此时需要按约定的平局规则判定结果。
2. 规范要求
   C标准（C11 7.21.6.1）规定，浮点格式化输出的默认舍入模式遵循IEC 60559（即IEEE 754标准）的roundTiesToEven（银行家舍入）规则：平局时优先选择最后一位有效数字为偶数的结果。
3. 结果判定

• 自研输出1.000000000000000e+23的最后一位有效数字是0，为偶数，完全符合平局舍入规则
• glibc输出的9.999999999999999e+22的最后一位有效数字是9，为奇数，不符合平局舍入规则

4. glibc输出异常的原因
   该问题是旧版本glibc的printf实现缺陷，其浮点格式化逻辑没有正确处理部分边界场景的平局舍入，该问题在高版本glibc中已经得到修复。

补充说明：两个输出都满足「字符串转double可往返还原为原始值」的要求，仅在平局舍入的合规性上存在差异。

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