说到浮点数与定点数很多搞软件的同学第一反应是这不是大一《计算机组成原理》里的内容吗但真到项目里碰到“浮点转定点怎么转”“Q15格式怎么还原成浮点”“为什么别人代码里判断浮点数相等那么麻烦”的时候大部分人还是得翻半天资料。尤其是做嵌入式开发、单片机、数字信号处理、运动控制这块的朋友浮点数和定点数的恩怨几乎每天都要面对算法模型在PC上跑全是double下到DSP或者MCU以后要么是CPU算不过来要么干脆没有FPU“定点化”就成了绕不开的一步反过来传感器出来的原始采样值、通信报文里的数据往往就是定点格式的整型你又得把它还原成浮点数才能继续做后续处理。这篇文章就是把这两个数的底细、相互转换的正确公式、转换过程中常见的大坑一次性讲清楚。我尽可能用实际工程里最常见的方式来讲不搞教科书那一套。适合刚接触嵌入式、准备把算法从PC移植到单片机的朋友也适合工作几年但一直没怎么系统梳理过这堆细节的开发者。1. 先搞清楚两件事浮点数和定点数到底差在哪1.1 浮点数是“二进制版科学计数法”浮点数本质上就是在二进制里用科学计数法表示一个数。十进制里我们写 3.14×10²二进制里就是 1.xxxx×2^exp 这种形式。因为小数点可以根据指数大小“浮动”所以叫浮点。IEEE 754 标准把这种表示方法固定成了三部分符号位 S、指数位 E、尾数位 M。单精度 float 是 32 位组合方式是 1 位符号 8 位指数 23 位尾数双精度 double 是 64 位1 位符号 11 位指数 52 位尾数。这里有个很多人容易忽略的点浮点数的精度是“相对精度”不是“绝对精度”。它能表示很大的数比如 1e38但到了那个量级相邻两个 float 之间的间隔可能大得离谱。单精度 float 的有效数字大约只有 7 位十进制你存 1234567.89它实际存下来可能误差就在百位级别了。这就是为什么做数值计算的人经常提醒别拿浮点直接判等、别指望浮点运算结果精确。1.2 定点数的本质是“整数 缩放约定”定点数用一句话解释就是把小数问题伪装成整数问题。约定一个缩放因子比如“所有数值乘以 256 后存储”那么实际值 3.5 就存成 896需要读数的时候再除以 256 还原。这么做的好处非常直接整数加、减、乘、移位在几乎所有 MCU 上都是开销极小的指令执行时间确定不依赖硬件浮点单元。在 DSP、电机控制、工业机器人控制这类对实时性和确定性要求极强的场景里定点数一直是底层的主力军。库卡这类工业机器人控制器关节电流环、速度环里面大量运算就是走定点或混合精度路径原因就在这里。1.3 一张表看两边差异维度浮点数定点数表示原理符号 指数 尾数整数 固定缩放因子动态范围极大可表示 1e38 甚至更大有限由整数位决定分辨率随数值大小变化固定由小数位决定运算成本依赖 FPU无 FPU 时极慢普通整数指令即可确定性中间精度依赖平台完全确定跨平台一致适用领域科学计算、通用算法验证实时控制、DSP、通信、低成本 MCU一句话总结浮点数管得宽但性子飘定点数管得窄但踏实。2. 从位模式看懂浮点数转换前必须先看底层2.1 IEEE 754 的结构符号、指数、尾数拿单精度 float 举例32 位里第 31 位符号位 S0 正 1 负。第 23 到 30 位指数位 E共 8 位。第 0 到 22 位尾数位 M共 23 位。规格化情况下数值等于 (-1)^S × 2^(E-127) × (1 M/2^23)。这里的关键是那个 E-127127 叫指数偏移量。为什么要偏移因为指数也要表示负数比如 0.001 的指数是负的直接用无符号 8 位数没办法表达所以把真实指数加上 127 存起来。双精度对应偏移量是 1023。尾数部分还有一个“隐藏位”的概念规格化浮点数的尾数总是 1.xxx 开头前面这个 1 不用存省出来就能多一位精度。所以实际精度是 23 位尾数加 1 位隐藏位相当于 24 位有效二进制精度。指数全 0 的情况叫非规格化数此时隐藏位算 0用来表示接近 0 的很小的数指数全 1 且尾数为 0 表示正负无穷尾数不为 0 则是 NaN。这些特殊值的处理在浮点转定点时特别重要后面会专门说。2.2 在C语言里拆开一个float看看光看定义还是隔靴搔痒直接写段代码把 float 的位模式拆出来一切就都清楚了。#include stdint.h #include stdio.h typedef union { float f; uint32_t u; } float_bits; void dump_float(float x) { float_bits fb; fb.f x; uint32_t sign (fb.u 31) 1u; uint32_t exp (fb.u 23) 0xFFu; uint32_t frac fb.u 0x7FFFFFu; printf(x%f sign%u exp%u frac0x%06X\n, x, sign, exp, frac); } int main(void) { dump_float(1.0f); dump_float(-2.5f); dump_float(0.1f); return 0; }跑一下能看到 1.0 的指数位是 127尾数是 0-2.5 的符号位是 1指数是 128尾数对应 0.25。0.1 的尾数是一长串十六进制这串数就是 0.1 在二进制里永远除不尽导致误差的根源。网上常说的“浮点数16位工具”“半精度 float16”在 GPU 和 AI 推理里很常见结构也是一样的只是指数占 5 位、尾数占 10 位偏移量变成 15。理解了单精度结构其他精度的浮点数你都能自己推出来。2.3 特殊值处理0、无穷、NaN转换时最容易被忽略的就是特殊值。假如有一个浮点数数组里面混了一个 NaN 或者 Inf你直接做浮点转定点在无 FPU 平台上可能会触发异常在 x86 上结果也不可控。工程上正确的做法很简单转换前先判断。如果输入是 NaN 或者 Inf按项目约定返回饱和值或者 0绝不能让它参与整数混算。如果输入是 0按正常公式走即可不用特殊对待。这块处理逻辑写进转换函数一劳永逸。int is_special(float x) { // 指数全1代表 Inf 或 NaN float_bits fb; fb.f x; return ((fb.u 23) 0xFFu) 0xFFu; }3. 定点数的Q格式选择转换的大门从这里打开3.1 Q格式到底是什么定点数的表示方式各家略有不同最常见的叫法是 Qm.nm 是整数位位数n 是小数位位数符号位另算总位宽就是 1 m n。比如 Q15 通常指 Q0.151 位符号 0 位整数 15 位小数总共 16 位。它能表示的数值范围是 [-1, 1 - 2^-15]分辨率是 2^-15约等于 0.0000305。还有 Q3.121 位符号 3 位整数 12 位小数总位宽 16 位范围是 [-8, 8 - 2^-12]。麻烦的地方在于有些芯片手册或者老代码会把符号位算进整数位写 Q1.15 其实是 1 位整数含符号 15 位小数含义完全不一样。拿到别人代码先看注释和数据范围别看到 Q15 就直接套公式。3.2 整数位和小数位怎么权衡动态范围 vs 分辨率定点数的整数位决定动态范围小数位决定分辨率总位宽固定时两者此消彼长。选 Q 格式本质上是在做一道选择题你的数据最大能到多少你需要多小的分辨率。先记下数据量级绝对值的最大值决定 m再按误差需求决定 n不够就换更宽的定点类型比如 32 位定点。以电机电流环为例电流通常限定在额定值 ±50A 以内控制精度要求 0.01A那么整数位至少要覆盖 50也就是 6 位分辨率 0.01 需要大约 2^-70.0078给点余量选 Q6.9 或者 Q8.7 都是合理的起步值。有一个很实用的经验不要贪心把范围压得太紧。真实系统里温度漂移、启动冲击、异常尖峰都会让数据瞬间超范围一旦溢出定点数会直接从正数跳到负数排查起来比精度损失痛苦一百倍。给整数位留 20% 到 50% 的余量通常更划算。3.3 常见场景的起步格式参考应用场景推荐起步格式原因加速度计/陀螺仪归一化数据Q15输出通常已归一化到 [-1, 1]电机电流环 PI 参数Q12 或 Q14电流和系数动态范围适中温度传感器读数Q8 或 Q10温度范围大但精度要求不高GNSS 经纬度坐标Q23 或更高经纬度值本身大需要很高分辨率音频 PCM 数据本身就是定点不要乱转直接用这只是起步参考具体得结合你的传感器量程和数据分布做微调。记住关键公式定点值还原浮点就是除以 2^n浮点转定点就是乘以 2^n 后四舍五入这个缩放因子就是 Q 格式的灵魂。4. 定点数转浮点数一个乘法就能解决但坑也不少4.1 转换公式raw × 2^-n 才是正解如果定点格式的小数位是 n 位原始整型值是 raw那么对应浮点值就是value raw × 2^-n换句话说除以 2 的 n 次幂。为什么我建议在代码里写成乘以 2^-n而不是直接除整数因为浮点除法比浮点乘法慢在部分平台上差距很明显。更重要的是如果写成 (float)raw / (1 n)一旦粗心把 (float) 强转丢了就会变成整数除法结果直接截断成 0。正确做法是先把缩放因子算好存成常量1.0f / (float)(1 n)然后每个数据只管乘。单精度 float 转换时坚持用 float 类型做整个计算别混入 double避免不必要的精度和性能损失。4.2 直接可用的C语言实现以 Q15 为例n15缩放因子是 1.0f / 32768.0f。写出来的函数非常短#include stdint.h static const float kQ15ToFloatScale 1.0f / 32768.0f; float q15_to_float(int16_t raw) { return (float)raw * kQ15ToFloatScale; }数组批量转换也顺带写出来调试时经常一次要转化几百个点void q15_array_to_float(const int16_t *in, float *out, size_t len) { size_t i; for (i 0; i len; i) { out[i] (float)in[i] * kQ15ToFloatScale; } }如果你用的平台是 ARM Cortex-M 系列CMSIS-DSP 里已经有 arm_q15_to_float 这类现成函数内部做了循环展开和指令优化比自己写循环效率高直接调库更省心。4.3 负数与截断为什么不能先做整数除法再转浮点这是我实际帮别人排查代码时见过次数最多的错误。有人觉得先把整型除以 32768 再转换成浮点和先转浮点再乘缩放因子没区别但 C 语言里根本不是一回事。看这段int16_t raw -1234; // 错误写法先整数除法结果是0 float bad (float)(raw / 32768); // 正确写法先转浮点再乘缩放因子 float good (float)raw * (1.0f / 32768.0f);raw / 32768 是整数除法结果为 0因为 -1234 除以 32768 的商向零截断成 0。你再转成 float 也只能得到 0。凡是负数参与定点转浮点只要用了整数除法结果就会往 0 方向偏早期的数字信号处理教材里管这叫“截断误差”。所以规则就一条定点转浮点时先强转成 float再乘缩放因子顺序绝对不能反。4.4 批量转换与调试思路在项目里比较舒服的做法是产品运行核心逻辑全用定点数保证实时性和确定性调试串口输出的日志数据走转换函数转成浮点方便用上位机画曲线。这样两头都兼顾业务代码里不裸用强转所有定点/浮点边界都收口在转换函数里。我建议在代码里把转换函数单独放在一个 fixed_point_util.c 文件里把头文件注释写清楚 Q 格式定义和缩放因子。方便是其次主要是防止不同模块各写各的转换逻辑三个人三种写法后面维护的人会疯掉。5. 浮点数转定点数这一半更容易翻车5.1 转换公式、四舍五入与饱和处理浮点转定点的基本公式很直观raw round(value × 2^n)关键在于两个修饰词round 和饱和。先说 round。如果直接把浮点数强转成整型C 语言默认是向零截断3.75 变 3-3.75 变 -3。这种截断会让量化结果带有系统性的偏置因为所有被截断的小数部分都被丢掉了。做一次两次可能无所谓但定点数在控制环路里是反复参与运算的偏置会累积成稳态误差。所以浮点转定点一定要做四舍五入也就是“四舍五入到最近的整数”。再说饱和。饱和的意思是如果 value × 2^n 超过了定点数能表示的最大值就直接钳到最大值小于最小值就钳到最小值。很多人第一次写转换函数时忘了这一点结果是输入 4.0 想转 Q154 × 32768 131072int16_t 装不下溢出后变成一个负数完全不满足物理规律。5.2 完整可用的带饱和Q15转换函数#include stdint.h #include math.h int16_t float_to_q15(float v) { float scaled; float rounded; scaled v * 32768.0f; // 处理特殊值Inf 或 NaN 一律按0处理 if (isnan(scaled) || isinf(scaled)) { return 0; } // 饱和 if (scaled 32767.0f) { return INT16_MAX; } if (scaled -32768.0f) { return INT16_MIN; } // 四舍五入 if (scaled 0.0f) { rounded floorf(scaled 0.5f); } else { rounded ceilf(scaled - 0.5f); } return (int16_t)rounded; }注意这里的饱和上限是 32767.0f 而不是 32768.0f。因为 Q15 最大值是 1 - 2^-15对应整型 32767而 -1 对应 -32768。浮点值恰好等于 1 时按 Q15 是表示不了的必须饱和到 32767这是新手最容易忽略的边界。isnan 和 isinf 这两个宏在标准 C99 的 math.h 里有如果嵌入式 libm 精简过头不支持也可以用前面 2.3 里自定义的位判断函数替代。5.3 为什么不要用 (int16_t)value 直接强转我很理解很多人偷懒写 (int16_t)(v * 32768.0f)因为它短。但隐患有两层第一C 语言浮点转整型是向零截断不是四舍五入。v0.123456 时0.123456 × 32768 4044.6截断得 4044四舍五入得 4045。看起来差 1 个 LSB 而已但控制系统里 1 个 LSB 的持续偏置会在积分环节积累出可见的误差。控制器输出就偏了表现出来就是电机有嗡嗡声或者位置始终差一点点。第二溢出时 C 标准对“浮点转整型且值超出整型范围”的行为在历史上是未定义或边界行为主流编译器虽然通常按饱和截断处理但不同架构下可能出现不同的结果跨平台移植就是个定时炸弹。很多语言包括 Julia 这种特别强调数值严谨的语言都把浮点到整数的显式转换设计成必须调用 convert 函数而且要处理溢出就是在防止 C 语言这种静默出错的写法。咱们自己写 C 代码时也应该守住这个防线。5.4 批量转换、CMSIS-DSP 与无FPU优化批量转换的写法直接循环调用上面那个函数就可以void float_array_to_q15(const float *in, int16_t *out, size_t len) { size_t i; for (i 0; i len; i) { out[i] float_to_q15(in[i]); } }如果要上生产环境做大批量、低延迟转换强烈建议看下 CMSIS-DSP 的 arm_float_to_q15这个库内部对饱和、舍入都处理好了而且在带 DSP 指令的 Cortex-M 上跑得比手动循环快很多。还有一个性能层面的经验如果你在无 FPU 的 MCU 上做控制算法真正该做的不是优化转换函数而是从源头减少浮点运算。能转成定点运算的模块直接全定点化只在输入输出边界做转换。我实测过同样的 PI 电流环在无 FPU 的 Cortex-M0 平台上全浮点版本执行时间几乎是全定点版本的 8 到 10 倍主循环周期直接翻好几倍这个差距足以决定系统稳不稳。6. 常见问题与避坑实录6.1 浮点数相等判断别直接写 C 语言里直接拿 float 做 判断是出了名的坑。最经典的例子是 0.1 0.2 不等于 0.3因为 0.1 和 0.2 在二进制里都是无限循环小数浮点存储时都做了舍入相加之后跟 0.3 的舍入结果差了极小的一点点。再加上编译器优化层级不同中间结果可能临时存在寄存器里是高精度浮点存回内存又变成单精度同样一段代码在不同优化等级下结果可能不一样。这就导致“编译一次能过换优化选项就挂”的诡异现象。工程上的通用解法是给定一个相对误差范围去判断而不是绝对误差。因为绝对误差对 0.1 这种小数量级可能合适但对 100000.0 这种大数量级完全没意义。推荐用相对误差函数#include math.h int fp_almost_equal(float a, float b, float rel_tol) { float diff fabsf(a - b); float mag fmaxf(fabsf(a), fabsf(b)); return diff rel_tol * fmaxf(1.0f, mag); }rel_tol 取多少要看业务精度一般 1e-5 到 1e-6 起步。但归根到底如果这两个浮点数本来就是从定点数转换来的那判断相等最稳的办法是直接比较原始整型值别绕一圈回来比浮点。6.2 定点转换后精度损失到底有多大有人问我“定点数是不是精度差很多”看具体数字才有感觉。以 Q15 为例浮点值 0.123456 转换一次再还原步骤数值原始浮点值0.123456乘以 327684044.6四舍五入取整4045还原为浮点 4045 / 327680.1234436绝对误差约 1.24e-5这个误差对大部分控制应用完全够用因为传感器本身噪声可能比这大得多。但如果你的数据动态范围很大比如既要做 ±0.001 的微调又要覆盖 ±1000 的跨度Q15 就不够了这时候要么选更宽的定点类型比如 Q31要么就老老实实用浮点。分辨率公式记牢误差上限大约是 0.5 × 2^-n。想要误差小于 1e-4n 至少得 14想要误差小于 1e-6n 至少得 20。所以高精度场景直接用 32 位定点或者双精度浮点别硬拿 16 位定点凑。6.3 溢出后变成负数一个典型排查之前有个朋友调试电机驱动器电流采样转出来一直是负数完全不符合物理规律。查到最后发现就是浮点转定点忘了饱和。input 是 1.2转 Q15 时 1.2 × 32768 39321.6int16_t 最大只能到 32767一强转直接回绕成 -26214再反算成浮点就成了 -0.8 左右。排查这种问题的思路其实很简单先看输入浮点值有没有超范围再看转换函数有没有饱和处理最后看整型的符号位对不对。如果发现转换出来的整型符号和物理量明显矛盾十有八九就是饱和没写。自检手段也简单写一组边界测试用例最大值、最小值、略超最大、略超最小、0、负数、Inf、NaN全部测一遍转换函数的质量立刻见分晓。6.4 什么时候该用定点什么时候用浮点条件建议MCU 有 FPU 且主循环负载余量充足直接用浮点开发效率高无 FPU、主频低、实时性硬定点控制环路全定点化需要跨平台完全一致的数值结果定点或整数运算浮点在不同编译器下可能不一致数据动态范围巨大且不确定浮点定点范围容易被干穿算法还在频繁调试迭代先用浮点跑通再按热点模块定点化我个人比较倾向“先浮点后定点”的路线在 PC 上用双精度把算法验证完移植到目标板先用浮点跑通功能然后用 profiler 找出热点模块逐个转定点。这比一上来就全链路定点稳得多排查问题的时候也少一层变量。浮点数与定点数的相互转换不是洪水猛兽本质上就是一套缩放加取整加饱和的逻辑难的是意识什么时候该转、什么时候不该转、转换边界有多宽。代码写多了你会发现这俩兄弟之间还藏着很多看似不起眼、实则在关键时刻决定系统稳不稳的细节。最后再分享一个小技巧在代码仓库里把定点格式和缩放因子写成一个宏定义并且把“业务代码禁止裸用强转”写进团队代码规范里。所有定点浮点边界走统一的转换函数所有特殊值都有明确的处理策略。踩过几次数据从正变负、从精确变漂移的坑之后你会明白这个看似多余的习惯到底值多少钱。
说到浮点数与定点数很多搞软件的同学第一反应是这不是大一《计算机组成原理》里的内容吗但真到项目里碰到“浮点转定点怎么转”“Q15格式怎么还原成浮点”“为什么别人代码里判断浮点数相等那么麻烦”的时候大部分人还是得翻半天资料。尤其是做嵌入式开发、单片机、数字信号处理、运动控制这块的朋友浮点数和定点数的恩怨几乎每天都要面对算法模型在PC上跑全是double下到DSP或者MCU以后要么是CPU算不过来要么干脆没有FPU“定点化”就成了绕不开的一步反过来传感器出来的原始采样值、通信报文里的数据往往就是定点格式的整型你又得把它还原成浮点数才能继续做后续处理。这篇文章就是把这两个数的底细、相互转换的正确公式、转换过程中常见的大坑一次性讲清楚。我尽可能用实际工程里最常见的方式来讲不搞教科书那一套。适合刚接触嵌入式、准备把算法从PC移植到单片机的朋友也适合工作几年但一直没怎么系统梳理过这堆细节的开发者。1. 先搞清楚两件事浮点数和定点数到底差在哪1.1 浮点数是“二进制版科学计数法”浮点数本质上就是在二进制里用科学计数法表示一个数。十进制里我们写 3.14×10²二进制里就是 1.xxxx×2^exp 这种形式。因为小数点可以根据指数大小“浮动”所以叫浮点。IEEE 754 标准把这种表示方法固定成了三部分符号位 S、指数位 E、尾数位 M。单精度 float 是 32 位组合方式是 1 位符号 8 位指数 23 位尾数双精度 double 是 64 位1 位符号 11 位指数 52 位尾数。这里有个很多人容易忽略的点浮点数的精度是“相对精度”不是“绝对精度”。它能表示很大的数比如 1e38但到了那个量级相邻两个 float 之间的间隔可能大得离谱。单精度 float 的有效数字大约只有 7 位十进制你存 1234567.89它实际存下来可能误差就在百位级别了。这就是为什么做数值计算的人经常提醒别拿浮点直接判等、别指望浮点运算结果精确。1.2 定点数的本质是“整数 缩放约定”定点数用一句话解释就是把小数问题伪装成整数问题。约定一个缩放因子比如“所有数值乘以 256 后存储”那么实际值 3.5 就存成 896需要读数的时候再除以 256 还原。这么做的好处非常直接整数加、减、乘、移位在几乎所有 MCU 上都是开销极小的指令执行时间确定不依赖硬件浮点单元。在 DSP、电机控制、工业机器人控制这类对实时性和确定性要求极强的场景里定点数一直是底层的主力军。库卡这类工业机器人控制器关节电流环、速度环里面大量运算就是走定点或混合精度路径原因就在这里。1.3 一张表看两边差异维度浮点数定点数表示原理符号 指数 尾数整数 固定缩放因子动态范围极大可表示 1e38 甚至更大有限由整数位决定分辨率随数值大小变化固定由小数位决定运算成本依赖 FPU无 FPU 时极慢普通整数指令即可确定性中间精度依赖平台完全确定跨平台一致适用领域科学计算、通用算法验证实时控制、DSP、通信、低成本 MCU一句话总结浮点数管得宽但性子飘定点数管得窄但踏实。2. 从位模式看懂浮点数转换前必须先看底层2.1 IEEE 754 的结构符号、指数、尾数拿单精度 float 举例32 位里第 31 位符号位 S0 正 1 负。第 23 到 30 位指数位 E共 8 位。第 0 到 22 位尾数位 M共 23 位。规格化情况下数值等于 (-1)^S × 2^(E-127) × (1 M/2^23)。这里的关键是那个 E-127127 叫指数偏移量。为什么要偏移因为指数也要表示负数比如 0.001 的指数是负的直接用无符号 8 位数没办法表达所以把真实指数加上 127 存起来。双精度对应偏移量是 1023。尾数部分还有一个“隐藏位”的概念规格化浮点数的尾数总是 1.xxx 开头前面这个 1 不用存省出来就能多一位精度。所以实际精度是 23 位尾数加 1 位隐藏位相当于 24 位有效二进制精度。指数全 0 的情况叫非规格化数此时隐藏位算 0用来表示接近 0 的很小的数指数全 1 且尾数为 0 表示正负无穷尾数不为 0 则是 NaN。这些特殊值的处理在浮点转定点时特别重要后面会专门说。2.2 在C语言里拆开一个float看看光看定义还是隔靴搔痒直接写段代码把 float 的位模式拆出来一切就都清楚了。#include stdint.h #include stdio.h typedef union { float f; uint32_t u; } float_bits; void dump_float(float x) { float_bits fb; fb.f x; uint32_t sign (fb.u 31) 1u; uint32_t exp (fb.u 23) 0xFFu; uint32_t frac fb.u 0x7FFFFFu; printf(x%f sign%u exp%u frac0x%06X\n, x, sign, exp, frac); } int main(void) { dump_float(1.0f); dump_float(-2.5f); dump_float(0.1f); return 0; }跑一下能看到 1.0 的指数位是 127尾数是 0-2.5 的符号位是 1指数是 128尾数对应 0.25。0.1 的尾数是一长串十六进制这串数就是 0.1 在二进制里永远除不尽导致误差的根源。网上常说的“浮点数16位工具”“半精度 float16”在 GPU 和 AI 推理里很常见结构也是一样的只是指数占 5 位、尾数占 10 位偏移量变成 15。理解了单精度结构其他精度的浮点数你都能自己推出来。2.3 特殊值处理0、无穷、NaN转换时最容易被忽略的就是特殊值。假如有一个浮点数数组里面混了一个 NaN 或者 Inf你直接做浮点转定点在无 FPU 平台上可能会触发异常在 x86 上结果也不可控。工程上正确的做法很简单转换前先判断。如果输入是 NaN 或者 Inf按项目约定返回饱和值或者 0绝不能让它参与整数混算。如果输入是 0按正常公式走即可不用特殊对待。这块处理逻辑写进转换函数一劳永逸。int is_special(float x) { // 指数全1代表 Inf 或 NaN float_bits fb; fb.f x; return ((fb.u 23) 0xFFu) 0xFFu; }3. 定点数的Q格式选择转换的大门从这里打开3.1 Q格式到底是什么定点数的表示方式各家略有不同最常见的叫法是 Qm.nm 是整数位位数n 是小数位位数符号位另算总位宽就是 1 m n。比如 Q15 通常指 Q0.151 位符号 0 位整数 15 位小数总共 16 位。它能表示的数值范围是 [-1, 1 - 2^-15]分辨率是 2^-15约等于 0.0000305。还有 Q3.121 位符号 3 位整数 12 位小数总位宽 16 位范围是 [-8, 8 - 2^-12]。麻烦的地方在于有些芯片手册或者老代码会把符号位算进整数位写 Q1.15 其实是 1 位整数含符号 15 位小数含义完全不一样。拿到别人代码先看注释和数据范围别看到 Q15 就直接套公式。3.2 整数位和小数位怎么权衡动态范围 vs 分辨率定点数的整数位决定动态范围小数位决定分辨率总位宽固定时两者此消彼长。选 Q 格式本质上是在做一道选择题你的数据最大能到多少你需要多小的分辨率。先记下数据量级绝对值的最大值决定 m再按误差需求决定 n不够就换更宽的定点类型比如 32 位定点。以电机电流环为例电流通常限定在额定值 ±50A 以内控制精度要求 0.01A那么整数位至少要覆盖 50也就是 6 位分辨率 0.01 需要大约 2^-70.0078给点余量选 Q6.9 或者 Q8.7 都是合理的起步值。有一个很实用的经验不要贪心把范围压得太紧。真实系统里温度漂移、启动冲击、异常尖峰都会让数据瞬间超范围一旦溢出定点数会直接从正数跳到负数排查起来比精度损失痛苦一百倍。给整数位留 20% 到 50% 的余量通常更划算。3.3 常见场景的起步格式参考应用场景推荐起步格式原因加速度计/陀螺仪归一化数据Q15输出通常已归一化到 [-1, 1]电机电流环 PI 参数Q12 或 Q14电流和系数动态范围适中温度传感器读数Q8 或 Q10温度范围大但精度要求不高GNSS 经纬度坐标Q23 或更高经纬度值本身大需要很高分辨率音频 PCM 数据本身就是定点不要乱转直接用这只是起步参考具体得结合你的传感器量程和数据分布做微调。记住关键公式定点值还原浮点就是除以 2^n浮点转定点就是乘以 2^n 后四舍五入这个缩放因子就是 Q 格式的灵魂。4. 定点数转浮点数一个乘法就能解决但坑也不少4.1 转换公式raw × 2^-n 才是正解如果定点格式的小数位是 n 位原始整型值是 raw那么对应浮点值就是value raw × 2^-n换句话说除以 2 的 n 次幂。为什么我建议在代码里写成乘以 2^-n而不是直接除整数因为浮点除法比浮点乘法慢在部分平台上差距很明显。更重要的是如果写成 (float)raw / (1 n)一旦粗心把 (float) 强转丢了就会变成整数除法结果直接截断成 0。正确做法是先把缩放因子算好存成常量1.0f / (float)(1 n)然后每个数据只管乘。单精度 float 转换时坚持用 float 类型做整个计算别混入 double避免不必要的精度和性能损失。4.2 直接可用的C语言实现以 Q15 为例n15缩放因子是 1.0f / 32768.0f。写出来的函数非常短#include stdint.h static const float kQ15ToFloatScale 1.0f / 32768.0f; float q15_to_float(int16_t raw) { return (float)raw * kQ15ToFloatScale; }数组批量转换也顺带写出来调试时经常一次要转化几百个点void q15_array_to_float(const int16_t *in, float *out, size_t len) { size_t i; for (i 0; i len; i) { out[i] (float)in[i] * kQ15ToFloatScale; } }如果你用的平台是 ARM Cortex-M 系列CMSIS-DSP 里已经有 arm_q15_to_float 这类现成函数内部做了循环展开和指令优化比自己写循环效率高直接调库更省心。4.3 负数与截断为什么不能先做整数除法再转浮点这是我实际帮别人排查代码时见过次数最多的错误。有人觉得先把整型除以 32768 再转换成浮点和先转浮点再乘缩放因子没区别但 C 语言里根本不是一回事。看这段int16_t raw -1234; // 错误写法先整数除法结果是0 float bad (float)(raw / 32768); // 正确写法先转浮点再乘缩放因子 float good (float)raw * (1.0f / 32768.0f);raw / 32768 是整数除法结果为 0因为 -1234 除以 32768 的商向零截断成 0。你再转成 float 也只能得到 0。凡是负数参与定点转浮点只要用了整数除法结果就会往 0 方向偏早期的数字信号处理教材里管这叫“截断误差”。所以规则就一条定点转浮点时先强转成 float再乘缩放因子顺序绝对不能反。4.4 批量转换与调试思路在项目里比较舒服的做法是产品运行核心逻辑全用定点数保证实时性和确定性调试串口输出的日志数据走转换函数转成浮点方便用上位机画曲线。这样两头都兼顾业务代码里不裸用强转所有定点/浮点边界都收口在转换函数里。我建议在代码里把转换函数单独放在一个 fixed_point_util.c 文件里把头文件注释写清楚 Q 格式定义和缩放因子。方便是其次主要是防止不同模块各写各的转换逻辑三个人三种写法后面维护的人会疯掉。5. 浮点数转定点数这一半更容易翻车5.1 转换公式、四舍五入与饱和处理浮点转定点的基本公式很直观raw round(value × 2^n)关键在于两个修饰词round 和饱和。先说 round。如果直接把浮点数强转成整型C 语言默认是向零截断3.75 变 3-3.75 变 -3。这种截断会让量化结果带有系统性的偏置因为所有被截断的小数部分都被丢掉了。做一次两次可能无所谓但定点数在控制环路里是反复参与运算的偏置会累积成稳态误差。所以浮点转定点一定要做四舍五入也就是“四舍五入到最近的整数”。再说饱和。饱和的意思是如果 value × 2^n 超过了定点数能表示的最大值就直接钳到最大值小于最小值就钳到最小值。很多人第一次写转换函数时忘了这一点结果是输入 4.0 想转 Q154 × 32768 131072int16_t 装不下溢出后变成一个负数完全不满足物理规律。5.2 完整可用的带饱和Q15转换函数#include stdint.h #include math.h int16_t float_to_q15(float v) { float scaled; float rounded; scaled v * 32768.0f; // 处理特殊值Inf 或 NaN 一律按0处理 if (isnan(scaled) || isinf(scaled)) { return 0; } // 饱和 if (scaled 32767.0f) { return INT16_MAX; } if (scaled -32768.0f) { return INT16_MIN; } // 四舍五入 if (scaled 0.0f) { rounded floorf(scaled 0.5f); } else { rounded ceilf(scaled - 0.5f); } return (int16_t)rounded; }注意这里的饱和上限是 32767.0f 而不是 32768.0f。因为 Q15 最大值是 1 - 2^-15对应整型 32767而 -1 对应 -32768。浮点值恰好等于 1 时按 Q15 是表示不了的必须饱和到 32767这是新手最容易忽略的边界。isnan 和 isinf 这两个宏在标准 C99 的 math.h 里有如果嵌入式 libm 精简过头不支持也可以用前面 2.3 里自定义的位判断函数替代。5.3 为什么不要用 (int16_t)value 直接强转我很理解很多人偷懒写 (int16_t)(v * 32768.0f)因为它短。但隐患有两层第一C 语言浮点转整型是向零截断不是四舍五入。v0.123456 时0.123456 × 32768 4044.6截断得 4044四舍五入得 4045。看起来差 1 个 LSB 而已但控制系统里 1 个 LSB 的持续偏置会在积分环节积累出可见的误差。控制器输出就偏了表现出来就是电机有嗡嗡声或者位置始终差一点点。第二溢出时 C 标准对“浮点转整型且值超出整型范围”的行为在历史上是未定义或边界行为主流编译器虽然通常按饱和截断处理但不同架构下可能出现不同的结果跨平台移植就是个定时炸弹。很多语言包括 Julia 这种特别强调数值严谨的语言都把浮点到整数的显式转换设计成必须调用 convert 函数而且要处理溢出就是在防止 C 语言这种静默出错的写法。咱们自己写 C 代码时也应该守住这个防线。5.4 批量转换、CMSIS-DSP 与无FPU优化批量转换的写法直接循环调用上面那个函数就可以void float_array_to_q15(const float *in, int16_t *out, size_t len) { size_t i; for (i 0; i len; i) { out[i] float_to_q15(in[i]); } }如果要上生产环境做大批量、低延迟转换强烈建议看下 CMSIS-DSP 的 arm_float_to_q15这个库内部对饱和、舍入都处理好了而且在带 DSP 指令的 Cortex-M 上跑得比手动循环快很多。还有一个性能层面的经验如果你在无 FPU 的 MCU 上做控制算法真正该做的不是优化转换函数而是从源头减少浮点运算。能转成定点运算的模块直接全定点化只在输入输出边界做转换。我实测过同样的 PI 电流环在无 FPU 的 Cortex-M0 平台上全浮点版本执行时间几乎是全定点版本的 8 到 10 倍主循环周期直接翻好几倍这个差距足以决定系统稳不稳。6. 常见问题与避坑实录6.1 浮点数相等判断别直接写 C 语言里直接拿 float 做 判断是出了名的坑。最经典的例子是 0.1 0.2 不等于 0.3因为 0.1 和 0.2 在二进制里都是无限循环小数浮点存储时都做了舍入相加之后跟 0.3 的舍入结果差了极小的一点点。再加上编译器优化层级不同中间结果可能临时存在寄存器里是高精度浮点存回内存又变成单精度同样一段代码在不同优化等级下结果可能不一样。这就导致“编译一次能过换优化选项就挂”的诡异现象。工程上的通用解法是给定一个相对误差范围去判断而不是绝对误差。因为绝对误差对 0.1 这种小数量级可能合适但对 100000.0 这种大数量级完全没意义。推荐用相对误差函数#include math.h int fp_almost_equal(float a, float b, float rel_tol) { float diff fabsf(a - b); float mag fmaxf(fabsf(a), fabsf(b)); return diff rel_tol * fmaxf(1.0f, mag); }rel_tol 取多少要看业务精度一般 1e-5 到 1e-6 起步。但归根到底如果这两个浮点数本来就是从定点数转换来的那判断相等最稳的办法是直接比较原始整型值别绕一圈回来比浮点。6.2 定点转换后精度损失到底有多大有人问我“定点数是不是精度差很多”看具体数字才有感觉。以 Q15 为例浮点值 0.123456 转换一次再还原步骤数值原始浮点值0.123456乘以 327684044.6四舍五入取整4045还原为浮点 4045 / 327680.1234436绝对误差约 1.24e-5这个误差对大部分控制应用完全够用因为传感器本身噪声可能比这大得多。但如果你的数据动态范围很大比如既要做 ±0.001 的微调又要覆盖 ±1000 的跨度Q15 就不够了这时候要么选更宽的定点类型比如 Q31要么就老老实实用浮点。分辨率公式记牢误差上限大约是 0.5 × 2^-n。想要误差小于 1e-4n 至少得 14想要误差小于 1e-6n 至少得 20。所以高精度场景直接用 32 位定点或者双精度浮点别硬拿 16 位定点凑。6.3 溢出后变成负数一个典型排查之前有个朋友调试电机驱动器电流采样转出来一直是负数完全不符合物理规律。查到最后发现就是浮点转定点忘了饱和。input 是 1.2转 Q15 时 1.2 × 32768 39321.6int16_t 最大只能到 32767一强转直接回绕成 -26214再反算成浮点就成了 -0.8 左右。排查这种问题的思路其实很简单先看输入浮点值有没有超范围再看转换函数有没有饱和处理最后看整型的符号位对不对。如果发现转换出来的整型符号和物理量明显矛盾十有八九就是饱和没写。自检手段也简单写一组边界测试用例最大值、最小值、略超最大、略超最小、0、负数、Inf、NaN全部测一遍转换函数的质量立刻见分晓。6.4 什么时候该用定点什么时候用浮点条件建议MCU 有 FPU 且主循环负载余量充足直接用浮点开发效率高无 FPU、主频低、实时性硬定点控制环路全定点化需要跨平台完全一致的数值结果定点或整数运算浮点在不同编译器下可能不一致数据动态范围巨大且不确定浮点定点范围容易被干穿算法还在频繁调试迭代先用浮点跑通再按热点模块定点化我个人比较倾向“先浮点后定点”的路线在 PC 上用双精度把算法验证完移植到目标板先用浮点跑通功能然后用 profiler 找出热点模块逐个转定点。这比一上来就全链路定点稳得多排查问题的时候也少一层变量。浮点数与定点数的相互转换不是洪水猛兽本质上就是一套缩放加取整加饱和的逻辑难的是意识什么时候该转、什么时候不该转、转换边界有多宽。代码写多了你会发现这俩兄弟之间还藏着很多看似不起眼、实则在关键时刻决定系统稳不稳的细节。最后再分享一个小技巧在代码仓库里把定点格式和缩放因子写成一个宏定义并且把“业务代码禁止裸用强转”写进团队代码规范里。所有定点浮点边界走统一的转换函数所有特殊值都有明确的处理策略。踩过几次数据从正变负、从精确变漂移的坑之后你会明白这个看似多余的习惯到底值多少钱。
