std::variant 比 union 更适合解释器状态机，因其提供类型安全、自动析构/构造、编译期状态枚举、安全访问（holds_alternative/visit）及移动语义支持，避免裸 union 的未定义行为。
std::variant 为什么比 union 更适合解释器状态机
因为 std::variant 自带类型安全和访问控制，不会像裸 union 那样允许读取未构造的成员——解释器在执行过程中频繁切换状态（比如从 Idle 切到 Running 再切到 Error），裸 union 容易因忘记手动调用构造/析构而引发未定义行为。
典型错误现象：std::get<int>(my_union_member) 崩溃或返回垃圾值，只因当前实际存放的是 std::string；std::variant 在这种情况下会抛出 std::bad_variant_access，至少能暴露问题。
- 必须用
std::holds_alternative<T>(v)或std::visit安全访问，强制你处理所有可能状态 - 移动语义天然支持：状态切换时可直接
v = std::move(new_state)，无需手动析构旧成员 - 编译期类型列表明确：比如
std::variant<Idle, Running, Paused, Error>，一眼看出解释器合法状态集合
如何设计状态枚举与 variant 成员的对应关系
别把状态码（如 enum class State { Idle, Running }）和状态数据混在一起。正确做法是让每个状态类型自带所需数据，而不是用一个“万能”结构体加一堆可选字段。
例如，Running 状态需要当前指令指针和栈帧，Error 需要错误位置和消息，Idle 可能不需要任何数据（用 struct Idle {} 即可）。这样避免了 std::optional<int> ip; std::optional<std::string> msg; 这类冗余字段和运行时判断。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
Idle：空结构体，占 1 字节，构造开销为零 -
Running：含size_t pc和std::vector<Value> stack -
Error：含size_t line、size_t col和std::string_view msg - 所有状态类型必须可移动、可析构，不能有虚函数或非平凡析构依赖（否则
std::variant编译失败）
std::visit 的实际写法：避免漏分支和类型爆炸
直接写多个 std::get<T> 容易漏分支且无法静态检查；用 std::visit + lambda 是标准解法，但要注意 lambda 参数类型推导陷阱。
常见错误：写成 std::visit([](auto&& s) { ... }, state)，导致所有分支共享同一套逻辑，失去类型特化能力；或者漏掉某个状态类型，编译不报错但运行时崩溃。
- 显式列出所有分支：用
std::visit(overloaded{[](Idle&) { /* handle idle */ }, [](Running& r) { /* use r.pc */ }, [](Error& e) { /* log e.msg */ }}, state) -
overloaded是个辅助模板（C++17 起常用技巧），把多个 lambda 合成一个可调用对象，确保编译器检查是否覆盖全部类型 - 如果某状态无需特殊处理（如
Idle），也得写个空分支，否则std::visit在运行时找不到匹配项会抛异常 - 避免在 visitor 里做耗时操作（如深拷贝、IO），状态机应保持轻量；复杂逻辑抽到独立函数中，visitor 只负责分发
transition 函数怎么写才不容易踩坑
状态迁移不是简单赋值，要兼顾资源清理、前置校验和异常安全。比如从 Running 切到 Error 时，原 Running 的栈内存需被正确析构；若构造新状态失败，原状态不能丢失。
错误写法：state = Error{line, col, "div by zero"} —— 如果 Error 构造抛异常，state 进入未指定状态（std::variant 不保证强异常安全）。
- 用
std::visit先做迁移前检查（如 “当前是 Running 才允许 Pause”） - 构造新状态到局部变量，再 move 赋值：
auto next = make_error(line, col, msg); state = std::move(next); - 如果迁移逻辑复杂，封装为成员函数，返回
std::optional<NewState>或抛异常，避免在赋值表达式里塞太多逻辑 - 注意
std::variant的赋值运算符不提供强异常保证（除非所有备选类型都满足），所以关键路径建议用std::swap或两阶段提交思路
最常被忽略的是：状态类型的析构函数是否真的被调用了？加个日志或断点验证 Running 析构是否在 state = Error{...} 后立即触发——这是 std::variant 安全性的核心，但容易因测试不充分而误以为“没出问题”。
