c++ - 联盟 : Reading from one data member of a union to write into another

Question

我知道对于下面的代码，下面的“非法”是未定义的(虽然有些编译器允许它)，因为 union 成员“a”是事件的，然后我们从 union 成员“b”读取。问题是，“AmILegal”中的代码是否修复了它，还是我在做一些可怕甚至更晦涩的事情？我可以使用 memcpy 来实现相同的效果还是我在那里调用了另一个未定义的行为？

编辑:也许这个例子不够清楚。我想要做的就是激活另一个成员。所以我正在将 float 更改为 int。虽然看起来很傻，但更接近真实情况。阅读下面的代码。

(是否出于某种原因不允许将一个 union 成员复制到另一个 union 成员？)

struct Foo
{
    union Bar
    {
        int a[4];
        int b[4];
    };

    void this_is_Illegal()
    {
         a[0]=1;
         a[1]=2;
         a[2]=3;
         a[3]=4;
         std::cout<<b[0]<<b[1]<<b[2]<<b[3];
    }

    void but_is_this_Legal?()
    {
         a[0]=1;
         a[1]=2;
         a[2]=3;
         a[3]=4;

         b[0]=a[0];
         b[1]=a[1];
         b[2]=a[2];
         b[3]=a[3];
         std::cout<<b[0]<<b[1]<<b[2]<<b[3];
    }


    void this_looks_scary_but_is_it?()
    {
         a[0]=1;
         a[1]=2;
         a[2]=3;
         a[3]=4;
         //forget portability for this q, assume sizeof(int)==sizeof(float)
         //maybe memmove works here as well?
         memcpy(b, a, sizeof(int)*4)

         std::cout<<b[0]<<b[1]<<b[2]<<b[3];
    }

};

如果以上所有听起来都不是很有用，请认为 a 实际上是一个 _m128 与一个 float[4] union 。位表示始终准确无误。在某个时间点，您将需要实际使用它，并且需要将它作为 float 组保存在主内存中。“复制指令”实际上是从 _m128 union 成员到 float[4] 成员的 _mm_store_ps。因此关于 memset 的问题 - 也许它是我需要的更准确的例子......

Answer 1

第二个函数是完全合法的 - 但不做同样的事情，因为它将执行 int 到 float 的转换，而不是保持位不变。

老实说，我会坚持第一个 - 行为在技术上是未定义的，但我怀疑它只是为你做了正确的事情。

第三个将一种形式的未定义行为切换为另一种形式(一旦您将任意字节写入 float ，任何事情都可能发生)。但是，如果您知道这些字节确实代表了一个有效的浮点值，那就没问题了。