状态模式应避免裸指针，Context需用std::unique_ptr持有状态所有权，State基类须有虚析构函数且仅含纯虚函数，状态切换通过onEnter/onExit钩子管理资源，禁止状态内主动切换或持有Context指针。
状态模式的核心不是继承，而是委托
直接用 class State 做基类、让具体状态继承它，再在上下文（Context）里存一个 State* 指针——这是最常见也最容易写错的起点。问题在于：状态切换时若忘记更新指针，或新状态构造失败导致悬空指针，segfault 就在下一秒。真正稳妥的做法是让 Context **持有状态对象的所有权**，且切换时通过值语义或智能指针完成交接，避免裸指针生命周期失控。
- 推荐用
std::unique_ptr<state></state>，构造新状态后直接std::move赋值，旧状态自动析构 - 所有状态类必须定义虚析构函数，否则
delete通过基类指针会跳过派生类析构逻辑 - 不要在状态内部调用 Context 的非 const 成员函数来“主动切换自己”，这会造成循环依赖；应由 Context 统一决策切换时机
接口类 State 必须只暴露行为契约，不暴露数据
State 类里只放纯虚函数，比如 handleInput()、update()、render()，绝不放任何成员变量。有人习惯在基类里加 m_context 指针，看似方便调用上下文方法，实则把 Context 变成了状态的依赖项，破坏了单向依赖（State → Context），还容易引发头文件循环包含。正确做法是：Context 在调用 state->handleInput(*this) 时，把自身引用传进去。
- 接口函数参数用
Context&而非Context*，避免空指针检查干扰逻辑 - 如果某个状态需要读取 Context 的私有数据，加一个
const Context& getConstContext() const友元或公开只读访问接口，而不是开放全部接口 - 别在
State构造函数里尝试访问 Context 的未初始化成员——状态创建早于 Context 完全构造完毕是常见坑
具体状态实现要隔离副作用，尤其资源管理
比如 PlayingState 进入时要播放音频，退出时要暂停；PausedState 进入时记录暂停时间戳，退出时计算已暂停时长。这些逻辑不能堆在 handleInput() 里，而应拆到 onEnter() 和 onExit() 两个受控钩子中。Context 在切换状态前先调 oldState->onExit()，再构造新状态，再调 newState->onEnter()。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
onEnter()和onExit()不是虚函数接口的一部分，而是每个具体状态自己实现的私有方法，仅被 Context 内部调用 - 音频句柄、网络连接、OpenGL 上下文等资源，必须在
onExit()中释放，不能等到析构——因为状态可能被反复切换多次，析构只发生一次 - 避免在
onEnter()中做耗时操作（如磁盘读取、网络请求），否则阻塞主线程；可改为异步触发+状态机响应事件
用 std::variant 替代虚函数基类？谨慎
有人想用 std::variant<playingstate pausedstate stoppedstate></playingstate> 避免虚函数开销和继承体系。理论上可行，但实际会迅速失控：每次新增状态都要改 variant 定义、重写所有 visit 分支、无法动态扩展（比如插件式加载新状态）。更麻烦的是，std::visit 调用无法像虚函数那样自然支持“当前状态决定是否处理某事件”——你得手动判断类型再 dispatch，代码膨胀且易漏分支。
立即学习“C++免费学习笔记（深入）”；
- 只有状态数固定 ≤ 3、且绝无扩展需求时，
std::variant才比虚函数简单 - 一旦涉及状态间通信（如 PausedState 想通知 PlayingState 恢复播放），variant 很难优雅表达，而虚函数配合 Context 中转就很自然
- 编译器对虚函数调用的优化（如 devirtualization）在现代 GCC/Clang 下已很成熟，性能差异通常可忽略
状态切换本身不难，难的是让每个状态清楚自己“能做什么、不能做什么、什么时候做”。最常被忽略的一点：没有为状态增加调试标识（比如 virtual const char* name() const = 0;），导致日志里只看到 0x7f8a1c0042a0，根本分不清当前是哪个状态实例。
