浮点数精确乘法：对任意a，b需满足何种条件？

在二进制浮点数标准（如IEEE 754单/双精度）中，要使得对任意正常范围内的浮点数a，a*b的运算结果都精确，b必须满足以下条件之一：

• b是±2的整数次幂（包括正次幂如2、4，负次幂如0.5、0.25等）
• b等于0

原因解释 #

二进制浮点数的存储结构为「符号位 + 指数位 + 尾数位」，尾数部分是以2为基数的标准化表示（形如1.xxxx...）：

1. 当b是2的整数次幂时，乘以b等价于对a的浮点数表示仅调整指数位（加/减对应的整数次幂值），尾数部分完全保持不变，不会产生任何舍入或截断操作，因此结果必然精确。
2. 当b=0时，无论a取何值，a*b的结果都是0，而0在浮点数中是有精确表示的，因此结果也精确。

反例说明 #

如果b不是上述两种情况，比如b=3（二进制11，即1.1×2^1）、b=0.1（二进制无限循环的0.0001100110011...），则存在某些a使得a*b无法被精确表示：

• 取a=1/5（二进制0.001100110011...），a*3=3/5=0.6，其二进制为无限循环的0.100110011...，浮点数存储时会被舍入，导致精度损失。
• 取a=1，a*0.1=0.1，同样因为二进制无限循环，无法被浮点数精确存储。

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