状态机应以 enum class StateId 为标识符，用 std::function 注册无捕获行为函数，通过查表调用实现状态切换；流转规则用 Transition 表格驱动；状态名用 constexpr std::array 映射以支持调试。
状态机核心：用 std::function 替代虚函数继承
直接继承抽象基类写状态机，很快就会被 State 子类爆炸和跨模块依赖拖垮。更轻的解耦方式是把「状态行为」抽成可替换的函数对象，让状态本身只是个标识符（比如 enum class StateId），所有动作逻辑由外部注入。
关键点在于：状态切换不触发硬编码的 onEnter()/onExit() 调用，而是查表调用注册好的 std::function<void></void>。这样状态定义、行为实现、状态流转规则三者完全分离。
常见错误是仍保留一个中心化的 StateBase 类并试图在其中塞入所有回调——这反而制造了隐式耦合。正确做法是连「状态类」都不要，只留一个薄薄的 StateMachine 容器管理当前 ID 和函数映射。
注册状态行为：避免生命周期错位的绑定方式
用 std::function 注册时，最常踩的坑是捕获局部变量或 this 指针后，状态机还活着但被捕获对象已析构，导致运行时崩溃。解决方法只有两个：
立即学习“C++免费学习笔记（深入）”；
- 所有注册函数必须是无捕获 lambda 或静态函数；若需访问对象成员，改用
std::shared_ptr捕获，并确保该 shared_ptr 的生命周期 ≥ 状态机 - 注册接口显式接受
std::shared_ptr<void></void>作为「持有权凭证」，强制调用方明确声明资源归属（例如：sm.registerState(StateId::Idle, idleAction, self)） - 禁止使用
[this]直接捕获，编译期可用static_assert(!std::is_same_v<decltype void>)</decltype>拦截（需配合宏封装）
示例注册片段：
sm.registerState(StateId::Running,
[]{ /* 启动逻辑 */ },
[]{ /* 运行中每帧 */ },
[]{ /* 切出时清理 */ });状态流转控制：用结构化数据替代硬编码 switch
别在 update() 里写 switch(currentState) —— 这会让新增状态必须改核心逻辑，违背解耦初衷。应该把转移条件外置为表格驱动：
- 定义
struct Transition { StateId from; StateId to; std::function<bool> guard; };</bool> - 用
std::vector<transition></transition>存储所有合法跳转，每次update()遍历检查 guard 是否为 true - guard 函数可读取外部信号（如
inputQueue、sensorData），完全不碰状态机内部字段
这样增删状态、修改跳转条件，只需改数据表，不用碰状态机主干代码。性能上，10 个以内状态几乎无感；超 20 个可换哈希表索引优化。
调试与扩展性：给每个状态加可观察的标识字符串
纯 enum class 在日志和调试器里只显示数字，线上出问题根本没法快速定位。必须为每个状态 ID 显式绑定描述名，且不能靠 switch 手动维护（易不同步）。
推荐方案：用 constexpr std::array 静态映射：
constexpr std::array<const char*, 4> StateNames = {
"Idle", "Running", "Paused", "Error"
};再配合 assert(static_cast<size_t>(state) 做越界防护。后续加监控埋点、序列化导出、甚至生成 PlantUML 图，都可直接复用这个数组。</size_t>
真正麻烦的是跨 DLL/so 的状态 ID 同步——如果状态定义分散在多个编译单元，enum class 值可能因头文件包含顺序不同而错位。此时必须放弃枚举，改用字符串字面量或全局 const int 变量，并由构建系统统一生成头文件。
