前言
union即为联合，它是一种特殊的类。通过关键字union进行定义，一个union可以有多个数据成员。例如
|
1
2
3
4
5
|
union Token{char cval;int ival;double dval;}; |
c++11中union除了继承c语言的数据共享内存之外，行为上越来越像一个类，比如成员默认是public类型。
在C++11以后，很多基础语法都进行了修正。其中 union 的行为向类对象进行了发展，在兼容原有语法定义的基础上进行了扩充：
- union可以拥有成员函数(包含构造函数和析构函数)，但是不能有虚函数
- union不能参与继承，不能成为基类也不能成为子类
- union的成员对象不能为引用类型
对于全部成员都是 build-in 的 union 类，还可以向以往一样进行使用：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#include <iostream>#include <cstdint>union S{ std::int32_t n; // 占用4字节 std::uint16_t s[2]; // 占用4字节 std::uint8_t c; // 占用1字节}; // 整体占用4字节 int main(){ S s = {0x12345678}; // 初始化第一个成员，当前s.n为活跃成员 // 于此点，读取 s.s 或 s.c 是未定义行为 std::cout << std::hex << "s.n = " << s.n << '\n'; s.s[0] = 0x0011; // s.s 现在是活跃成员 // 在此点，读取 s.n 或 s.c 是未定义行为 std::cout << "s.c is now " << +s.c << '\n' // 11 or 00, 依赖平台实现 << "s.n is now " << s.n << '\n'; // 12340011 or 00115678} |
对于全部包含非 built-in 的 union 类，则：
- 如果非静态(non-static)成员带有非平凡的特殊(non-trivial special)成员函数(自定义的：复制/移动构造函数，复制/移动赋值函数，析构函数)，则该 union 类的默认相关的复制/移动构造函数、复制/移动赋值函数、析构函数都会被删除，如果需要的话，要求用户自己定义实现，如果用户没有自己定义，则不能进行相关的复制/移动操作
- 如果非静态(non-static)成员带有非平凡的特殊(non-trivial special)构造函数(自定义的构造函数)，则该 union 类的默认构造函数会被删除，如果需要的话，要求用户自己定义实现，如果用户没有自己定义，则不能该 union 类不能进行实例化。
- 至多一个变体成员能拥有默认成员初始化值
- 不能有静态成员数据(这个很奇怪，在clang上会报链接错误而不是语法错误)，但是可以有静态成员函数
- 全部成员的访问控制都是 public
第1、2点的意思是，如果成员数据类型是非平凡的(non-trivial)，则 union 类需要定义相关的构造函数、复制函数、移动构造、移动赋值函数、析构函数等。
|
1
2
3
4
5
6
7
8
|
union A { int a; double b; std::string c; A() : c("111") {} // 因为std::string拥有是非平凡的的数据类型， ~A() {} // 则A必须自定义构造函数和析构函数，否则无法进行实例化 // 如果想实现复制语义，还得自定义复制(构造)函数}; |
第3点的意思是：
|
1
2
3
4
5
6
|
union A { int a; double b; std::string c = "abc"; // 只有一个成员数据能拥有这种初始化值 ~A(){};}; |
总结
以上就是这篇文章的全部内容了，希望本文的内容对大家的学习或者工作具有一定的参考学习价值，如果有疑问大家可以留言交流，谢谢大家对服务器之家的支持。
原文链接：https://lrita.github.io/2018/09/26/union-in-cpp11/
