C语言使用IF语句处理错误 解决浮点运算下溢报错问题

1. IF语句内表达式触发错误的运行表现 #

C语言没有“表达式出错自动跳过分支”的规则，你当前拆分赋值的写法没有任何容错效果：

• 如果开启了浮点异常捕获，运算触发下溢时程序会直接收到SIGFPE信号终止运行
• 默认编译配置下浮点异常是关闭的，下溢会返回非规格化浮点数或NaN，运算结果完全不可预期，会继续执行IF判断逻辑，不会跳过，只会得到错误的校验结果

2. 现有代码的隐藏问题 #

你现有代码还有一个严重bug：abs是整型绝对值函数，处理浮点数时会先做强制整型转换，结果完全错误，浮点绝对值应该用fabs函数。

3. 规避浮点下溢的最优方案 #

第一步：先做公式数学变形，从根源降低下溢概率 #

你原有的校验公式：

abs( ((a/b) - (c/d)) / (a/b) ) > 0.1

数学上可以等价变形为：

fabs(1.0 - (b * c) / (a * d)) > 0.1

变形后的公式减少了两次除法运算，分母从极小的a/b换成了a*d，大幅降低了极小值做分母触发下溢的概率，而且运算精度更高，只要你已经做了a、b、d不为0的前置检查，两个公式完全等价。

第二步：增加浮点异常检测兜底 #

如果你的业务场景数值范围波动极大，还可以用C标准库<fenv.h>的接口做异常检测，不需要用setjmp/longjmp：

#include <fenv.h>
#include <math.h>

// 前置检查：保证a、b、d均不为0
feclearexcept(FE_ALL_EXCEPT);
double bc = (double)b * c;
double ad = (double)a * d;
double ratio = 1.0 - bc / ad;

// 检查是否触发浮点异常
int fp_err = fetestexcept(FE_UNDERFLOW | FE_DIVBYZERO | FE_INVALID);
if (fp_err != 0 || fabs(ratio) > 0.1) {
    // 校验不通过，执行重新查询逻辑
}

如果环境不支持<fenv.h>，可以增加阈值判断兜底：提前判断ad的绝对值小于业务场景下的极小阈值（比如1e-30，可根据你的数值范围调整）时，直接判定校验不通过，避免极小值做分母。

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