C11中的并集与严格别名

Question

假设我有一个这样的工会

union buffer {
  struct { T* data; int count; int capacity; };
  struct { void* data; int count; int  capacity; } __type_erased;
};

如果我在C11别名规则下混合读/写匿名结构成员和__type_erased成员，我会有麻烦吗？

更具体地说，我对独立访问组件时发生的行为感兴趣（例如，通过不同的指针）。举例说明：

grow_buffer(&buffer.__type_erased);
buffer.data[buffer.count] = ...

#define ALLOC_ONE(A)\
    (_array_ensure_size(&A.__type_erased, A.count+1), A.count++)

#define ALLOC_ONE(A) \
   (A.__type_erased = _array_ensure_size(A.__type_erased, A.count+1),\
    A.count++)

Answer 1

C11标准规定如下：

6.5.2.3组织和工会成员

95）如果用于读取联合对象内容的成员与上次用于在对象中存储值的成员不同，则该值的对象表示的适当部分被重新解释为6.2.6中所述的新类型的对象表示（有时称为“类型双关语”的过程）。这可能是一种陷阱表示。

struct t1 { int m; };
struct t2 { int m; };
int f(struct t1 *p1, struct t2 *p2)
{
  if (p1->m < 0)
  p2->m = -p2->m;
  return p1->m;
}
int g()
{
  union {
    struct t1 s1;
    struct t2 s2;
  } u;
  /* ... */
  return f(&u.s1, &u.s2);
}