NaN 到 Bool 的转换：True 还是 False？

Question

C++ 规范或 IEEE float 规范的哪一部分规定 NaN 值应转换为 true 而不是 false？

如果我查看 C++ 标准部分 4.12 布尔转换，它会显示：

零值、空指针值或空成员指针值是 转换为假；任何其他值都会转换为 true。

现在 IEEE 浮点数表示 NaN 与任何其他值进行比较时为 false。因此 NaN 是真是假取决于您如何进行比较（如下）。因此我认为必须明确提及。

value == 0 ? false : true
value != 0 ? true : false

现在，转换为整数怎么样？下面的简短程序显示，变量 NAN 转换为整数会产生最小整数，而常量会转换为 0（使用 GCC）。这看起来很奇怪。

#include <iostream>
#include <cmath>

void write( double r, int i, bool b )
{
    std::cout << r << " == " <<  i << " == " << (b ? "True" : "False") << std::endl;
}

int main()
{
    double value = NAN;
    write( value, value, value );
    write( NAN, NAN, NAN );
}

输出：

nan == -2147483648 == True
nan == 0 == True

NaN 到零的转换，但 bool 转换为 True 似乎令人不安。我也不认为像 MatLab 这样的东西会使用像 int16 这样的函数将 NaN 转换为 0。

那么，规定 NaN 如何转换为布尔值和整数值的相关标准有哪些具体细节呢？

我也标记了 C，因为虽然它可能没有定义布尔转换，但它可能定义了整数转换并在条件中使用，我怀疑 C++ 将遵循相同的规则

Answer 1

在 C 和 C++ 中，将 NAN 转换为整数类型（bool 除外）时的行为是未定义的：

C99 6.3.1.4/1：实浮点类型的有限值转换为_Bool以外的整数类型时，小数部分被丢弃（即值被截断为零） 。如果整数部分的值无法用整数类型表示，则行为未定义。

C++11 4.9/1：浮点类型的纯右值可以转换为整数类型的纯右值。转换截断；也就是说，小数部分被丢弃。 如果截断值无法在目标类型中表示，则行为未定义。 [注意：如果目标类型是bool，请参见4.12。 —尾注]

在两种语言中，将 NAN 转换为 bool（或 _Bool）会得到 true< /code>（或1）：

C99 6.3.1.2/1：任意标量值转换为_Bool时，如果该值比较等于0，则结果为0；否则，结果为 1。

C++11 4.12/1：零值、空指针值或空成员指针值转换为 false；任何其他值都会转换为 true。

NAN 不是零值，并且比较时不等于零。