C++可重入有限状态机有四种现代封装方案：一、std::unique_ptr+状态ID跳转表，通过守卫逻辑防重复切换；二、std::variant+std::visit，零堆分配、值语义安全；三、std::shared_ptr+引用计数守卫，支持跨线程共享；四、C++20协程封装，解耦执行流与生命周期。
如果您在多线程环境或事件回调密集场景中使用C++有限状态机，发现状态切换出现竞态、重复初始化、析构后悬空调用等问题，则很可能是FSM缺乏可重入保障。以下是实现可重入有限状态机的多种现代C++封装方案：
一、基于std::unique_ptr + 状态ID跳转表的可重入方案
该方案通过智能指针自动管理状态生命周期，并在TransitionTo入口处设置守卫逻辑，确保同一帧/同一线程内不会重复构造或销毁状态对象，从根本上避免重入导致的资源错乱。
1、定义状态枚举类StateId，所有派生状态类均实现GetId()虚函数返回对应ID。
2、在状态机类中声明std::unique_ptr
3、实现TransitionTo(std::unique_ptr
4、所有状态类构造函数不访问外部对象（如GameObject*），改由统一的AiContext结构体传入只读上下文数据。
5、在状态析构函数中不执行异步操作或触发新事件，仅释放本地资源。
二、基于std::variant + std::visit的无堆分配可重入方案
该方案完全避免动态内存分配，利用std::variant存储所有可能状态的值语义实例，配合std::visit进行类型安全分发，天然规避指针悬空与并发析构问题，适用于嵌入式或实时性敏感场景。
1、定义variant类型别名：using StateVariant = std::variant
2、将当前状态声明为StateVariant current_state{Idle{}};而非指针或智能指针。
3、状态迁移直接赋值：current_state = Connecting{123, "api.example.com"}; 此操作为原子值拷贝，无生命周期管理负担。
4、行为执行统一通过std::visit([&](const auto& s) { s.update(context); }, current_state); 实现，各状态类型update成员函数仅执行纯行为逻辑。
5、所有状态类型必须满足可默认构造、可拷贝/移动，且不含裸指针或非线程安全共享资源。
三、基于std::shared_ptr + 引用计数守卫的线程安全可重入方案
该方案适用于需跨线程共享状态机实例的场景，通过std::shared_ptr控制状态对象生存期，并在状态切换前对目标状态对象加引用计数锁，防止切换过程中被其他线程析构。
1、状态基类继承std::enable_shared_from_this
2、状态机类中维护std::shared_ptr
3、在CreateState内部对新状态对象执行一次空操作：next->onEnter(context); 立即触发其初始化逻辑，确保构造完成后再参与调度。
4、所有事件处理函数（如onEventA、onEventB）声明为const，且内部不修改m_currentState，仅通过返回值指示是否应切换状态。
5、状态机主循环中每次处理事件前，先执行auto guard = m_currentState->shared_from_this(); 防止本帧内状态被意外释放。
四、基于协程+状态挂起的可重入行为封装方案
该方案利用C++20协程将状态行为封装为可挂起/恢复的执行单元，每个状态拥有独立协程帧，事件触发时仅唤醒对应协程，彻底解耦执行流与状态生命周期，杜绝重入冲突。
1、定义协程返回类型StateTask，配合自定义promise_type管理状态挂起点与恢复调度器。
2、每个状态类实现co_awaitable update(Context&)方法，内部可使用co_await等待网络响应或定时器事件。
3、状态机类持有std::array<:optional>, N_STATES> m_coroutines，按StateId索引激活对应协程。
4、TransitionTo操作仅标记目标状态协程为“待激活”，并在下一帧调用其resume()，不立即执行构造或析构。
5、所有协程帧数据存储于栈或预分配内存池中，禁止在协程体内捕获this指针或持有外部对象裸引用。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
