🌎 中文 | English

广义联合体

在C++11之后引入了generalized (non-trivial) unions，广义非平凡联合体。

联合体的数据成员共享内存。 联合体的大小至少容纳最大的数据成员。

BookVideoCodeX
cppreference-union / markdown视频解读练习代码

为什么引入

  • 可以直接放入诸如std::string的对象，不需要使用指针。
  • 更好的管理数据成员的生命周期。

现在的联合与之前有什么区别

  • 最多只有一个变体成员可以具有默认成员初始化器
  • 联合体可以包含具有非平凡特殊成员函数的非静态数据成员。
union S {
  int a;
  float b;
  std::string str; // C++11 之前是不能直接放入这种数据成员的，或者使用静态成员
  S() {}
  ~S() {}
}

一、基础的用法和场景

普通联合体的使用

只有一个值是有效的

union M {
  int a;
  double b;
  char *str;
}

广义联合体的使用

联合体的大小就是数据成员所占用的最大空间，其是随着数据成员的变化而动态变化的。

#include <iostream>
#include <string>
#include <vector>

union M {
  int a;
  int b;
  std::string str;
  std::vector<int> arr;
  M(int a) : b(a) { }
  M(const std::string &s) : str(s) { }
  M(const std::vector<int> &a) : arr(a) { }
  ~M() { } // 需要知道哪个数据成员是有效的才能正确析构
};

int main() {
  M m("123456");
  std::cout << "m.str = " << m.str<< std::endl;
  m.arr = { 1, 2, 3, 4, 5, 6 };
  std::cout << "m.arr = ";
  for(int v: m.arr) {
    std::cout << v << " ";
  }
  std::cout << std::endl;
  return 0;
}

生命周期

成员的生命周期从有效时开始，无效时结束。

#include <iostream>

struct Life {
  Life() { std::cout << "----Life(" << this << ") Start----" << std::endl; }
  ~Life() { std::cout << "----Life(" << this << ") End----" << std::endl; }
};

union M {
  int a;
  Life l;
  M(int n) : a(n) { }
  M(const Life &life) : l(life) { }
  ~M() { } // 需要知道哪个数据成员是有效的才能析构
};

int main() {
  M m = 1;
  std::cout << "Life 1 time one Start" << std::endl;
  m = Life();
  // 该Life的生命周期会在失效前结束
  std::cout << "Life 1 time one End" << std::endl;
  m = 2;
  std::cout << "Life 2 time one Start" << std::endl;
  m = Life();
  std::cout << "Life 2 time one Start" << std::endl;
  m = 3;
  return 0;
}

匿名联合体

int main() {
  union {
    int a;
    const char *b;
  };
  a = 1;
  b = "Jerry";
}

二、注意事项

可访问性

union和struct一样，默认的数据成员都是public。

联合体的析构

联合体的析构一般不指定，因为联合体本身是没办法得知自身的有效数据是哪个的。

union M {
  char* str1;
  char* str2;
  ~M() {
    delete str1; // 如果有效数据是str2的话就会错误
  }
};

匿名联合体的限制

匿名联合体是无法包含成员函数和静态数据成员。

union {
  int a;
  static int b; // 错误：不能有静态数据成员
  int print() {...}; // 错误：不能有成员函数
};

未定义行为

如果访问无效的数据成员，会发生不可预知的行为。

union M {
  int a;
  double b;
};

M m;
m.a = 1;
double c = m.b; // 错误：未定义行为

三、练习代码

TODO

四、其他