可重入FSM需确保状态迁移与数据访问线程安全，现代C++方案包括：一、std::atomic+无锁迁移；二、状态行为分离+函数对象栈式封装；三、std::variant无分配状态容器；四、协程感知状态锚点；五、模板元编程编译期验证。

如果您需要在多线程环境中安全复用同一个有限状态机实例，或在中断上下文、回调函数中反复触发状态迁移，则必须确保 FSM 的状态转移逻辑与数据访问具备可重入性。以下是实现可重入 FSM 的现代 C++ 封装方案：

一、基于 std::atomic 状态变量与无锁状态迁移

该方案通过原子整型存储当前状态，并使用 compare_exchange_weak 实现无锁状态跃迁，避免互斥锁引入的阻塞与死锁风险，天然支持可重入调用。

1、定义枚举类 State 表示所有合法状态，例如 IDLE、RUNNING、PAUSED、STOPPED。

2、声明私有成员 std::atomic current_state_，初始化为初始状态。

3、在 transition() 方法中，使用 do-while 循环配合 compare_exchange_weak：先读取当前值，再按预设规则计算目标状态，仅当原子值未被其他线程修改时才提交更新。

4、所有事件处理函数（如 on_event_a()、on_event_b()）内部不持有任何非局部对象锁，仅调用 transition() 并根据返回值决定是否执行副作用逻辑。

二、状态行为分离 + 函数对象栈式封装

将每个状态的行为封装为 consteval 或 constexpr 函数对象，状态切换时仅交换轻量级函数指针或 std::function 句柄，消除成员变量读写竞争，使 handle_event() 成为纯函数式调用。

1、定义 struct StateHandler 含 operator() 重载，接受 event 参数并返回新 StateHandler 实例或自身。

2、使用 std::shared_ptr 作为状态载体，确保多线程读取同一 handler 实例时无需同步。

3、在 FSM 类中声明 mutable std::shared_ptr active_handler_，利用 mutable 允许在 const 成员函数中更新句柄。

4、handle_event() 声明为 const，内部通过 active_handler_->operator()(event) 获取新 handler，并用原子 store 写入 active_handler_。

三、基于 std::variant 的无动态分配状态容器

利用 std::variant 存储各状态特有的上下文数据，配合 std::visit 实现类型安全的状态行为分发；所有状态数据内联于 FSM 对象内存布局中，规避堆分配引发的内存可见性问题。

1、定义 variant 类型 StateData = std::variant，每个结构体仅含 POD 成员。

2、FSM 类持有 mutable StateData state_data_ 和 std::atomic state_id_。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

3、每个事件方法（如 start()）先调用 state_id_.load(std::memory_order_acquire)，再 std::visit 执行对应状态下的迁移逻辑。

4、迁移逻辑中构造新状态数据并通过 std::memcpy 或 placement new 写入 state_data_，最后以 release 语义更新 state_id_。

四、协程感知 FSM：使用 std::coroutine_handle 作为状态锚点

将每个活跃状态绑定至一个协程句柄，状态切换即跳转至对应协程帧，由编译器保证寄存器与栈状态隔离，彻底消除共享可变状态需求。

1、定义每个状态为独立协程函数，返回 void，参数为 FSM& 引用和事件对象。

2、FSM 类中维护 std::coroutine_handle current_coro_，初始指向 idle_coroutine。

3、handle_event() 中不直接执行逻辑，而是调用 current_coro_.resume()，并在各协程末尾根据事件结果调用 transfer_to(next_state_coro)。

4、transfer_to() 内部调用 current_coro_.destroy() 后设置 current_coro_ 为新句柄，所有状态数据生命周期由各自协程帧管理。

五、模板元编程驱动的编译期状态图验证

借助 C++20 概念与 requires 表达式，在编译期强制约束状态迁移路径，生成无分支跳转表，使每个事件处理函数成为单入口单出口纯右值表达式，从根本上排除运行时条件竞争可能。

1、定义 concept ValidTransition 检查 FromState 是否允许经 Event 到达 ToState，依据特化模板显式列出所有合法三元组。

2、声明 template constexpr auto next_state_v = /* 由特化推导 */;

3、transition() 方法为 constexpr 函数，接收 const E& event，返回 auto，其 body 仅含 return next_state_v;

4、实例化 FSM 时传入初始状态模板参数，所有状态迁移路径在编译期展开为 switch-case 或跳转表，无运行时状态字段读写。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！