C语言舍入错误排查：代码、硬件还是软件问题？

环境信息 #

• 发行版：BunsenLabs GNU/Linux 10.5 (Lithium)
• 线程模型：posix
• gcc版本：8.3.0 (Debian 8.3.0-6)

问题重现 #

维护旧C程序时遇到舍入错误，示例代码（example.c）：

main()
{
    float acntBalance;
    int dollars;
    int cents;
    float fcents;
    
    dollars = 303466;
    cents = 95; 
    fcents = cents * 0.01;
    acntBalance = dollars + fcents;
    printf("Dollars(%d) + Cents(%f) = %f \n",dollars,fcents,acntBalance);
}

编译命令：gcc -w -g -o example example.c

预期输出为303466.95，实际输出为303466.937500，会计程序中该偏差不可接受，已排除硬件问题。

错误根源 #

问题出在float类型的精度限制：

1. float是单精度浮点数，仅能提供约6-7位有效数字。你的美元数303466已经占了6位有效数字，剩余精度不足以精确表示0.95这个十进制小数。
2. 十进制的0.95无法转换为有限长度的二进制小数（类似十进制中1/3是无限循环小数），float只能存储其近似值0.9375（即15/16），最终导致相加结果出现偏差。

解决方案 #

方案1：改用double类型提升精度 #

双精度浮点数（double）提供约15-17位有效数字，足以覆盖当前场景的数值范围，能精确表示所需小数部分。修改后代码：

#include <stdio.h>

int main()
{
    double acntBalance;
    int dollars;
    int cents;
    double fcents;
    
    dollars = 303466;
    cents = 95; 
    fcents = cents * 0.01;
    acntBalance = dollars + fcents;
    printf("Dollars(%d) + Cents(%f) = %.2f \n", dollars, fcents, acntBalance);
    return 0;
}

方案2：用整数存储分（推荐会计场景） #

彻底避免浮点运算的精度问题，将所有金额以“分”为单位用整数存储，计算时使用整数运算，输出再转换为“元.分”格式。修改后代码：

#include <stdio.h>

int main()
{
    long long totalCents;
    int dollars;
    int cents;
    
    dollars = 303466;
    cents = 95; 
    totalCents = (long long)dollars * 100 + cents;
    printf("Dollars(%d) + Cents(%d) = %lld.%02lld \n", dollars, cents, totalCents / 100, totalCents % 100);
    return 0;
}

该方法完全消除浮点近似误差，是会计类程序的标准做法，可避免后续所有精度相关问题。

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