可重入FSM需避免上下文共享：一、shared_ptr纯值语义；二、std::any仅用于事件载荷；三、函数对象式无状态驱动；四、模板元编程静态生成；五、协程帧隔离上下文。
如果您在多线程环境或嵌套回调场景中使用C++有限状态机，但发现状态跳转异常、上下文被意外覆盖或出现std::bad_any_cast崩溃，则很可能是因上下文设计不可重入所致。以下是实现可重入FSM的多种现代C++架构方案：
一、基于std::shared_ptr的纯值语义上下文
该方法通过显式结构体承载状态数据，并由智能指针管理生命周期，避免类型擦除开销与异常风险，确保多线程并发访问时的数据一致性与所有权清晰。
1、定义强类型上下文结构体，字段按业务明确声明，禁用std::any成员：
2、在FSM类中移除context成员变量，改为所有状态处理器函数签名强制接收Context&参数：
立即学习“C++免费学习笔记（深入）”；
3、每个状态处理器返回void或Context*（用于替换整个上下文对象），禁止修改this->context：
4、调用方负责构造std::shared_ptr
二、事件驱动型FSM：std::any仅用于Event::payload
将std::any严格限定在临时事件载荷中，利用其异构性优势，规避其作为长期上下文存储的缺陷；事件消费后立即cast为引用并缓存，杜绝重复转换开销与异常概率。
1、定义Event结构体，仅payload字段为std::any，type字段为const std::string&：
2、在状态处理器入口处执行一次std::any_cast并绑定为const auto&引用：
3、后续所有对该payload的访问均使用该引用，禁止再次调用std::any_cast：
4、确保事件对象生命周期覆盖整个处理器执行过程，不跨异步边界持有Event实例：
三、函数对象式状态机：无成员状态，全参数化驱动
彻底消除FSM类内部状态存储，每个状态处理逻辑封装为独立std::function，接收完整上下文与事件，返回新状态ID及更新后的上下文值，实现零共享、零隐式状态的纯函数式驱动。
1、定义状态枚举class StateID { IDLE, RUNNING, ERROR };：
2、使用std::map<:pair std::string>, std::function<:pair context>(Context&, const Event&)>> 构建转移表：
3、process_event()函数不修改任何成员，仅查表调用对应函数并接收返回的StateID与Context值：
4、调用方决定是否用新Context替换旧实例，或仅读取输出而不持久化：
四、模板元编程静态FSM：编译期确定状态与转移
借助C++17 constexpr与模板递归展开，在编译期生成状态跳转逻辑，完全消除运行时虚函数、dynamic_cast或any_cast，适用于对确定性、零开销、内存安全要求极高的嵌入式或实时系统。
1、定义状态类型列表using States = mp_list
2、通过模板参数绑定每个状态支持的事件类型及对应动作函数对象：
3、使用constexpr if + if constexpr根据当前状态类型和事件类型匹配分支，直接内联调用目标处理函数：
4、状态迁移结果以返回值形式表达为新的状态类型，由调用点显式接收并继续驱动：
五、协程集成FSM：以co_await挂起点替代状态保存
利用C++20协程将状态机执行流切分为可暂停/恢复的片段，每个状态处理块为一个协程帧，上下文数据自然保留在栈帧中，无需手动管理生命周期或同步原语，天然支持可重入与嵌套调用。
1、将FSM抽象为generator
2、每个状态实现为co_yield返回控制权，并在恢复时从挂起位置继续执行：
3、协程参数Context&由调用方按需构造并传入，每次co_await均携带独立上下文副本：
4、禁止在协程体内捕获外部局部变量地址或this指针，确保帧间隔离性：
