是否通过工会定义的行为进行原子类型？

Question

<

typedef union
{
    uint32_t i;
    float f;
} MyUnion;

MyUnion u;
u.f = 4.2;
print("%"PRIu32, u.i); // defined behaviour

​

如果用于读取联合对象内容的成员与最后用于存储值的成员在 对象，该值的对象表示的适当部分被重新解释为新的对象表示 键入6.2.6中所述（有时称为“类型punning”的过程）。这可能是陷阱表示。

---

但是，使用原子操作时是否仍定义的行为？那是什么行为？我们有一些测序保证吗？

typedef union
{
    _Atomic uint32_t i;
    _Atomic float f; // assume sizeof(float) == sizeof(uint32_t)
} MyUnion;

int load(MyUnion* p)
{
    atomic_load(&p->i);
}

void store(MyUnion* p)
{
    return atomic_store(&p->i, 42);
}

您还可以构建奇怪的示例，例如：

typedef union
{
    _Atomic uint32_t i;
    struct
    {
        uint16_t h0; // or maybe _Atomic uint16_t ah0;
        _Atomic uint16_t ah1;
    };
} MyUnion;

---

6.5.2.3p5至少说：

访问原子结构或联合对象的成员会导致不确定的行为。

typedef _Atomic union
{
    uint32_t i;
    float f;
} MyUnion;

int load(MyUnion* p)
{
    return atomic_load(&p->i); // UB, also atomic_load on non-atomic type
    return p->i; // UB
}

Answer 1

使用原子操作时仍定义的行为吗？

适用相同的条件。它可能是陷阱表示形式，_ATOMIC对象可能在大小，表示形式，对齐方式上有所不同。如果不是陷阱表示，则结果将是（实现）定义。