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对象,否则会导致析构错误。