- 框架
- 变体成员
- 各类构造,析构函数存在的条件等
- 何时成员变成活跃
- 类成员的使用方法
- 匿名联合介绍
变体成员概述
要了解这个概念,首先要知道联合存在的特殊情况:类似联合类(Union-like classes,以下简称类联合类)
类联合类是指,一个非union的classes中有至少一个匿名union成员的类,或者是一个union
那么
变体成员,实际上就是指一个Union-like classes的联合中的非静态数据成员
- 解释上来说,就是,对于一个类联合类,其变体就是联合的非静态数据成员
构造,析构的存在条件
这一部分,主要是讲,当非静态成员满足一定条件时,联合的构造函数,析构函数不会隐式创建的条件
那么
首先要知道,正常的union是一个classes,是允许拥有函数成员的,那么其隐式创建和删除构造,析构函数的条件自然是在满足union相关规定的情况下满足隐式构造,析构函数创建的条件的
那么对于union,特殊的地方在哪里?
- 首先,对于一个union,任何一个非静态成员具有非平凡的复制、移动构造那么该特殊成员函数必须显式定义
- 其次,对于一个union,任何一个非静态数据成员具有非平凡的默认构造函数,那么该特殊成员函数默认删除,除非给予相应成员一个默认成员初始化器(注意,一个union中,只能有一个成员具有此初始化器),注意,此成员必须是aggregate,否则需要调用相应构造函数(以便以构造方式将其初始化),在union显式定义的构造函数中.
何时成员变成活跃
当一个成员被置为活跃是,则开启当前成员的生存期,非活跃是结束
- 上句话的意义在于,开启成员的生存期,对于一个变体成员来说,需要做什么,只要做到了,即为活跃,具体看下面使用方法.
类成员的使用方法
例1:
union CU1 {
int foo1;
float foo2;
};
void fun() {
CU1 uT1;
uT1.foo1 = 1;
uT1.foo2 = 2.0;
}
其中,分析可得,CU1具有隐式的默认构造函数,此时产生uT1对象时,没有任何一个成员为活跃.
之后的两个赋值,分别使得成员foo1为活跃,foo1生命期终止foo2为活跃
例2:
struct CT {
long sfoo2;
float sfoo1;
};
union CU1 {
CT foo1;
float foo2;
};
void fun() {
CU1 uT1;
uT1.foo1.sfoo2 = 1;
uT1.foo2 = 2.0;
uT1.foo1.sfoo1 = 2.0;
}
其中,分析可得,CU1具有隐式默认构造函数,此时产生对象uT1时没有任何一个成员为活跃,
之后的三个赋值使得:成员foo1活跃,成员foo1失去活跃foo2活跃,由于违反堆叠,使得foo2隐式调用默认构造,并且该构造先序与赋值完成
例3:
struct CT {
const long sfoo2;
float sfoo1;
};
union CU1 {
CT foo1 = {1,2.0};
float foo2;
};
void fun() {
CU1 uT1;
uT1.foo1.sfoo1 = 3;
uT1.foo2 = 2.0;
uT1.foo1.sfoo1 = 2.0;
}
其中,在创建uT1对象时,foo1由于其默认成员初始化存在,使得foo1活跃,之后对foo2修改值,使得foo1变为非活跃,但是在下一句,重新对foo1中成员赋值时,此时由于foo1默认构造被删除,无法正确隐式调用使得foo1为活跃,因此导致未定义行为的发生
匿名联合介绍
匿名联合体实际上就是指联合体没有名字,此时联合体变体成员可位于名称空间直接访问,并且该联合体不能拥有成员函数和静态成员,并且除了在匿名名称空间内,其余的,所有的具有名称空间作用域的匿名联合体必须为static
