std::variant状态机通过编译期穷举强制处理所有状态：新增状态类型后，未在std::visit中覆盖即编译失败；每个状态struct仅含独有数据，零共享、零继承；资源管理依赖raii字段，赋值自动析构/构造。
std::variant 状态机为什么能避免漏处理新状态
因为编译器强制你覆盖 std::variant 所有可选类型的分支——少写一个 std::visit 的 lambda 匹配项，直接编译失败。
传统 switch 对新增枚举值完全静默；而用 using State = std::variant<idlestate movingstate errorstate>;</idlestate> 后，只要往模板参数里加一个新 struct（比如 HomingState），所有调用 std::visit 的地方立刻报错，提示“no matching overload”，逼你补上对应逻辑。
- 错误现象：新增
struct PausedState { uint32_t pause_duration_ms; };但忘记在std::visit中处理它 → 编译中断，不是运行时崩溃 - 关键点：
std::visit的泛型 lambda 必须能接受所有变体类型；if constexpr分支不是可选的“补充说明”，而是编译期必需的穷举 - 注意：如果用了
std::monostate占位空状态，它也必须被显式处理，否则同样编译不过
每个状态 struct 该放什么字段
只放「这个状态独有、且其他状态绝不会访问」的数据。不是“可能用到”，而是“离开这个状态就毫无意义”。
例如 MovingState 存 target_x 和 max_speed 没问题；但把 error_code 放进去就是设计错误——它属于 ErrorState 的专属上下文。
- 正确做法：为每个状态定义最小必要字段集，结构体之间零共享、零继承
- 反模式：在
IdleState里塞std::optional<float> last_target</float>来“复用”数据 → 破坏状态隔离，增加无效内存占用 - 性能影响：每个状态实例只分配自己需要的字节，
sizeof(State)是所有备选 struct 中最大 size，但实际运行时无冗余字段
std::visit 内部怎么安全访问状态数据
别用 std::get<t>(state)</t> 直接强取，那是运行时抛 std::bad_variant_access 的高危操作；必须先通过 std::holds_alternative<t></t> 或更推荐的 std::visit + 泛型 lambda。
std::visit 不是语法糖，它是编译期类型分发机制：lambda 参数类型由当前持有的 variant 类型精确推导，auto&& arg 绑定的是真实 struct 引用，无需 cast，无歧义。
- 安全示例：
std::visit([](const auto& s) { if constexpr (std::is_same_v<decltype const movingstate>) { /* 可直接用 s.target_x */ } }, state);</decltype> - 危险操作：
if (state.index() == 1) { auto& m = std::get<movingstate>(state); /* 一旦索引错位或 variant 重排，立即崩溃 */ }</movingstate> - 容易踩的坑：lambda 内部对
arg做非 const 操作时，需确保 variant 本身是可修改的（非常量左值），否则编译报错
状态变更时如何避免资源泄漏或悬垂引用
状态切换本质是 state = NewState{...} 赋值，std::variant 会自动析构旧状态对象、构造新状态对象——前提是每个状态 struct 的字段都满足 RAII。
比如 ConnectingState 持有 std::unique_ptr<socket></socket>，ConnectedState 持有 std::vector<uint8_t></uint8_t>，赋值过程自动完成资源转移和清理，无需手动干预。
- 关键约束：所有字段必须是可移动或可复制的；含裸指针、FILE*、HANDLE 等需自定义析构的类型，必须包装成 RAII 类型再放入 variant
- 兼容性注意：C++17 要求 variant 内部类型必须是可析构的；C++20 进一步要求移动构造/赋值不抛异常（否则 variant 构造可能失败）
- 调试线索：如果状态切换后出现 double-free 或访问已释放内存，大概率是某个状态 struct 的字段没遵守 RAII，而非 variant 本身的问题
真正难的不是写出能编译的 std::variant 状态机，而是想清楚每个状态的边界在哪——哪些数据必须随状态诞生而初始化，又必须随状态消亡而销毁。一旦定义失焦，后续所有类型安全优势都会被抵消。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
