std::mutex不能直接保护fsm的process_event()因其无法解决可重入调用导致的死锁；正确做法是采用无锁设计，用std::atomic+cas管理状态迁移，并通过std::variant和std::visit实现类型安全的状态分发。
为什么 std::mutex 不能直接保护 FSM 的 process_event()
可重入性不是“加个锁就完事”——当状态处理函数内部又调用 process_event()（比如嵌套事件、自触发、错误恢复重试），用普通互斥锁会立刻死锁。典型现象是线程卡在 std::mutex::lock()，堆栈显示同一线程重复尝试获取同一把锁。
真正需要的是递归安全 + 状态切换原子性。现代 C++ 的解法是：不用 std::recursive_mutex（性能差、掩盖设计问题），而是把「状态迁移」本身设计为无锁的纯函数式操作，再用 std::atomic<int></int> 或 std::atomic<stateenum></stateenum> 管理当前状态值，配合 compare_exchange_weak() 做 CAS 更新。
- 状态变量必须是
std::atomic类型，且初始化需用ATOMIC_VAR_INIT（C++17 起推荐直接构造） - 所有状态迁移逻辑必须在临界区外完成计算（比如查表得目标状态、收集副作用动作），只在最后一步原子提交
- 避免在状态处理函数中直接调用
process_event()；改用返回std::optional<event></event>表示“下一步要发什么事件”，由外层统一调度
如何用 std::variant 和 std::visit 实现类型安全的状态处理器
硬编码 switch(state) 容易漏分支、不支持编译期检查，而虚函数多态又破坏内联机会。C++17 的 std::variant 提供更紧凑、更安全的替代方案：把每个状态封装为独立的 struct，放入 std::variant，用 std::visit 分发处理。
关键点在于处理器本身不持有状态数据，只接收事件和当前上下文引用（如 Context&），返回 Transition 结构体（含目标状态 + 待执行动作列表）。
- 定义
using State = std::variant<idle running paused error>;</idle>，每个状态 struct 只含 const 成员或无状态方法 -
process_event()内部用std::visit([](auto&& s) { return s.handle(event, ctx); }, current_state_); - 每个
handle()方法签名统一为Transition handle(const Event&, Context&) const;，确保行为可预测 - 编译器会在新增状态时强制你补全所有
handle()重载，避免运行时std::bad_variant_access
std::atomic_ref 在共享内存 FSM 中的正确用法（C++20）
当 FSM 需跨进程/线程共享（如嵌入式 IPC、DPDK 应用），不能依赖对象生命周期管理锁或原子变量。此时应把状态值放在对齐的共享内存块中，用 std::atomic_ref 绑定它——而不是把整个 FSM 对象声明为 static 或全局。
常见错误是直接对 int* 强转 std::atomic_ref<int></int>，结果因对齐不足触发未定义行为（UB）。x86-64 要求 int 原子访问至少 4 字节对齐，但 malloc 不保证。
- 分配共享内存时用
aligned_alloc(alignof(std::atomic<int>), sizeof(std::atomic<int>))</int></int>（C++17）或std::pmr::synchronized_pool_resource（C++20） - 构造
std::atomic_ref前必须检查std::atomic_ref<t>::is_always_lock_free</t>，尤其在 ARM 上std::atomic<int64_t></int64_t>可能非 lock-free - 状态迁移仍需配合序号（sequence number）或版本戳（version stamp），防止 ABA 问题；单纯 CAS 不足以保证业务语义正确
调试可重入 FSM 最容易被忽略的三个点
日志打满、断点失效、复现困难——这些问题往往不是并发模型错了，而是状态观测本身破坏了可重入性。
- 不要在
handle()里直接写文件或调用std::cout：这些 IO 是全局锁的，会把“逻辑并发”变成“物理串行”，掩盖真实竞争窗口 - 状态快照不能靠
operator 打印：应提供 <code>to_string()并确保无锁，否则打印时可能读到部分更新的中间状态（如新状态已写入，但关联数据还没刷） - 单元测试必须覆盖“事件风暴”场景：用
std::thread循环发 1000 次相同事件，观察是否出现std::atomic的load()返回非法枚举值（说明 CAS 失败后没回退到安全状态）
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
