标准c++禁止union直接存放含构造函数的类对象，因内存共享导致构造/析构时机无法自动判定；推荐用std::variant替代，或手动通过placement new与显式析构管理生命周期。
union 中不能直接存放有构造函数的类对象
标准 C++ 明确禁止在 union 中直接声明具有非平凡构造函数、析构函数或拷贝/移动操作的类类型成员。编译器会报错，例如：error: member 'X' with constructor not allowed in union。这是因为 union 的内存是共享的，编译器无法自动判断该调用哪个成员的构造函数，也无法安全决定何时调用析构函数。
用 std::variant 替代 union（C++17 起推荐）
std::variant 是类型安全的“可选联合体”，它内部管理活跃成员的构造、析构与访问，完全支持含构造函数的类型。这是最直接、最安全的现代替代方案。
示例：
struct Point { int x, y; Point(int x=0, int y=0) : x(x), y(y) {} };
struct Circle { double r; Circle(double r) : r(r) {} };
std::variant<point circle> shape;
shape = Point{1, 2}; // 自动调用 Point 构造
shape = Circle{3.14}; // 自动析构 Point，再构造 Circle
</point>
注意：std::variant 有运行时开销（小量 tag + 对齐填充），且不兼容 C ABI；若需零开销或跨语言交互，需另寻方案。
手动管理：placement new + 显式析构（仅限必须用 union 场景）
若受限于嵌入式、ABI 兼容性或性能极端要求，必须用原始 union，则需放弃自动生命周期管理，改用 char 缓冲区 + placement new + 显式调用析构函数。
关键要点：
- union 成员必须是
char[sizeof(T)]或alignas(T) char[N]，不能是T本身 - 每次“写入”新类型前，必须先显式调用当前活跃类型的析构函数（如果它有）
- 用
new (buffer) T{...}构造；用ptr->~T()析构 - 必须自行记录当前活跃类型（比如用 enum），否则
std::get类访问会 UB - 对齐必须满足所有可能类型的最严要求（
alignas(Point, Circle)）
为什么 std::optional 不行？
std::optional 表示“T 或空”，不是多类型选择，它只容纳一种类型 T。即使 T 是 std::variant，那也只是嵌套一层，本质未变。真正需要多类型共存且手动控制内存布局时，std::variant 或裸 union + placement new 才是正解。
真正麻烦的从来不是怎么放进去，而是谁来保证析构时机正确、类型状态不脱节——这点上，手写 union 容易漏掉析构调用，而 std::variant 把这个责任收走了。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
