C++ 将 NAN 值分配给联合内的浮点数

Question

我想了解一个奇怪的行为。我有以下代码：

    union floatInt
    { 
        float f;
        unsigned int l;
    };

    floatInt A, B;

    A.l = 0xFFA70B56;
    B.f = A.f;

    std::cout << std::hex << B.l << std::endl;

这工作正常，除了在 1 个配置中：Linux 在非调试模式下，然后我得到这个结果：ffe70b56

而且我真的不明白为什么值发生了变化。我已经通过几点来理解这一点：

cppreference/union 指定

It's undefined behavior to read from the member of the union that wasn't most recently written. Many compilers implement, as a non-standard language extension, the ability to read inactive members of a union.

但是，如果我们不能使用其他成员，联合会的目的是什么？而且，它指向相同的内存位置，所以应该不会不同。
我使用的值 (0xFFA70B56) 是 IEEE 754 标准中的 NAN。那么，当它影响到另一个变量时，是否可以将其解释并更改为另一个 NAN 值，如 0xFFE70B56？
如果我将 B 声明为 volatile，则错误消失。请注意，该变量未在代码中的其他任何地方使用。那么它与编译器优化有关吗？

Answer 1

But what would be the purpose of a union if we cannot use the other members?

union的目的是为了节省内存，在不同的时间使用同一个内存区域存储不同的对象

你的floatInt占用的内存和float变量占用的内存是一样的。如果您的目标是使用联合，我建议添加一个布尔元素来跟踪使用了两个元素中的哪一个。

如果你想同时使用这两个属性，你应该使用 struct 或（我们在 c++ 中）class

有关联合的更多信息，请阅读 here

Answer 2

正在将您的 NaN 从信号 NaN 转换为静默 NaN。小数的高位，bit 22, changes from a zero to a one.

即使您没有使用联合，您也可能会看到相同的行为。

C++ 将 NAN 值分配给联合内的浮点数

C++ Assign a NAN value to a float inside a union

c++

nan

unions