C++实现简单的状态模式切换 _ 接口类与具体状态实现【源码】
C++状态模式实战：避开那些教科书里不提的坑 一提到状态模式，很多人的第一反应就是继承和虚函数。但真正用起来才会发现，比设计模式本身更棘手的，往往是那些隐藏在实现细节里的“坑”。从内存管理到资源生命周期，一步走错，轻则逻辑混乱，重则直接崩溃。接下来，我们就聊聊如何把状态模式写得更健壮、更清晰。 状态
C++状态模式实战：避开那些教科书里不提的坑
一提到状态模式，很多人的第一反应就是继承和虚函数。但真正用起来才会发现，比设计模式本身更棘手的，往往是那些隐藏在实现细节里的“坑”。从内存管理到资源生命周期，一步走错，轻则逻辑混乱，重则直接崩溃。接下来，我们就聊聊如何把状态模式写得更健壮、更清晰。
状态模式的核心不是继承，而是委托
从教科书里学来的标准开局，通常是定义一个class State基类，然后让具体状态去继承，最后在上下文（Context）里保存一个State*指针。这个起点看似顺理成章，却埋下了隐患：状态切换时，如果忘记更新指针，或者新状态构造失败导致指针悬空，segfault几乎就是必然结局。
问题的核心在于所有权的模糊。更稳妥的思路，是让Context牢牢掌握状态对象的所有权，切换时通过值语义或智能指针完成“交接仪式”，彻底杜绝裸指针带来的生命周期失控。
- 首选
std::unique_ptr。构造新状态后，直接用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这样的只读接口，或者使用友元，而不是将Context的全部内部接口暴露出去。 - 注意构造顺序。别在
State的构造函数里尝试访问Context的成员——状态对象的创建时机可能早于Context的完全初始化，这是一个常见的陷阱。
具体状态实现要隔离副作用，尤其资源管理
状态切换往往伴随着副作用的产生与清理，这才是真正体现设计功底的地方。例如，PlayingState进入时需要播放音频，退出时需要暂停；PausedState进入时要记录时间戳，退出时要计算暂停时长。
把这些逻辑统统塞进handleInput()里，会让代码变得臃肿且难以维护。更好的策略是将它们拆解到onEnter()和onExit()这两个专用的钩子函数中。Context在切换状态时，应遵循一个明确的流程：先调用旧状态的onExit()进行清理，然后构造新状态，最后调用新状态的onEnter()进行初始化。
- 钩子是私有契约。
onEnter()和onExit()通常不作为公共虚函数接口的一部分，而是每个具体状态内部实现的私有方法，仅由Context在特定时机调用。 - 资源释放要及时。对于音频句柄、网络连接、图形上下文等资源，必须在
onExit()中立即释放，而不能等到状态对象析构。因为同一个状态对象可能会被多次切换进出，析构只发生一次，延迟释放会导致资源占用。 - 避免阻塞操作。尽量不要在
onEnter()中执行磁盘读取、网络请求等耗时操作，以免阻塞主线程。可以考虑改为异步触发，再由状态机来响应完成事件。
用 std::variant 替代虚函数基类？谨慎
随着C++17引入 理论上，你可以定义 此外， 说到底，状态切换的语法本身并不复杂。真正的难点在于，如何让每一个状态都清晰地知道自己的职责边界——“能做什么、不能做什么、以及什么时候做”。一个常被忽略但极其有用的实践是：为每个状态类增加一个调试标识，例如一个纯虚函数std::variant
std::variant。然而，一旦项目开始演进，问题就接踵而至：每增加一种新状态，都要修改variant的类型列表，并重写所有相关的std::visit分支。更麻烦的是，这种模式无法支持动态扩展（比如运行时加载插件状态）。std::visit的调用方式也无法像虚函数那样，由当前状态对象自然地决定是否处理某个事件。你需要手动进行类型判断和分发，代码会迅速膨胀，而且容易遗漏分支。
std::variant的方案才可能比虚函数更简单。PausedState需要通知PlayingState恢复播放），用variant表达会非常笨拙，而虚函数配合Context中转则显得十分自然。virtual const char* name() const = 0;。否则，当你在日志中只看到一串类似0x7f8a1c0042a0的内存地址时，根本无从判断当前究竟是哪个状态在运行。
正软商城本月促销专区，汇集办公、设计、安全、影音、系统工具及AI软件等正版软件优惠活动，提供限时折扣、特价授权和优惠购买信息，活动库存及价格以页面实时展示为准。
正软商城装机必备专区，精选办公、浏览器、安全防护、影音播放、压缩解压、设计创作和系统工具等电脑常用正版软件，帮助用户快速完成新电脑软件配置。
正软商城Windows软件专区，汇集适用于Windows电脑的办公、设计、安全防护、影音播放、开发工具和系统优化软件，提供软件介绍、系统要求、正版授权及购买下载服务。
正软商城macOS软件专区，精选适用于Mac电脑的办公、设计、影音、效率、开发和系统工具，提供软件功能介绍、macOS兼容版本、正版授权及购买下载服务。
正软商城iOS软件专区，精选适用于iPhone和iPad的办公、学习、影音、设计、效率及AI应用，提供功能介绍、适用设备、系统要求和正版获取方式等信息。
正软商城AI软件专区，汇集AI写作、AI绘画、AI视频、AI办公、AI编程、AI翻译、智能客服和数据分析等人工智能工具，提供功能介绍、适用平台、收费方式及正版购买信息。
正软商城PDF教程频道提供PDF编辑、转换、合并、拆分、压缩及格式处理方法，同时介绍常用PDF软件和工具的使用技巧。
赤友清理大师是一款为 Mac 设计的智能清理优化工具，可精准扫描垃圾、大文件、重复文件等，释放磁盘空间。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
Wise Folder Hider Pro 是一款专业级文件和文件夹隐藏加密软件，为私密数据添加多重保护。高频操作更强调就近处理，浏览、整理和跨目录移动文件时，来回切换和重复点击都会少很多。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
