对象的状态由各个属性的当前值构成。当我们调用某个对象的setxxx()方法时,通常表示修改它的xxx属性。另外,对象在执行方法时,也可能修改自己的状态。在某些情形下,例如建立事务或机器模型时,对象的状态可能是决定其行为的关键因素,依赖于状态的代码逻辑可能遍布于类的大量方法。state模式的目标就是简化这类代码,把依赖于状态的逻辑集中到一组类,每一个类代表一种不同的状态,避免if语句嵌套过深或过于复杂,转而依赖于多态性来调用不同的方法。
状态模型
如果对象的状态信息很关键,对象会拥有一些变量来指示如何根据状态做出相应的动作。这些变量大量地散布于复杂的多层嵌套if语句中,来描述对象如何响应可能出现的事件。用这种方式建立对象模型的最大缺点在于if语句可能变得相当复杂一旦要修改对象的状态模型,往往有多个方法的许多if语句需要调整。
以传送带的门为例,考虑其状态变化过程为:传送带的门由单个按钮控制,并且假设初始时处于关闭状态。按一下按钮门开始打开,如果在门完全打开之前再次按下按钮,门开始关闭。一旦门完全打开,它将在2秒延时之后自动开始关闭过程。要禁止门自动关闭,可以在门打开之后按一下按钮。图1描述了传送门的状态变化情况。它是一个uml状态机(state machine),其中click表示按下按钮的动作。显然,与纯文字描述相比uml状态机图示更加直观易懂。
按照常规的设计思路(不使用state设计模式),在模拟传送带工作过程的软件中,可以使用一个door1对象代表传送门(如图2所示),状态改变事件由传送带软件发送给door1对象。
图1 uml状态机
图2 状态改变事件发送给door1对象
door1类从observable派生,这样客户程序(例如一个gui程序)就能够方便地了解传送门状态。door1类首先定义传送门可能处于的状态,代码如下:
public class door1 extends observable {
public static final int closed = 1;
public static final int opening = 2;
public static final int open = 3;
public static final int closing = 4;
public static final int stayopen = 5;
private int state = closed;
//...
}
status()方法返回传送门状态的文字描述,如下所示:
public string status() {
switch (state) {
case opening :
return "正在打开";
case open :
//...
default :
return "已关闭";
}
}
当用户点击传送带的按钮时,传送带程序调用door1对象的click()方法。click()方法模拟图1所示的状态装换过程:
public void click() {
if (state == closed) {
setstate(opening);
}
else if (state == opening || state == stayopen) {
setstate(closing);
}
else if (state == open) {
setstate(stayopen);
}
else if (state == closing) {
setstate(opening);
}
}
door1类的setstate()方法向观察者通知传送门状态改变事件,代码如下:
private void setstate(int state) {
this.state = state;
setchanged();
notifyobservers();
}
用state模式改造
door1类的代码比较复杂,整个类到处都用到了状态变量。如果要比较图1的状态机和door1类的各个状态变换方法,将是非常困难的,click()方法尤其如此。那么,怎样在这个例子中应用state模式呢?首先要把传送门的各种状态分别定义成类,如图3所示。图3能够更好地与图1的状态机对应。更改后的类设计中,door2包含了状态机的上下文信息。所谓上下文信息,就是描述环境和一系列其它对象相关的信息。就本例而言,state利用一个上下文对象记录了传送门的当前状态是doorstate类的哪一个实例。
图3 传送门各个状态
doorstate类的构造函数要求提供一个door2对象,doorstate的子类利用该对象传达状态变更信息。在这种设计方案中,doorstate的子类通过一个door2类型的属性绑定到特定的传送门(door2)对象,因而要求一个doorstate对象只被一个door2对象引用。同时door类要把它的状态信息定义成局部变量,代码如下:
public class door2 extends observable {
public final doorstate closed = new doorclosed(this);
// 按照类似方式定义doorstate类型的
// opening、open、closing、stayopen对象(略)
private doorstate state = closed;
// ...
}
doorstate类是一个抽象类,由子类实现其click()方法。在状态机中,每一个状态均有相应的“按下按钮”操作。修改后的设计中每一个描述状态的类也有一个click()方法,两者是一致的。doorstate类处理了其它可能的变换,所以doorstate的子类可以忽略无关的事件,代码如下:
public abstract class doorstate {
protected door2 door;
public doorstate(door2 door) {
this.door = door;
}
public abstract void click();
public string status() {
string s = getclass().getname();
return s.substring(s.lastindexof('.') + 1);
}
public void complete() { }
public void timeout() { }
}
由上可以看到,现在的status()方法要比修改设计方案之前的status()方法简单多了。新status()方法返回的结果与修改前版本的结果略有不同,它的状态信息从类的名称获得。如果要返回修改设计方案之前的信息,只需把这些状态信息分别记录到doorstate的各个子类中,然后在这个status()方法中直接提取即可。
新的设计方案中,传送门对象(door2)从传送带接收状态改变信息的这一角色仍未改变。但现在door2对象只需把这些状态改变信息直接传递给当前的状态对象就可以了,代码如下:
public class door2 extends observable {
// ... 声明变量
protected void setstate(doorstate state) {
this.state = state;
setchanged();
notifyobservers();
}
public void click() {
state.click();
}
// complete()、status()、timeout()都直接
// 调用state的相应方法即可(略)
}
这里的click()、complete()、status()和timeout()方法体现了java类多态性的应用。所有这些方法都起着判断和选择动作的作用,即是虽然每一个方法的代码是不含if判断逻辑的,但实际运行时被调用的状态对象却不断变化。在调用click()时会发生哪些事情呢?按照多态性规则,答案依赖于当时传送门的状态。修改后的代码有效地担负起了根据状态执行不同动作的任务,但由于利用了多态性,它变得更加简单了。
door2类中的setstate()方法现在由doorstate的子类调用。这些doorstate的子类与图1状态机中的相应实体很相似,例如,状态机中open状态包含timeout和click,dooropen类则包含两个对应的方法timeout()和click()。dooropen类的代码如下:
public class dooropen extends doorstate {
public dooropen(door2 door) {
super(door);
}
public void click() {
door.setstate(door.stayopen);
}
public void timeout() {
door.setstate(door.closing);
}
}
从上面可以看到,利用state设计模式之后,代码变得更简单了。不过,细心的读者或许已经注意到,door2类用到的“常量”实际上是变量,这给人一种不规范的感觉。假设现在要把这些状态常量移到_doorconstant接口,这就需要从doorstate类消除door2实例变量。修改办法是:重新定义doorstate类中的click()、complete()和timeout()变换方法,把一个door2对象以参数的形式传递给它们。按照这种设计方法,door2对象调用状态变换方法,例如click()时,将采用state.click(this)的形式。
闽公网安备 35060202000074号