Go math.Frexp 怎样把浮点数拆成尾数和二进制指数

Go中调用 frac, exp := math.Frexp(x)，即可把浮点数拆成归一化分数与二进制指数。对有限非零值，满足 x = frac × 2^exp，且 0.5 ≤ |frac| 。要重组这对参数，用 math.Ldexp(frac, exp)。这里的“尾数”指归一化分数，不是浮点位模式中直接截出的原始字段。

官方地址：https://pkg.go.dev/math

最小写法先拿到两个返回值

设想一个采样数据解释工具，需要把数值写成“分数乘二的幂”，方便说明数量级，而不只是打印十进制科学计数法。先不要手工移动小数点，也不要把指数理解为十进制位数。下面用原创的17.5示例展示最小写法，代码供读者复现，没有附带本地实测输出。

package main

import (
    "fmt"
    "math"
)

func main() {
    x := 17.5
    // 同时接收分数与二进制指数，两者共同表达原浮点值。
    frac, exp := math.Frexp(x)
    restored := math.Ldexp(frac, exp)
    fmt.Printf("分数=%g，二进制指数=%d，重组=%g\n", frac, exp, restored)
}

按数学关系，17.5可以写成0.546875乘以2的5次方，因此这一例的分数为0.546875、指数为5。这是示例推导，不是运行日志。一个常见误解是把17.5拆成17和0.5；那是整数部分与小数部分的另一种任务，不是Frexp的含义。

归一化分数为什么小于一

Frexp使用绝对值落在半开区间[0.5, 1)的归一化约定。例如输入变为-17.5时，分数保留负号，而指数仍承担二进制倍率。不要把所有负数都误认为不满足归一化要求，区间约束看的是绝对值。

输入恰好是2的整数次幂时，归一化分数可以是0.5。例如8等于0.5乘以2的4次方，而不是必须返回1乘以2的3次方。小于1的值也可以分解；0.25等于0.5乘以2的负1次方。这些都是同一归一化规则的直接推导。

函数返回的是数值分解，不是内存布局说明。exp不应直接当作IEEE 754原始指数位字段，也不包含让调用者自行减去的编码偏置。需要研究原始位字段时，应另行选择位表示接口，不能把这两种表示混用。

用Ldexp重组或调整倍率

Ldexp直接表达分数乘以2的整数次幂。对Frexp得到的分数和指数，在不改动参数的情况下重组，是这组API的常见用途。若业务要把原值乘以4，可以考虑保持分数并把指数加2，但这属于修改数值，不再是单纯重组。

package main

import (
    "fmt"
    "math"
)

func main() {
    x := -0.1875
    // 原参数对用于重组，调整后的指数用于另一个目标值。
    frac, exp := math.Frexp(x)
    same := math.Ldexp(frac, exp)
    scaled := math.Ldexp(frac, exp+2)
    fmt.Printf("原值重组=%g，放大四倍=%g\n", same, scaled)
}

这里固定加2，是为了让示例只表达倍率关系。若指数来自用户输入，必须另外处理整数加法范围，以及重组结果是否满足业务范围。浮点数有可表示范围，修改参数可能导致溢出、下溢或舍入；Frexp与Ldexp不是任意精度运算工具，也不会恢复数值在更早计算中已经丢失的精度。

零与非有限值需要单独分类

如果采样工具只接收有限数据，应在业务入口使用IsNaN和IsInf分类，而不是单凭exp等于0就认定输入是零或无效。很多正常有限数的指数也可能为0；返回的两个值与输入类别应一起解读。

Frexp能否用于十进制科学计数法？

它的基底是2。若目标是展示十进制科学计数法，应使用合适的数值格式化方式，不要把exp直接标成十进制指数。

分数保留几位小数最合适？

展示精度是另外的选择。若准备保存参数后重组，不能随意截短分数文本，否则可能改变重组值；应选能满足往返要求的序列化方式。

输入是float32怎么办？

Frexp接收float64，可以先显式转换。转换后分解的是该float32已经表示出来的值，不能恢复输入在成为float32之前的精度。

参考：Frexp分解契约、Ldexp重组契约。