c – 工会会员活跃的原因是什么？

什么使工会会员活跃？

我已经阅读了C 14标准的第9.5章(关于工会的第9.5章),但我还没有找到一个明确的答案,说明工会成员的活动是什么.

有一个说明：

例如,

union U {
  int i;
  short s;
} u;

new(&u.i) int(42);

好的,放置新的更改活动成员,很明显.但是在使用具有普通构造函数的类型时,我们通常不使用placement new.

operator =是否在没有UB的情况下更改活动成员？

u.i = 42;

这里,operator =调用未构造的对象.它定义明确吗？

那这个呢？

struct A {
  int i0;
  int i1;
};
union U {
  A a;
  short s;
} u;

是什么让你成为你的活跃成员？设置i0和&我足够吗？

u.a.i0 = 42;
u.a.i1 = 99;

如果我写的怎么办：

u.a.i0 = 42;     // supposedly this doesn't change the active member to a,as i1 isn't set
int x = u.a.i0;  // is it fine to read from a.i0? a is not an active member supposedly

在u.a.i0 = 42;之后,活动成员不会改为a(我认为),所以UB要做int x = u.a.i0 ;?

C 17是否改进了活跃成员的描述？