std::variant比C风格union更安全，因其是类型安全的标签联合，内置运行时类型标识，非法访问抛std::bad_variant_access异常；而C union无类型记录，读错类型触发未定义行为。
std::variant 为什么比 C 风格 union 更安全？
C 风格 union 允许你在同一块内存里存放不同类型的值，但不记录当前实际存的是哪个类型——读错类型（比如存了 int 却按 float 读）会触发未定义行为，编译器几乎不检查。而 std::variant 是类型安全的“标签联合”（tagged union），它内部自带一个运行时标识（index 或 type info），所有访问都强制校验，访问非法状态会抛出 std::bad_variant_access 异常。
如何正确定义和初始化 std::variant？
定义时明确列出所有允许的类型，顺序影响 index() 返回值；初始化必须指定其中一个合法类型，不能留空或默认构造（除非某个类型本身可默认构造）：
std::variant<int, std::string, double> v1 = 42; // OK：推导为 int
std::variant<int, std::string, double> v2{"hello"}; // OK：推导为 std::string
std::variant<int, std::string, double> v3; // 编译错误：没有默认构造器
std::variant<std::monostate, int, std::string> v4; // OK：std::monostate 提供默认状态
-
std::monostate是个空类型，专用于让std::variant可默认构造，且v4.index() == 0表示“未赋值” - 类型列表中重复类型（如
int, int）会导致编译失败 - 类型必须满足可析构、可移动（或可复制），含引用或抽象类会编译报错
怎么安全地读取 std::variant 的值？
绝不能直接转型或指针强转——必须用 std::get<> 或 std::visit。前者适合你知道当前类型（运行时断言），后者适合处理多种可能类型：
std::variant<int, std::string> v = "test";
// 方式一：已知类型，用 std::get（失败时抛 std::bad_variant_access）
try {
std::string& s = std::get<std::string>(v); // OK
int& i = std::get<int>(v); // 抛异常：当前不是 int
} catch (const std::bad_variant_access&) { }
// 方式二：泛化处理，用 std::visit（推荐）
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, std::string>) {
std::cout << "string: " << x << "\n";
}
}, v);
-
std::get<Type>(v)和std::get<Index>(v)都会检查当前index()，不匹配就抛异常 -
std::visit要求 lambda 支持所有变体类型；constexpr if是处理异构逻辑最清晰的方式 - 避免用
std::holds_alternative<T>(v)+std::get<T>组合——两次检查冗余，且中间可能被修改（多线程下更危险）
替换 union 时要注意哪些坑？
看似只是把 union 换成 std::variant，但语义和内存布局完全不同：
立即学习“C++免费学习笔记（深入）”；
-
std::variant的大小 ≥ 最大成员大小 + 少量 tag 开销（通常 1–8 字节），不是严格等于最大成员；而 Cunion精确对齐到最大成员 -
std::variant不支持 POD 类型的位域、结构体内嵌 union 等底层操作；不能用reinterpret_cast或 memcpy 操作其内部存储 - 如果原
union里有非 trivial 析构类型（如std::string），C 风格写法本就危险；std::variant会自动管理生命周期，但你要确保所有类型都满足std::is_trivially_destructible以外的约束（例如移动构造） - 性能敏感场景（如高频循环中），
std::visit有间接调用开销，std::get有分支检查——若 99% 情况是同一类型，可先用index()分支预判，再std::get
真正难的不是语法替换，而是厘清“这个 union 原本靠什么保证类型正确”——是靠协议？靠外部 flag？还是靠程序员记忆？std::variant 把隐式契约变成显式约束，这一步设计没想清楚，后面照样出错。
