亦称: 动作、事务、Action、Transaction、Command
意图
命令模式是一种行为设计模式, 它可将请求转换为一个包含与请求相关的所有信息的独立对象。 该转换让你能根据不同的请求将方法参数化、 延迟请求执行或将其放入队列中, 且能实现可撤销操作。
问题
假如你正在开发一款新的文字编辑器, 当前的任务是创建一个包含多个按钮的工具栏, 并让每个按钮对应编辑器的不同操作。 你创建了一个非常简洁的 按钮
类, 它不仅可用于生成工具栏上的按钮, 还可用于生成各种对话框的通用按钮。
应用中的所有按钮都可以继承相同的类
尽管所有按钮看上去都很相似, 但它们可以完成不同的操作 (打开、 保存、 打印和应用等)。 你会在哪里放置这些按钮的点击处理代码呢? 最简单的解决方案是在使用按钮的每个地方都创建大量的子类。 这些子类中包含按钮点击后必须执行的代码。
大量的按钮子类。 没关系的。
你很快就意识到这种方式有严重缺陷。 首先, 你创建了大量的子类, 当每次修改基类 按钮
时, 你都有可能需要修改所有子类的代码。 简单来说, GUI 代码以一种拙劣的方式依赖于业务逻辑中的不稳定代码。
多个类实现同一功能。
还有一个部分最难办。 复制/粘贴文字等操作可能会在多个地方被调用。 例如用户可以点击工具栏上小小的 “复制” 按钮, 或者通过上下文菜单复制一些内容, 又或者直接使用键盘上的 Ctrl+C
。
我们的程序最初只有工具栏, 因此可以使用按钮子类来实现各种不同操作。 换句话来说, 复制按钮
CopyButton子类包含复制文字的代码是可行的。 在实现了上下文菜单、 快捷方式和其他功能后, 你要么需要将操作代码复制进许多个类中, 要么需要让菜单依赖于按钮, 而后者是更糟糕的选择。
解决方案
优秀的软件设计通常会将关注点进行分离, 而这往往会导致软件的分层。 最常见的例子: 一层负责用户图像界面; 另一层负责业务逻辑。 GUI 层负责在屏幕上渲染美观的图形, 捕获所有输入并显示用户和程序工作的结果。 当需要完成一些重要内容时 (比如计算月球轨道或撰写年度报告), GUI 层则会将工作委派给业务逻辑底层。
这在代码中看上去就像这样: 一个 GUI 对象传递一些参数来调用一个业务逻辑对象。 这个过程通常被描述为一个对象发送请求给另一个对象。
GUI 层可以直接访问业务逻辑层。
命令模式建议 GUI 对象不直接提交这些请求。 你应该将请求的所有细节 (例如调用的对象、 方法名称和参数列表) 抽取出来组成命令类, 该类中仅包含一个用于触发请求的方法。
命令对象负责连接不同的 GUI 和业务逻辑对象。 此后, GUI 对象无需了解业务逻辑对象是否获得了请求, 也无需了解其对请求进行处理的方式。 GUI 对象触发命令即可, 命令对象会自行处理所有细节工作。
通过命令访问业务逻辑层。
下一步是让所有命令实现相同的接口。 该接口通常只有一个没有任何参数的执行方法, 让你能在不和具体命令类耦合的情况下使用同一请求发送者执行不同命令。 此外还有额外的好处, 现在你能在运行时切换连接至发送者的命令对象, 以此改变发送者的行为。
你可能会注意到遗漏的一块拼图——请求的参数。 GUI 对象可以给业务层对象提供一些参数。 但执行命令方法没有任何参数, 所以我们如何将请求的详情发送给接收者呢? 答案是: 使用数据对命令进行预先配置, 或者让其能够自行获取数据。
GUI 对象将命令委派给命令对象。
让我们回到文本编辑器。 应用命令模式后, 我们不再需要任何按钮子类来实现点击行为。 我们只需在 按钮
Button基类中添加一个成员变量来存储对于命令对象的引用, 并在点击后执行该命令即可。
你需要为每个可能的操作实现一系列命令类, 并且根据按钮所需行为将命令和按钮连接起来。
其他菜单、 快捷方式或整个对话框等 GUI 元素都可以通过相同方式来实现。 当用户与 GUI 元素交互时, 与其连接的命令将会被执行。 现在你很可能已经猜到了, 与相同操作相关的元素将会被连接到相同的命令, 从而避免了重复代码。
最后, 命令成为了减少 GUI 和业务逻辑层之间耦合的中间层。 而这仅仅是命令模式所提供的一小部分好处!
真实世界类比
在餐厅里点餐。
在市中心逛了很久的街后, 你找到了一家不错的餐厅, 坐在了临窗的座位上。 一名友善的服务员走近你, 迅速记下你点的食物, 写在一张纸上。 服务员来到厨房, 把订单贴在墙上。 过了一段时间, 厨师拿到了订单, 他根据订单来准备食物。 厨师将做好的食物和订单一起放在托盘上。 服务员看到托盘后对订单进行检查, 确保所有食物都是你要的, 然后将食物放到了你的桌上。
那张纸就是一个命令, 它在厨师开始烹饪前一直位于队列中。 命令中包含与烹饪这些食物相关的所有信息。 厨师能够根据它马上开始烹饪, 而无需跑来直接和你确认订单详情。
命令模式结构
-
发送者 (Sender)——亦称 “触发者 (Invoker)”——类负责对请求进行初始化, 其中必须包含一个成员变量来存储对于命令对象的引用。 发送者触发命令, 而不向接收者直接发送请求。 注意, 发送者并不负责创建命令对象: 它通常会通过构造函数从客户端处获得预先生成的命令。
-
命令 (Command) 接口通常仅声明一个执行命令的方法。
-
具体命令 (Concrete Commands) 会实现各种类型的请求。 具体命令自身并不完成工作, 而是会将调用委派给一个业务逻辑对象。 但为了简化代码, 这些类可以进行合并。
接收对象执行方法所需的参数可以声明为具体命令的成员变量。 你可以将命令对象设为不可变, 仅允许通过构造函数对这些成员变量进行初始化。
-
接收者 (Receiver) 类包含部分业务逻辑。 几乎任何对象都可以作为接收者。 绝大部分命令只处理如何将请求传递到接收者的细节, 接收者自己会完成实际的工作。
-
客户端 (Client) 会创建并配置具体命令对象。 客户端必须将包括接收者实体在内的所有请求参数传递给命令的构造函数。 此后, 生成的命令就可以与一个或多个发送者相关联了。
伪代码
在本例中, 命令模式会记录已执行操作的历史记录, 以在需要时撤销操作。
文本编辑器中的可撤销操作。
有些命令会改变编辑器的状态 (例如剪切和粘贴), 它们可在执行相关操作前对编辑器的状态进行备份。 命令执行后会和当前点备份的编辑器状态一起被放入命令历史 (命令对象栈)。 此后, 如果用户需要进行回滚操作, 程序可从历史记录中取出最近的命令, 读取相应的编辑器状态备份, 然后进行恢复。
客户端代码 (GUI 元素和命令历史等) 没有和具体命令类相耦合, 因为它通过命令接口来使用命令。 这使得你能在无需修改已有代码的情况下在程序中增加新的命令。
// 命令基类会为所有具体命令定义通用接口。 abstract class Command isprotected field app: Applicationprotected field editor: Editorprotected field backup: textconstructor Command(app: Application, editor: Editor) isthis.app = appthis.editor = editor// 备份编辑器状态。method saveBackup() isbackup = editor.text// 恢复编辑器状态。method undo() iseditor.text = backup// 执行方法被声明为抽象以强制所有具体命令提供自己的实现。该方法必须根// 据命令是否更改编辑器的状态返回 true 或 false。abstract method execute()// 这里是具体命令。 class CopyCommand extends Command is// 复制命令不会被保存到历史记录中,因为它没有改变编辑器的状态。method execute() isapp.clipboard = editor.getSelection()return falseclass CutCommand extends Command is// 剪切命令改变了编辑器的状态,因此它必须被保存到历史记录中。只要方法// 返回 true,它就会被保存。method execute() issaveBackup()app.clipboard = editor.getSelection()editor.deleteSelection()return trueclass PasteCommand extends Command ismethod execute() issaveBackup()editor.replaceSelection(app.clipboard)return true// 撤销操作也是一个命令。 class UndoCommand extends Command ismethod execute() isapp.undo()return false// 全局命令历史记录就是一个堆桟。 class CommandHistory isprivate field history: array of Command// 后进……method push(c: Command) is// 将命令压入历史记录数组的末尾。// ……先出method pop():Command is// 从历史记录中取出最近的命令。// 编辑器类包含实际的文本编辑操作。它会担任接收者的角色:最后所有命令都会 // 将执行工作委派给编辑器的方法。 class Editor isfield text: stringmethod getSelection() is// 返回选中的文字。method deleteSelection() is// 删除选中的文字。method replaceSelection(text) is// 在当前位置插入剪贴板中的内容。// 应用程序类会设置对象之间的关系。它会担任发送者的角色:当需要完成某些工 // 作时,它会创建并执行一个命令对象。 class Application isfield clipboard: stringfield editors: array of Editorsfield activeEditor: Editorfield history: CommandHistory// 将命令分派给 UI 对象的代码可能会是这样的。method createUI() is// ……copy = function() { executeCommand(new CopyCommand(this, activeEditor)) }copyButton.setCommand(copy)shortcuts.onKeyPress("Ctrl+C", copy)cut = function() { executeCommand(new CutCommand(this, activeEditor)) }cutButton.setCommand(cut)shortcuts.onKeyPress("Ctrl+X", cut)paste = function() { executeCommand(new PasteCommand(this, activeEditor)) }pasteButton.setCommand(paste)shortcuts.onKeyPress("Ctrl+V", paste)undo = function() { executeCommand(new UndoCommand(this, activeEditor)) }undoButton.setCommand(undo)shortcuts.onKeyPress("Ctrl+Z", undo)// 执行一个命令并检查它是否需要被添加到历史记录中。method executeCommand(command) isif (command.execute())history.push(command)// 从历史记录中取出最近的命令并运行其 undo(撤销)方法。请注意,你并// 不知晓该命令所属的类。但是我们不需要知晓,因为命令自己知道如何撤销// 其动作。method undo() iscommand = history.pop()if (command != null)command.undo()
命令模式适合应用场景
如果你需要通过操作来参数化对象, 可使用命令模式。
命令模式可将特定的方法调用转化为独立对象。 这一改变也带来了许多有趣的应用: 你可以将命令作为方法的参数进行传递、 将命令保存在其他对象中, 或者在运行时切换已连接的命令等。
举个例子: 你正在开发一个 GUI 组件 (例如上下文菜单), 你希望用户能够配置菜单项, 并在点击菜单项时触发操作。
如果你想要将操作放入队列中、 操作的执行或者远程执行操作, 可使用命令模式。
同其他对象一样, 命令也可以实现序列化 (序列化的意思是转化为字符串), 从而能方便地写入文件或数据库中。 一段时间后, 该字符串可被恢复成为最初的命令对象。 因此, 你可以延迟或计划命令的执行。 但其功能远不止如此! 使用同样的方式, 你还可以将命令放入队列、 记录命令或者通过网络发送命令。
如果你想要实现操作回滚功能, 可使用命令模式。
尽管有很多方法可以实现撤销和恢复功能, 但命令模式可能是其中最常用的一种。
为了能够回滚操作, 你需要实现已执行操作的历史记录功能。 命令历史记录是一种包含所有已执行命令对象及其相关程序状态备份的栈结构。
这种方法有两个缺点。 首先, 程序状态的保存功能并不容易实现, 因为部分状态可能是私有的。 你可以使用备忘录模式来在一定程度上解决这个问题。
其次, 备份状态可能会占用大量内存。 因此, 有时你需要借助另一种实现方式: 命令无需恢复原始状态, 而是执行反向操作。 反向操作也有代价: 它可能会很难甚至是无法实现。
实现方式
-
声明仅有一个执行方法的命令接口。
-
抽取请求并使之成为实现命令接口的具体命令类。 每个类都必须有一组成员变量来保存请求参数和对于实际接收者对象的引用。 所有这些变量的数值都必须通过命令构造函数进行初始化。
-
找到担任发送者职责的类。 在这些类中添加保存命令的成员变量。 发送者只能通过命令接口与其命令进行交互。 发送者自身通常并不创建命令对象, 而是通过客户端代码获取。
-
修改发送者使其执行命令, 而非直接将请求发送给接收者。
-
客户端必须按照以下顺序来初始化对象:
- 创建接收者。
- 创建命令, 如有需要可将其关联至接收者。
- 创建发送者并将其与特定命令关联。
命令模式优缺点
- 单一职责原则。 你可以解耦触发和执行操作的类。
- 开闭原则。 你可以在不修改已有客户端代码的情况下在程序中创建新的命令。
- 你可以实现撤销和恢复功能。
- 你可以实现操作的延迟执行。
- 你可以将一组简单命令组合成一个复杂命令。
- 代码可能会变得更加复杂, 因为你在发送者和接收者之间增加了一个全新的层次。
与其他模式的关系
-
责任链模式、 命令模式、 中介者模式和观察者模式用于处理请求发送者和接收者之间的不同连接方式:
- 责任链按照顺序将请求动态传递给一系列的潜在接收者, 直至其中一名接收者对请求进行处理。
- 命令在发送者和请求者之间建立单向连接。
- 中介者清除了发送者和请求者之间的直接连接, 强制它们通过一个中介对象进行间接沟通。
- 观察者允许接收者动态地订阅或取消接收请求。
-
责任链的管理者可使用命令模式实现。 在这种情况下, 你可以对由请求代表的同一个上下文对象执行许多不同的操作。
还有另外一种实现方式, 那就是请求自身就是一个命令对象。 在这种情况下, 你可以对由一系列不同上下文连接而成的链执行相同的操作。
-
你可以同时使用命令和备忘录模式来实现 “撤销”。 在这种情况下, 命令用于对目标对象执行各种不同的操作, 备忘录用来保存一条命令执行前该对象的状态。
-
命令和策略模式看上去很像, 因为两者都能通过某些行为来参数化对象。 但是, 它们的意图有非常大的不同。
-
你可以使用命令来将任何操作转换为对象。 操作的参数将成为对象的成员变量。 你可以通过转换来延迟操作的执行、 将操作放入队列、 保存历史命令或者向远程服务发送命令等。
-
另一方面, 策略通常可用于描述完成某件事的不同方式, 让你能够在同一个上下文类中切换算法。
-
-
原型模式可用于保存命令的历史记录。
-
你可以将访问者模式视为命令模式的加强版本, 其对象可对不同类的多种对象执行操作。
代码示例
/*** The Command interface declares a method for executing a command.*/
class Command {public:virtual ~Command() {}virtual void Execute() const = 0;
};
/*** Some commands can implement simple operations on their own.*/
class SimpleCommand : public Command {private:std::string pay_load_;public:explicit SimpleCommand(std::string pay_load) : pay_load_(pay_load) {}void Execute() const override {std::cout << "SimpleCommand: See, I can do simple things like printing (" << this->pay_load_ << ")\n";}
};/*** The Receiver classes contain some important business logic. They know how to* perform all kinds of operations, associated with carrying out a request. In* fact, any class may serve as a Receiver.*/
class Receiver {public:void DoSomething(const std::string &a) {std::cout << "Receiver: Working on (" << a << ".)\n";}void DoSomethingElse(const std::string &b) {std::cout << "Receiver: Also working on (" << b << ".)\n";}
};/*** However, some commands can delegate more complex operations to other objects,* called "receivers."*/
class ComplexCommand : public Command {/*** @var Receiver*/private:Receiver *receiver_;/*** Context data, required for launching the receiver's methods.*/std::string a_;std::string b_;/*** Complex commands can accept one or several receiver objects along with any* context data via the constructor.*/public:ComplexCommand(Receiver *receiver, std::string a, std::string b) : receiver_(receiver), a_(a), b_(b) {}/*** Commands can delegate to any methods of a receiver.*/void Execute() const override {std::cout << "ComplexCommand: Complex stuff should be done by a receiver object.\n";this->receiver_->DoSomething(this->a_);this->receiver_->DoSomethingElse(this->b_);}
};/*** The Invoker is associated with one or several commands. It sends a request to* the command.*/
class Invoker {/*** @var Command*/private:Command *on_start_;/*** @var Command*/Command *on_finish_;/*** Initialize commands.*/public:~Invoker() {delete on_start_;delete on_finish_;}void SetOnStart(Command *command) {this->on_start_ = command;}void SetOnFinish(Command *command) {this->on_finish_ = command;}/*** The Invoker does not depend on concrete command or receiver classes. The* Invoker passes a request to a receiver indirectly, by executing a command.*/void DoSomethingImportant() {std::cout << "Invoker: Does anybody want something done before I begin?\n";if (this->on_start_) {this->on_start_->Execute();}std::cout << "Invoker: ...doing something really important...\n";std::cout << "Invoker: Does anybody want something done after I finish?\n";if (this->on_finish_) {this->on_finish_->Execute();}}
};
/*** The client code can parameterize an invoker with any commands.*/int main() {Invoker *invoker = new Invoker;invoker->SetOnStart(new SimpleCommand("Say Hi!"));Receiver *receiver = new Receiver;invoker->SetOnFinish(new ComplexCommand(receiver, "Send email", "Save report"));invoker->DoSomethingImportant();delete invoker;delete receiver;return 0;
}
执行结果
Invoker: Does anybody want something done before I begin?
SimpleCommand: See, I can do simple things like printing (Say Hi!)
Invoker: ...doing something really important...
Invoker: Does anybody want something done after I finish?
ComplexCommand: Complex stuff should be done by a receiver object.
Receiver: Working on (Send email.)
Receiver: Also working on (Save report.)