C语言中两个float浮点数是如何实现乘法运算的？

C语言标准没有强制规定浮点数的编码规则，但目前主流平台的float类型都统一遵循IEEE 754单精度浮点数标准，32位存储空间分为三部分：

• 1位符号位：0表示正数，1表示负数
• 8位指数位：存储加了127偏移量的实际指数值
• 23位尾数位：存储省略了最高位1的有效数字，实际有效精度为24位

两个float相乘的核心运算逻辑和整数完全不同，固定遵循以下步骤：

1. 符号计算：两个数的符号位做异或运算，直接得到结果的符号位
2. 指数计算：把两个数的实际指数（指数位值减127）相加，再加127得到结果的指数位，超出合法范围时直接返回无穷大（inf）或者下溢为0
3. 尾数计算：将两个24位的完整有效尾数（含隐含的最高位1）做整数乘法，得到48位的乘积结果，之后做归一化调整：移动小数点位置同步调整指数，把乘积的最高位1对齐到24位有效位的最高位，再按舍入规则（默认就近舍入、趋偶）保留高24位，去掉低位，最后提取23位作为结果的尾数位
4. 特殊值处理：如果输入参数是NaN、无穷大、0这类特殊值，直接按IEEE 754规则返回对应结果

具体到C语言的实现层面，分两种情况：

• 编译期可确定值的常量乘法，比如2.5f * 4.0f，编译器会直接在编译阶段算出结果，编译为固定常量，不需要运行时计算
• 运行时的动态乘法，带FPU（浮点运算单元）的平台会直接调用CPU硬件指令完成运算，比如x86平台的mulss指令，单周期就能得到结果；没有FPU的嵌入式平台，编译器会内置软件模拟IEEE 754乘法的函数，运行时调用软件函数完成计算，逻辑和上面的步骤完全一致

你之前用循环累加实现整数乘法的思路，本质是利用了整数的离散步进特性，而浮点数的指数可变，有效数字范围随指数浮动，无法用固定步长的累加逻辑实现乘法。

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