在 C 中，使用 IF 语句进行错误处理

Question

我需要修复一些代码

if ( abs(( (a/b) - (c/d) ) / (a/b)) > 0.1) { ... 

这是检查这些值是否有意义的一部分。如果不是，它将重新查询这些值。事先进行检查以确保它在任何点都不会被零除，但该等式有时会出现浮点下溢错误。我正在尝试找出一种方法来运行它以消除任何可能的错误。

Try and catch 已经退出，因为这是在 C 而不是 C++ 中，setjmp 和 longjmp 似乎只有在你可以自己“抛出”错误时才有效（我没有看到任何例子是程序导致触发它的错误）

我的解决方案可以编译但很难测试（因为它是整个系统的一部分）：

if (val = abs(( (a/b) - (c/d) ) / (a/b)){
      if (val > 0.1) {

如果'if'语句中的语句试图抛出错误，它会停止程序还是跳过if语句？

欢迎提出其他意见

Answer 1

常见的 C 实现在浮点除以零时继续，结果设置为 +∞、-∞ 或 NaN，具体取决于操作数。在执行除法之前，您应该测试 b 和 a/b 以查看它们是否为零，并且您还应该考虑其他感兴趣的条件，例如 NaN。例如，如果 a/b 和 c/d 溢出，您的计算将导致 NaN 与 .1 进行比较，这将评估为 false，因此代码将无法检测到这一点，但您可能希望将其视为一个错误。

另外，abs 是一个 int 函数。对于浮点绝对值，使用fabsf、fabs 或fabsl，对于float、double 或long double。

Answer 2

如果'if'语句中的语句试图抛出错误，它会停止程序还是跳过if语句？

假设首先定义了外部if 条件中表达式的行为，唯一的选择是它计算为浮点值（可能是无穷大或NaN），或者它执行一个陷阱.

后者是我对“抛出错误”的意思的最佳猜测，如果程序执行了一个陷阱，那么根据定义，它会在那时和那里中断它的执行（但不一定没有继续的可能性） .这与执行陷阱的上下文完全无关。

浮点下溢导致陷阱不是大多数系统的默认行为，但许多系统提供了针对诸如此类的异常 FP 条件启用陷阱的可能性。一种选择是简单地将其关闭，至少在评估该条件时。它可能看起来像这样：

#include <fenv.h>
#pragma STDC FENV_ACCESS ON

// ...

    fenv_t env;

    // Preserve the current FP environment and set a mode that prevents trapping
    // when FP exceptions are raised.
    feholdexcept(&env);

    if ( abs(( (a/b) - (c/d) ) / (a/b)) > 0.1) {
        // ... 
    }

    // Restore the FP environment
    fesetenv(&env);

Answer 3

C 不允许异常......你的程序将停止。