无显式转换为float时uint16_t运算结果异常原因咨询

问题场景 #

在进行带偏移和增益的运算时（接收值24.2，处理后通过CAN发送），发现浮点运算转uint16_t时出现不符合预期的结果。以下是最小可复现代码：

#include <stdio.h>
#include <stdint.h>

int main()
{
    printf("Operations with comas \n");
    
    uint16_t a = (uint16_t)((24.2 - 0)/0.1);        /* 241  Incorrect*/
    uint16_t b = (uint16_t)((24.2 - 0.0)/0.1);      /* 241 Incorrect */
    uint16_t c = (uint16_t)((float)(24.2 - 0)/0.1); /* 242 Correct */
    uint16_t d = (uint16_t)(24.2/0.1);              /* 241 Incorrect*/
    uint16_t e = (uint16_t)(242.0);                 /* 242 Correct */
    
    printf("a %u \n" , a);
    printf("b %u \n" , b);
    printf("c %u \n" , c);
    printf("d %u \n" , d);
    printf("e %u \n" , e);
    
    return 0;
}

已知float无法精确表示所有十进制数值，24.2在IEEE-754单精度浮点数中实际存储为24.200000762939453125，因此c和e的转换结果正确。需要明确为什么a、b、d会得到241。

核心原因分析 #

1. 默认浮点字面量的类型 #

C语言中，不带后缀的浮点字面量（如24.2、0.1）默认是double类型（双精度浮点数），而非float。double的精度（53位有效位）远高于float（24位有效位），对十进制小数的逼近更精准，但依然无法精确表示24.2和0.1这类二进制无法有限循环的数值。

2. double运算的结果偏差 #

计算24.2 / 0.1（double精度）时，实际得到的结果是一个略小于242的数值（例如241.99999999999997）。当强制转换为uint16_t时，C语言会直接截断小数部分（而非四舍五入），因此最终得到241。

3. float转换后的精度补偿 #

对于变量c，(float)(24.2 - 0)将double类型的计算结果转换为float：

• float对24.2的表示是24.200000762939453125（略大于真实值）
• float对0.1的表示是0.10000000149011612（同样略大于真实值）
  两者相除后，结果略大于242，截断小数部分后得到242，刚好符合预期。

4. 精确值的直接转换 #

变量e使用的242.0是一个能被IEEE-754精确表示的数值（无论是float还是double），因此强制转换为uint16_t时直接得到242。

可靠解决方案 #

强制转换为float只是利用了精度损失的“巧合”，并非通用方案。更可靠的做法是使用四舍五入函数处理浮点结果后再转换，避免精度偏差导致的截断错误：

uint16_t f = (uint16_t)round(24.2 / 0.1); // 结果为242

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