浮点运算生成的NaN符号性是否有明确定义？IEEE 754相关疑问

核心结论 #

NaN的符号性并非由IEEE 754标准强制统一规定，而是允许硬件/编译器实现选择是否继承运算参数的符号特征，同时标准也支持实现固定使用某一种符号（比如默认正符号）。

针对-0.0 / +0.0的具体情况 #

对于-0.0 / +0.0这个运算，IEEE 754没有强制要求生成的NaN必须带负号。部分CPU会继承分子-0.0的负符号，输出负NaN；也有硬件会直接输出正NaN——两种结果都符合标准规范，具体取决于底层硬件实现。

关于isnan()函数的说明 #

isnan()函数的判断逻辑仅关注输入是否属于NaN类型，完全不区分NaN的符号位，所以正、负NaN都会被它正确识别为NaN，这是符合标准的正常行为。

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