当union含有类类型成员时,如果该类类型定义了默认构造函数或拷贝控制成员,则编译器为union合成对应的版本并将其声明为删除的。
举例说明:
例1:
#include <iostream>
using namespace std;
class base{
public:
base(){cout << "base()" <<endl;}
~base(){cout << "~base()" << endl;}
};
union tu{
base b;
};
int main()
{
tu t;
return 0;
}
由于union tu的默认构造是删除的,故不能定义对象t,编译出错。若需union自己的默认构造函数,则需自定义。同理,析构函数在例1中也是删除的,若不定义自己的析构函数,编译仍会错误(因为无法调用删除的函数)。
例2(定义了union的默认构造函数及析构函数):
#include <iostream>
using namespace std;
class base{
public:
base(){cout << "base()" <<endl;}
~base(){cout << "~base()" << endl;}
};
union tu{
base b;
tu() { cout << "tu()" << endl;}
~tu(){cout << "~tu()" << endl;}
};
int main()
{
tu t;
return 0;
}
例2定义了union的默认构造函数和析构函数,故编译正确。但对于union中的成员b,并不会运行其构造函数、析构函数。
故,例2的输出为:
tu()
~tu()
若要完成对b的构造及析构,则需显示指定。
例3:
#include <iostream>
using namespace std;
class base{
public:
base(){cout << "base()" <<endl;}
~base(){cout << "~base()" << endl;}
};
union tu{
base b;
tu() :b() { cout << "tu()" << endl;}
~tu(){cout << "~tu()" << endl;b.~base();}
};
int main()
{
tu t;
return 0;
}
故,例3输出:
base()
tu()
~tu()
~base()
//----------------------------------------------------------------------------
上述例子仅说明union中成员的默认构造函数和析构函数的调用情况,在实际应用中,往往更加复杂,
union含有更多类型的成员。此时,union中存储哪个成员变得更加复杂。
故,通常使用类管理union成员,其具体通过在类中定义一个判别式,例如枚举成员,用于追踪union中
究竟存储了什么成员。
c++ primer(第5版),p751.