C++ Union

• 框架
  • 变体成员
  • 各类构造,析构函数存在的条件等
  • 何时成员变成活跃
  • 类成员的使用方法
  • 匿名联合介绍

变体成员概述

要了解这个概念,首先要知道联合存在的特殊情况:类似联合类(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