技术疑问：FLT_MIN_EXP为何与IEEE 754定义的emin不相等？

咱们先从IEEE 754标准说起，它用偏置表示法来定义指数域的可表示范围：

• 对于binary32（也就是日常说的单精度浮点数），标准直接把emax（最大规格化指数值）定为127
• 所有二进制浮点类型的emin（最小规格化指数值）统一遵循公式1 - emax，算下来就是-126
• 这里要提一句：偏置表示的设计是为了给全0、全1的指数值留特殊用途（全0对应非规格化数，全1对应无穷大或NaN），所以正常规格化浮点数的指数范围就是从emin到emax

再看C99标准里的FLT_MIN_EXP，它的定义角度就不一样了：它是使FLT_RADIX的（该值减一）次幂为规格化浮点数的最小负整数e_min。
这里的核心要点在于两者的定义基准完全不同：

• IEEE 754的emin是规格化浮点数实际能取到的指数值本身
• 而C99的FLT_MIN_EXP是从“幂次表达式”出发的：比如对于binary32，FLT_RADIX是2，规格化浮点数能表示的最小正数值对应的幂次是2^(-126)，要满足2^(e_min - 1) = 2^(-126)，e_min就得是-125——这就和IEEE 754的emin差了1
• 直白点说，FLT_MIN_EXP的数值等于IEEE 754的emin + 1，本质是因为两者描述的是同一个规格化数，但一个说的是指数本身，另一个说的是“指数减一”对应的幂次

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