C++11新特性之非受限联合体

1. 取消枚举对数据成员类型的限制

联合体是C/C++语言中的一种数据结构。在这种数据结构中我们可以定义多种不同类型的数据，但这些数据却共享相同的一段内存空间。在C++98中，针对联合体中的数据类型有一些限制，即联合体中不能有非POD类型，静态类型以及引用类型。比如在

C++98标准下，下面的代码将不会通过编译：

class Person
{
public:
    Person(bool gender, int age):m_gender(gender),m_age(age){}
private:
    bool m_gender;
    int  m_age ;
    
};

union U
{
    Person s;
    int id;
    char name[10];
};

在联合体U中，Person 类型的变量s有一个自定义的构造函数，所以s是一个非POD类型，在C++98标准下，会编译失败。

在C++11标准中，取消了枚举类型对数据成员类型的限制，即任何非引用类型都可以成为联合体的数据成员，这种联合体也称为非受限联合体（Unrestricted Union）。

2. 初始化

在C++98标准下，枚举类型中没有出现在初始化列表中的数据成员会被自动赋值，但这有时候会带来迷惑，请看下面的代码：

union U
{
    int s;
    double id;
    char name[5];
};
U u = {0} ;

上面代码中，用初始化列表的方式对枚举u赋初值0，试图将第一个成员变量s赋值为0，但实际上u所占的8字节空间会全部被赋值为0。

在C++11标准中，当联合体中有一个非POD的成员，并且该非POD成员有非平凡的构造函数，那么这个联合体的默认构造函数就会被编译器删除，同理，其他的特殊成员函数比如默认拷贝构造函数，拷贝赋值构造函数及析构函数，也遵循这个标准。比如下面的例子：

Union U
{
    string str ;  //str 有非平凡构造函数
    double d ;
};

int main()
{
    U u ; //编译失败，u的构造函数被删除
}

联合体U中的数据成员str有非平凡的构造函数，所以编译器会删除U的默认构造函数，因而u的构造就失败了。那么如何解决这种情况呢？办法是为联合体自定义一个构造函数：

Union U
{
    string str ;  //str 有非平凡构造函数
    double d ;
public:
    U(){new (&str) string;}  //自定义构造函数
    ~U(){str.~string();}     //自定义析构函数
};

int main()
{
    T t ; 
}

在上面的代码中，我们为U定义了构造和析构函数，这样就可以顺利编译通过了，只是要注意的是，当析构Union U的时候也必须是一个string对象，否则会导致析构错误。