1:,像任何类一样,union可以指定保护标记使成员成为公用的、私有的或受保护的。默认情况下,union 表现得像 struct:除非另外指定,否则 union 的成员都为 public 成员。
2:union 也可以定义成员函数,包括构造函数和析构函数。但是,union 不能作为基类使用,所以成员函数不能为虚数。
3:union 不能具有静态数据成员或引用成员,而且,union 不能具有定义了构造函数、析构函数或赋值操作符的类类型的成员:
union test{ int a; float b; std::string ss;};
定义这样的union会产生编译错误:
test.cpp:9:14: error: member ‘std::__cxx11::string test::ss’ with constructor not allowed in union std::string ss; ^test.cpp:9:14: error: member ‘std::__cxx11::string test::ss’ with destructor not allowed in uniontest.cpp:9:14: error: member ‘std::__cxx11::string test::ss’ with copy assignment operator not allowed in uniontest.cpp:9:14: note: unrestricted unions only available with -std=c++11 or -std=gnu++11
4:union 最经常用作嵌套类型,然后定义一个单独的对象跟踪 union 中存储了什么值。这个附加对象称为 union 的判别式。判别式是外围类的一个成员:
class Token {public: // indicates which kind of value is in val enum TokenKind {INT, CHAR, DBL}; TokenKind tok; union { // unnamed union char cval; int ival; double dval; } val; // member val is a union of the 3 listed types};Token token;switch (token.tok) {case Token::INT: token.val.ival = 42; break;case Token::CHAR: token.val.cval = 'a'; break;case Token::DBL: token.val.dval = 3.14; break;}
5:不用于定义对象的未命名 union 称为匿名联合。匿名 union 的成员的名字出现在外围作用域中。例如,使用匿名 union 重写的 Token 类如下:
class Token {public: // indicates which kind of token value is in val enum TokenKind {INT, CHAR, DBL}; TokenKind tok; union { // anonymous union char cval; int ival; double dval; };};Token token;switch (token.tok) {case Token::INT: token.ival = 42; break;case Token::CHAR: token.cval = 'a'; break;case Token::DBL: token.dval = 3.14; break;}
因为匿名 union 不提供访问其成员的途径,所以将成员作为定义匿名union 的作用域的一部分直接访问。所以,匿名 union 不能有私有成员或受保护成员,也不能定义成员函数。