状态类必须继承同一抽象基类以实现多态隔离,基类需含虚析构函数和统一纯虚接口(如handle_event()),状态切换由当前状态主动返回新状态指针,上下文通过构造函数注入context对象,用std::unique_ptr管理生命周期。

状态类必须继承同一抽象基类
核心在于用多态隔离状态行为,避免 switch 或 if-else 驱动状态跳转。抽象基类至少要定义虚析构函数和统一接口(如 handle_event()、on_enter()),否则派生状态对象销毁时会内存泄漏或行为未定义。
常见错误是忘记声明 virtual ~State() = default;,尤其当状态对象通过基类指针管理时;另一个坑是接口参数设计不一致——比如有的状态用 int 事件码,有的用 std::string,导致调用方不得不做类型转换或重复判断。
- 所有状态类(如
IdleState、RunningState)都应继承自同一个State基类 - 基类中每个行为函数都声明为
virtual,且尽可能设为= 0纯虚,强制子类实现 - 避免在基类中保存状态相关数据——那是具体状态类自己的事,基类只管“能做什么”,不管“记什么”
状态切换必须由当前状态主动触发
解耦的关键是:不是外部控制器决定“下一个状态是谁”,而是当前状态自己返回“下一个该是谁”。这样控制器(比如 StateMachine 类)完全不知道具体状态名,只持有 std::unique_ptr<state></state>,调用 state->handle_event(event) 后接收新状态指针完成替换。
典型误用是把状态跳转逻辑写在 StateMachine::process_event() 里,里面一堆 if (state == typeid(IdleState)) { ... } ——这直接破坏了开闭原则,加个新状态就得改这里。
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 让
handle_event()返回std::unique_ptr<state></state>,而不是void或枚举值 - 状态类内部可构造任意新状态对象,比如
IdleState::handle_event()可返回std::make_unique<runningstate>(config)</runningstate> - 注意转移时的资源释放顺序:先构造新状态,再交换指针,避免中间空状态
避免在状态间共享成员变量
如果多个状态需要访问同一份配置或上下文,不要把它们塞进基类或全局变量,而应通过构造函数注入一个共享的 Context 对象。这个 Context 是非状态相关的、生命周期长于单个状态的对象,比如设备句柄、计时器、回调函数对象等。
容易踩的坑是把 timer_id、buffer 这类东西放在 State 基类里,结果不同状态反复读写同一块内存,逻辑交叉污染;或者干脆用 static 成员,导致单元测试无法并行、状态不可重入。
-
Context应不含任何状态逻辑,只提供数据存取和基础服务(如log()、post_delayed()) - 每个状态构造时接收
Context&引用,内部仅作缓存,不拥有所有权 - 若某状态需要独占资源(如打开串口),应在
on_enter()中申请,on_exit()中释放,而非依赖 Context 生命周期
用 std::unique_ptr 管理状态生命周期
手动 new/delete 容易出错,尤其在异常路径下。用 std::unique_ptr<state></state> 能确保状态对象严格按需创建、自动析构,且支持移动语义,适配返回新状态的模式。
有人尝试用 std::shared_ptr,但会导致循环引用风险(比如状态又持有对 StateMachine 的引用);也有人用原始指针加裸 delete,一旦异常抛出就内存泄漏。
- 状态机类中声明成员:
std::unique_ptr<state> current_state_;</state> - 切换时写法应为:
current_state_ = current_state_->handle_event(event); - 确保所有状态类的构造函数不抛异常,或做好异常安全兜底(比如先 new 再 swap,失败则 delete)
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










