c++11中，含有类类型的union

当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中

究竟存储了什么成员。

ref：

c++ primer(第5版），p751.