c - 为什么union可以这么用？

Question

不是说union中的成员是排他的吗，如果你已经引用了其中一个就不能再引用另一个了？

union Ptrlist
{
    Ptrlist *next;
    State *s;
};

void
patch(Ptrlist *l, State *s)
{
    Ptrlist *next;

    for(; l; l=next){
        next = l->next;
        l->s = s;
    }
}

但是上面同时指的是next和s，谁能解释一下？

Answer 1

union 只定义了那个

&l->next == &l->s 

就是这样。首次访问无语言限制。