c++ - 从 C++ 中的符号、指数和尾数部分创建 NaN 浮点值

Question

我需要在 C++ 中创建一个具有 NaN 值的浮点变量。我还需要能够看到哪个 NaN 的值更大。要比较 NaN，您需要查看浮点数的尾数部分。使用标准创建 NaN

nanf("abc"); 

方法导致 NaN 具有相同的尾数，即使 nanf 函数中使用了不同的字符串。通过从位模式的基本部分创建 NaN 应该证明可以提供不同的尾数，因此可以对尾数的大小执行简单的排序。

Answer 1

看看frexp()函数族 以及ldexp()，这有点与frexp()

链接：http ://www.cplusplus.com/reference/cmath/ldexp/

Answer 2

这是一个使用联合和整数位域的类型双关浮点值的示例。

#include <iostream>

union floatPun {
    struct {
        unsigned int mantissa : 23;
        unsigned int exponent : 8;
        unsigned int sign     : 1;
    };
    float value;
};

union doublePun {
    struct {
        unsigned long long mantissa : 52;
        unsigned long long exponent : 11;
        unsigned long long sign     : 1;
    };
    float value;
};

template <typename PunT>
static int compare_mantissas(const PunT& a, const PunT& b) {
    return int(a.mantissa > b.mantissa) - (b.mantissa > a.mantissa);
}

int main() {
    floatPun fa = {0}, fb = {0};

    // make NaNs
    fa.exponent = fb.exponent = 0xff;
    fa.mantissa = 1;
    fb.mantissa = 2;
    std::cout << "fa: " << fa.value << "   fb: " << fb.value << "\n";

    // compare mantissas
    static const char* const cmp_labels[] = {"less than", "equal to", "greater than"}; 
    std::cout << "mantissa of fa is " 
        << cmp_labels[1 + compare_mantissas(fa, fb)]
        << " mantissa of fb\n";

    // change fa to +infinity
    fa.mantissa = 0;
    std::cout << "changed fa's mantissa to zero: " << fa.value << "\n";
}