关于SQRT宏中(x)!=(x)条件成立场景的技术问询

这个问题问得很到位！很多人第一次看到这个判断条件都会摸不着头脑，其实它是专门用来检测**NaN（非数字，Not a Number）**的特殊手段。

核心原因：NaN的特殊比较规则 #

根据IEEE 754浮点数标准（几乎所有现代计算机都遵循这个标准），NaN有一个独一无二的特性：它和任何值（包括它自己）进行相等比较时，结果都是假。也就是说，只要x是NaN，x != x就会返回真，这是区分NaN的经典技巧之一。

哪些场景会触发这个条件？ #

当x是NaN的时候，这个判断就会生效，而NaN通常来自这些不符合数学定义的浮点数运算：

• 对负数调用标准sqrt函数（在不支持复数运算的环境中，比如普通C程序）
• 0除以0（0.0 / 0.0）
• 无穷大减去无穷大（INFINITY - INFINITY）
• 其他非法的浮点数操作，比如负数的对数运算

结合这个宏的设计意图来看 #

原宏#define SQRT(x) ((x)<=0.0||(x)!=(x)?0.0:sqrt(x))的目的是处理两类异常输入：

1. 非正数（x <= 0.0）：因为实数范围内负数没有平方根，直接返回0.0
2. NaN输入：避免把NaN传给sqrt后返回NaN，统一返回0.0

举个简单的代码例子验证一下：

#include <math.h>
#include <stdio.h>
#include <float.h>

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

int main() {
    // 生成一个NaN值
    double nan_val = 0.0 / 0.0;
    // 测试宏和原生sqrt的区别
    printf("宏处理NaN的结果：%f\n", SQRT(nan_val));    // 输出 0.000000
    printf("原生sqrt处理NaN的结果：%f\n", sqrt(nan_val)); // 输出 nan
    return 0;
}

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