IEEE-754 binary64与64位补码long位表示相同的数字有哪些？

结论 #

仅存在0这一个数值，其64位补码（对应long类型）与IEEE-754 binary64（对应double类型）的位表示完全相同，二者的位模式均为64位全0。

分析过程 #

要满足位模式完全相同，需让同一64位二进制序列，既作为补码表示整数x，又作为binary64表示浮点数y，且x=y。我们分两种情况讨论：

1. 正数与0（符号位为0） #

• 0的补码是全0，binary64的+0也是全0，二者数值相等，位模式一致，符合条件。
• 对于非零正数x：补码位模式就是x的64位无符号值（即x = e<<52 | f，其中e是binary64的11位指数，f是52位尾数）；而binary64的数值为y = (1 + f/2^52) × 2^(e-1023)。要满足x=y，需等式e<<52 | f = (1 + f/2^52) × 2^(e-1023)成立。
  推导后可知：
  • 若指数偏移后为正（e>1075），右边数值远大于左边；
  • 若指数偏移后为负（e<1075），右边数值远小于左边；
  • 指数偏移为0（e=1075）时，等式简化为e=1，矛盾。
    因此无其他正数解。

2. 负数（符号位为1） #

• 负数x的补码位模式为2^64 + x（无符号64位值），对应的binary64数值为y = - (1 + f/2^52) × 2^(e-1023)。需满足2^64 + x = (1<<63)|(e<<52)|f且x=y。
• 推导后得到等式2^63 - e<<52 -f = (1 + f/2^52) × 2^(e-1023)，分析量级可知：右边要么远大于左边，要么远小于左边，或出现正负矛盾，无有效解。
• 特殊值如binary64的-0，其位模式对应补码的最小负数-9223372036854775808，与-0数值不等，不符合条件。

相关讨论 #

这类问题属于计算机数值表示的基础议题，在编程社区有过讨论。核心原因是补码与binary64的设计目标完全不同：补码针对整数高效运算，采用符号位+数值位的直接编码；binary64针对大范围实数表示，采用符号位+指数位+尾数位的编码结构，二者的编码逻辑差异极大，因此除全0外无其他位模式重合的数值。

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