C++ 实现可重入且线程安全的有限状态机(FSM) _ 异构状态上下文封装【源码】-C++-PHP中文网

C++中可重入且线程安全的FSM核心是状态迁移逻辑与上下文数据解耦，每个线程持独立Context实例；FSM自身无状态、无成员变量，仅通过引用接收上下文并纯函数式处理事件。

c++ 实现可重入且线程安全的有限状态机(fsm) _ 异构状态上下文封装【源码】

直接说结论：C++ 里实现可重入且线程安全的 FSM，核心不是“加个 std::mutex 就完事”，而是把状态迁移逻辑与上下文数据彻底解耦，并让每个线程持有独立的状态上下文实例。

为什么 `std::mutex` 保护整个 FSM 类通常不够用

常见错误是给 process_event() 加锁，以为这样就线程安全了。但问题在于：

若 FSM 内部缓存了共享的上下文指针（比如指向某个全局 Config 或 Session），锁只防住了状态跳转，没防住上下文被多线程并发修改
可重入性被破坏：同一线程在回调中再次调用 process_event() 可能死锁（递归锁虽可解，但掩盖设计缺陷）
性能瓶颈：所有事件排队串行处理，哪怕它们本可作用于完全无关的状态实例

用“状态上下文”替代“状态变量”：每个线程/任务一个 `Context` 实例

关键转变：FSM 本身不存状态，只存转移表和动作逻辑；真实状态（如当前状态 ID、计数器、临时缓冲区）全由外部传入的 Context& 承载。

示例结构：

struct TcpSessionContext {
    enum State { IDLE, CONNECTING, ESTABLISHED, CLOSING };
    State current_state = IDLE;
    int retry_count = 0;
    std::vector<uint8_t> rx_buffer;
};

class TcpFsm {
public:
    void process_event(const ConnectEvent&, TcpSessionContext& ctx);
    void process_event(const DataReceivedEvent&, TcpSessionContext& ctx);
    void process_event(const TimeoutEvent&, TcpSessionContext& ctx);
private:
    // 无成员变量存储状态 —— 纯函数式行为
};</uint8_t>

这样，线程 A 处理 session_1，线程 B 处理 session_2，各自传入自己的 TcpSessionContext 实例，天然隔离，无需锁。

异构上下文怎么统一接入？用 `std::variant` + 访问者模式

不同业务状态机需要不同上下文类型（HttpCtx、UdpCtx、AuthCtx），但又希望复用同一套 FSM 调度逻辑。这时避免用 void* 或基类指针——它们破坏类型安全且无法静态分发。

C++14

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

下载

推荐方案：

定义统一的上下文变体：using FsmContext = std::variant
FSM 的 process_event() 接收 FsmContext&，内部用 std::visit 分发到对应特化处理函数
每个特化函数签名一致：void handle_connect(TcpSessionContext&)、void handle_connect(HttpSessionContext&)，编译期绑定，零开销

好处：运行时支持多类型，编译期仍保证类型安全，且无虚函数调用开销。

可重入的关键：禁止 FSM 内部持有 this 指针或静态状态

以下写法会破坏可重入性：

在 on_enter_ESTABLISHED() 回调里调用 this->start_timer()，而 start_timer() 内部又调用了 process_event(TimeoutEvent{})
使用 static std::queue 缓存待处理事件
在状态动作中修改 FSM 类的 member_data_（哪怕加了锁）

正确做法：