IEEE 754单精度浮点数尾数乘法具体实现方法问询

嘿，刚好对IEEE 754单精度浮点数的尾数乘法门儿清，我结合你给的例子一步步拆解，保证讲透：

先搞懂单精度尾数的存储规则 #

首先得明确：IEEE 754单精度浮点数的尾数是隐藏最高位1的。也就是说，内存里存的23位二进制数，只是尾数的小数部分，实际完整的尾数是 1.(存储的23位二进制)（二进制格式）。比如你给出的两个例子：

• 尾数1.5：二进制是1.1，小数部分是1后面跟22个0，所以存储的编码就是0b10000000000000000000000，对应十进制2^22 = 4194304
• 尾数1.125：二进制是1.001，小数部分是001后面跟20个0，存储编码是0b00100000000000000000000，对应十进制2^20 = 1048576

尾数乘法的核心步骤 #

两个尾数相乘，本质就是二进制小数乘法，再按照IEEE 754的规则调整结果，具体分3步：

1. 还原完整的尾数（带上隐藏的1） #

先把存储的编码还原成带隐藏位的完整二进制尾数：

• 第一个数：1.1（二进制）= 十进制1.5
• 第二个数：1.001（二进制）= 十进制1.125

2. 执行二进制小数乘法 #

二进制乘法和十进制逻辑完全一致，只是基数是2：

• 先忽略小数点，把两个数当成整数：1.1变11，1.001变1001
• 整数相乘：11 × 1001 = 11011（二进制）
• 数原数的小数位数：1.1小数点后1位，1.001小数点后3位，总共4位
• 把结果的小数点左移4位：11011 → 1.1011（二进制）
• 转换成十进制就是1 + 0.5 + 0.125 + 0.0625 = 1.6875，和你给出的结果完全一致

3. 生成结果的尾数编码 #

现在把结果1.1011（二进制）转换成IEEE 754的存储格式：

• 去掉隐藏的最高位1，剩下的小数部分是1011后面跟19个0（凑够23位）
• 对应的二进制编码就是0b10110000000000000000000
• 转换成十进制的话，就是2^22 + 2^20 + 2^19 = 4194304 + 1048576 + 524288 = 5767168

额外提醒：溢出与规格化 #

如果两个尾数相乘的结果是1x.xxxx（二进制，也就是整数部分≥2），比如1.1 × 1.1 = 10.01（二进制），这时候需要把结果右移1位，变成1.001，同时指数要加1（因为右移相当于乘以2^-1，为了保持数值不变，指数必须补回来）。不过你给的例子刚好结果是1.xxxx，属于规格化数，不需要调整指数。

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