union 不能直接存储非平凡类型（如 std::string），需手动管理生命周期并配合 tag 字段；推荐使用 std::variant，它自动处理构造/析构、类型安全访问，并配合 std::vector 和 std::visit 实现安全高效的异构数据管理。
union 存储不同类型数据时，必须手动管理生命周期
直接用 union 存不同类型的值看似简单，但 C++ 不允许在 union 中隐式构造/析构非平凡类型（比如 std::string、std::vector）。如果你写了这样的 union：
union Data {
int i;
double d;
std::string s; // ❌ 编译失败：non-trivial type in union
};
编译器会报错，例如：error: member 'std::string Data::s' with constructor not allowed in union。这是因为 union 无法自动知道当前哪个成员处于活跃状态，也就无法调用对应构造函数或析构函数。
- 只能放 trivial 类型（如
int、double、char*、POD struct） - 若真要用非平凡类型，得手写构造/析构/赋值逻辑（即“手动管理”），极易出错
- 必须配套一个 tag 字段（如
enum type_t { INT, DOUBLE, STRING }）来标记当前有效成员 - 每次读写前都得检查 tag，否则行为未定义
std::variant 是更安全、更推荐的替代方案
std::variant 是 C++17 引入的标准方案，它内部自动管理类型切换、构造/析构，并提供类型安全访问。例如：
std::variant<int, double, std::string> data; data = 42; // 自动构造 int data = "hello"; // 自动析构 int，再构造 string std::string& s = std::get<std::string>(data); // ✅ 安全，若类型不匹配则抛 std::bad_variant_access
关键点：
立即学习“C++免费学习笔记（深入）”；
- 支持任意可构造/可析构类型，包括
std::string、自定义 class - 访问时必须确认类型——用
std::holds_alternative<t>(v)</t>判断，或用std::visit模式匹配 - 不能直接
std::get<int>(v)</int>如果 v 当前不是int，会抛异常；生产环境建议先判断 - 内存布局是“最大类型尺寸 + 1 字节 tag”，比裸 union 稍大但值得
数组中存 variant，别用 raw array，优先选 std::vector
想存一堆不同类型的值？别写 std::variant<...> arr[100]</...> 这种 C 风格数组。问题在于：
- raw array 无法动态扩容，初始化语法笨重（比如每个元素都要显式赋值）
- 拷贝/移动语义不清晰，容易误触发浅拷贝或未定义行为
- 调试时难以观察内容（gdb 不友好，IDE 提示弱）
正确做法是：
std::vector<std::variant<int, double, std::string>> data;
data.emplace_back(100);
data.emplace_back(3.14);
data.emplace_back("done");
这样能自动管理内存、支持迭代、兼容算法（如 std::for_each），且每个 std::variant 的状态独立、互不影响。
访问 variant 数组时，避免重复类型检查
遍历 std::vector<:variant>></:variant> 时，如果对每个元素都反复调用 std::holds_alternative 再 std::get，代码冗长还影响可读性。更干净的方式是用 std::visit：
for (auto& v : data) {
std::visit([](const auto& x) {
using T = std::decay_t<decltype(x)>;
if constexpr (std::is_same_v<T, int>) {
std::cout << "int: " << x << "\n";
} else if constexpr (std::is_same_v<T, double>) {
std::cout << "double: " << x << "\n";
} else if constexpr (std::is_same_v<T, std::string>) {
std::cout << "string: " << x << "\n";
}
}, v);
}
注意：
-
std::visit要求所有分支覆盖 variant 的全部类型，漏掉一个编译就报错 - lambda 中用
if constexpr是编译期分支，运行时无开销 - 如果只是读取某一种类型（比如只处理 string），仍建议先
std::holds_alternative<:string>(v)</:string>再 get，避免异常
真正麻烦的不是怎么写，而是确保每次写入和读取都同步维护类型状态——variant 帮你管了内存和析构，但业务逻辑里的类型意图，还得你自己盯紧。
