c - 定义平方根的条件

Question

这个宏用于计算sqrt(x),

#define SQRT(x)     ((x)<=0.0||(x)!=(x)?0.0:sqrt(x))

我不明白在哪种情况下第二个条件 (x)!=(x)可能是真的？

Answer 1

如果 x 是 IEEE 754 Not-a-number (NaN)，

(x) != (x) 将为真. IE。对于未定义平方根的参数值，此宏尝试将结果强制为 0.0。 sqrt(3) Linux man page很好地总结了返回值:

RETURN VALUE

On success, these functions return the square root of x.

• If x is a NaN, a NaN is returned.

• If x is +0 (-0), +0 (-0) is returned.

• If x is positive infinity, positive infinity is returned.

• If x is less than -0, a domain error occurs, and a NaN is returned.

因此，此表达式可确保在第 1 和第 4 种情况下返回 0 而不是 NaN，此外，errno 保持不变，并且不会发生浮点异常。

---

(顺便说一句，如果您在宏参数中有副作用，那么使用这个奇怪的宏是不安全的，因此最好将其替换为内联函数或类似函数)