std::variant 不是 union 的语法糖，而是语义、生命周期和安全模型彻底重构的类型安全容器；它无公开成员，必须用 std::get/std::holds_alternative 或 std::visit 访问，严格遵循 raii，禁止裸内存操作。
std::variant 不是 union 的“语法糖”或“封装”，而是从语义、生命周期和安全模型上彻底重构的替代方案；直接拿 union 的写法去套 std::variant 必然踩坑。
为什么 std::variant 不能像 union 那样直接访问成员
传统 union 允许你用点号（.）直接读写任意成员，比如 u.i = 42; printf("%f", u.f); —— 这在 std::variant 中根本不存在。它没有公开的字段，所有访问必须通过类型或索引显式进行。
-
std::variant是值语义容器，内部用 tag + 构造/析构控制活跃类型，不是裸内存别名 - 没有
.i或.f成员变量，所以不能用v.i访问整数 - 试图绕过类型检查（如 reinterpret_cast 到内部缓冲区）会破坏 RAII 和异常安全
std::get 和 std::holds_alternative 的正确配合方式
这是最常用也最容易出错的访问模式：必须先确认类型是否匹配，再取值。否则抛 std::bad_variant_access 异常。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 用
std::holds_alternative<int>(v)</int>判断当前是否为int类型，返回bool - 仅当返回
true时，才可安全调用std::get<int>(v)</int> - 不要省略判断直接
std::get<int>(v)</int>—— 即使你知道“刚赋过值”，编译器不保证运行时状态 - 若需默认 fallback，可用
std::visit+ lambda，避免重复判断
std::variant<int std::string> v = "hello";
if (std::holds_alternative<:string>(v)) {
std::cout (v);
} else {
std::cout (v); // 此分支不会执行，但逻辑上必须覆盖
}
</:string></int>
std::visit 处理多类型分支比 if-else 更可靠
当 std::variant 包含 3 种以上类型，或需要统一处理构造/拷贝/打印等通用操作时，std::visit 是唯一推荐路径。它天然避免漏判、类型爆炸和重复代码。
-
std::visit在编译期验证是否覆盖所有可能类型，未覆盖会编译失败 - lambda 中可用
if constexpr做编译期类型分发，避免运行时开销 - 不能传入普通函数指针（除非重载集），必须是可调用对象或泛型 lambda
- 注意捕获方式：若 lambda 捕获局部变量，要确保其生命周期长于 visit 调用
std::variant<int double std::string> v = 3.14;
std::visit([](const auto& x) {
using T = std::decay_t<decltype>;
if constexpr (std::is_same_v<t int>)
std::cout )
std::cout )
std::cout
<h3>构造、赋值和析构行为差异极大</h3>
<p>这是最容易被忽略的底层区别：union 不调用构造/析构函数，而 <code>std::variant</code> 严格遵循 RAII。每次切换类型，旧值自动析构、新值自动构造。</p>
<ul>
<li>给 <code>std::variant<:string int></:string></code> 赋字符串后，再赋整数，前一个 <code>std::string</code> 会被自动析构</li>
<li>union 中手动管理 <code>std::string</code> 几乎必然导致内存泄漏或 double-free</li>
<li>若类型无默认构造函数，<code>std::variant</code> 必须用带参构造初始化，否则编译失败</li>
<li>移动语义完整支持：<code>std::move(v)</code> 会把当前活跃类型的值移出，状态变为 valueless_by_exception（极少见，仅构造失败时）</li>
</ul>
<p>真正难的不是怎么写 <code>std::variant</code>，而是放弃“我控制内存布局”的思维惯性。它不提供偏移、对齐或位域访问能力 —— 如果你还需要这些，说明场景根本不适合用 <code>std::variant</code>，该用 <code>std::byte</code> + <code>std::memcpy</code> 或专用序列化库。</p></t></decltype></int>13万字C语言保姆级教程（深入）：立即使用
在学习笔记中，你将探索c语言的核心概念和高级技巧！
