命令模式核心结构是定义抽象基类command含execute()和undo(),具体命令持receiver智能指针并实现二者,invoker用unique_ptr管理命令、调用不依赖细节;lambda仅适用于无撤销需求的简单场景。

命令模式的核心结构怎么搭
命令模式本质是把“请求”封装成对象,让调用者(Invoker)和具体执行者(Receiver)解耦。C++里最直接的实现就是定义一个抽象基类 Command,带纯虚函数 execute() 和可选的 undo();每个具体命令继承它,内部持有对 Receiver 的引用或指针,并在 execute() 中调用其方法。
关键点不是写得多,而是接口要干净:Receiver 不该知道 Command,Command 也不该暴露 Receiver 的细节。常见错误是让 Command 直接操作全局变量或裸指针,导致生命周期难控——建议用 std::shared_ptr 或传值方式管理 Receiver。
- Receiver 类只负责具体逻辑(比如
Light::turnOn()),不依赖任何 Command - ConcreteCommand 构造时接收 Receiver 实例,保存为成员(推荐
std::shared_ptr<receiver></receiver>) - Invoker 持有
std::vector<:unique_ptr>></:unique_ptr>或单个std::unique_ptr<command></command>,只调用execute(),不关心实现
如何支持撤销(undo)和命令队列
撤销不是必须的,但加了才像真正的命令模式。核心是每个 ConcreteCommand 除了 execute(),还要实现 undo(),且执行前需记录必要状态(比如开关前的原始状态、数值操作前的旧值)。命令队列则靠 Invoker 维护一个 std::stack<:unique_ptr>></:unique_ptr>,每次 execute() 后 push,undo() 时 pop 并调用其 undo()。
容易踩的坑:忘记在 execute() 里保存状态,或者 undo() 逻辑和 execute() 不对称(比如 execute() 改了成员变量 A,undo() 却改了 B)。另外,std::stack 存的是右值引用,push 时要用 std::move(cmd),否则编译不过。
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 状态保存尽量轻量:布尔开关记
bool was_on_,数值操作记int prev_value_ - 如果 Receiver 本身不可拷贝或无默认构造,别在 Command 里尝试重建它——撤销只恢复本地状态
- 命令队列清空后,已执行的 Command 对象会被自动销毁,无需手动清理
lambda 封装命令是否可行
可以,但仅限简单场景。用 std::function<void></void> 替代抽象基类,把 Receiver 方法绑定成闭包:std::make_unique<functioncommand>([light](){ light->turnOn(); })</functioncommand>。这种方式省去继承体系,适合原型或脚本化逻辑。
问题在于无法统一支持 undo() —— lambda 本身不携带反向逻辑,除非你额外传入另一个 lambda,但这会让 Invoker 接口变重。而且捕获列表若含裸指针,Receiver 生命周期一结束就 crash;用 shared_ptr 捕获又可能延长生命周期,引发意外引用。
- 适合一次性命令,比如日志打印、简单状态切换
- 涉及资源管理、多步操作或必须撤销的场景,坚持传统继承结构更安全
- 若真要用 lambda,建议封装一层薄包装类,强制要求同时提供
exec和unexec函数对象
为什么 std::unique_ptr 比 raw pointer 更合适
因为 Command 对象的生命周期由 Invoker 完全控制,不需要共享所有权。用 std::unique_ptr 明确表达“我拥有它”,避免悬空指针和重复 delete。raw pointer 看似灵活,但一旦 Invoker 在中途释放 Command,而其他地方还在用,就会触发未定义行为。
另一个常被忽略的点:Command 子类往往需要移动语义(比如内部含 std::string 或 std::vector),而 std::unique_ptr 天然支持移动,std::shared_ptr 则引入原子计数开销,没必要。
- 声明 Invoker 成员时直接写
std::unique_ptr<command> command_;</command>,不用Command* - 创建 ConcreteCommand 后立即用
std::make_unique转移所有权,不要 new + reset - 如果需要把 Command 传给别的模块,考虑返回
std::unique_ptr或用 const 引用访问,而不是暴露指针
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










