Question

C++ Union

Answer 1

要了解这个概念,首先要知道联合存在的特殊情况:类似联合类( Union-like classes ,以下简称类联合类)
类联合类是指,一个非union的classes中有至少一个匿名union成员的类,或者是一个union
那么

这一部分,主要是讲,当非静态成员满足一定条件时,联合的构造函数,析构函数不会隐式创建的条件
那么

例1:

其中,分析可得,CU1具有隐式的默认构造函数,此时产生uT1对象时,没有任何一个成员为活跃.
之后的两个赋值,分别使得成员foo1为活跃,foo1生命期终止foo2为活跃
例2:

其中,分析可得,CU1具有隐式默认构造函数,此时产生对象uT1时没有任何一个成员为活跃,
之后的三个赋值使得:成员foo1活跃,成员foo1失去活跃foo2活跃,由于违反堆叠,使得foo2隐式调用默认构造,并且该构造先序与赋值完成
例3:

其中,在创建uT1对象时,foo1由于其默认成员初始化存在,使得foo1活跃,之后对foo2修改值,使得foo1变为非活跃,但是在下一句,重新对foo1中成员赋值时,此时由于foo1默认构造被删除,无法正确隐式调用使得foo1为活跃,因此导致未定义行为的发生