软件构造之面向可维护性的构造技术

基于状态的构造技术
使用有限状态机来定义程序的行为、使用状态来控制程序的执行，根据当前状态，决定下一步要执行什么操作、执行操作之后要转移到什么新的状态。这种情况下在ADT内部自行管理状态的转换，需要大量的if-else同时在ADT的方法中，也需要根据当前状态做各种判断if-else，采取不同的行为。下面介绍基于自动机的编程：其核心思想是将程序看做是一个有限状态自动机，侧重于对其“状态”及“状态转换”的抽象和编程。在这种设计下，程序的执行被分解非一组自动执行的步骤，各步骤之间的通讯通过状态变量进行。程序执行可看做是各自动步骤的不断循环，可以使用枚举类型或更加复杂的数据类型定义状态。、
在以上思想的基础上推出状态模式：允许在运行时修改对象的行为或状态，每个行为(一组方法构成)用一个状态类表达，其中状态对象通常不包含任何属性；状态改变时，修改状态对象即可；具体执行的方法，委托给状态对象完成。允许对象在内部状态发生改变时改变它的行为，对象看起来好像修改了它的类。
使用场景：行为随状态改变而改变的场景；条件、分支语句的代替者。
在行为受状态约束的时候使用状态模式，而且状态不超过 5 个。
优点：封装了转换规则；枚举可能的状态，在枚举状态之前需要确定状态种类；将所有与某个状态有关的行为放到一个类中，并且可以方便地增加新的状态，只需要改变对象状态即可改变对象的行为；允许状态转换逻辑与状态对象合成一体，而不是某一个巨大的条件语句块；可以让多个环境对象共享一个状态对象，从而减少系统中对象的个数。
在状态模式中，创建表示各种状态的对象和一个行为随着状态对象改变而改变的 context 对象，在Context对象中的状态转换操作都委派给外部的state对象，各种state对象实现在本对象状态下能够发生的行为即能够转换到的状态。
在状态的层面还有备忘录模式：备忘录模式（Memento Pattern）保存一个对象的某个状态，以便在适当的时候恢复对象。备忘录模式属于行为型模式。在不破坏封装的前提下，捕获一个对象的内部状态，并在该对象之外保存这个状态，这样可以在以后将对象恢复到原先保存的状态。需要记录一个对象的内部状态，目的就是为了允许用户取消不确定或者错误的操作，能够恢复到原先的状态。
备忘录模式使用三个类 Memento、Originator 和 CareTaker。Memento 包含了要被恢复的对象的状态。Originator 创建并在 Memento 对象中存储状态。Caretaker 对象负责从 Memento 中恢复对象的状态。
优点：给用户提供了一种可以恢复状态的机制，可以使用户能够比较方便地回到某个历史的状态；实现了信息的封装，使得用户不需要关心状态的保存细节。