有限状态机(FSM:Finite state machine)例子:
1、若状态机在Locked状态收到了一个coin事件,则迁移到Unlocked状态并执行unlock动作。
2、若状态机在UnLocked状态收到了一个pass事件,则迁移到locked状态并执行lock动作。
一、描述人方法:
1、STD(state transition Diagram) 状态迁移图。
2、STT(state transition table) 状态迁移表。
src state | event | dst state | action |
Locked | coin | Unlocked | unlock |
unlocked | pass | Locked | lock |
Locked coin Unlocked unlock
二、实现技术:
1、 嵌套 Switch/Case 语句:
优点:效率高;
缺点:如果有大量的状态和事件,代码维护困难并容易出错。
switch(state)
{
case Locked:
{
switch(event)
{
case coin:
state = Unlocked;
unlock();
break;
case pass:
alarm();
break;
}
}
case Unlocked:
{
switch(event)
{
case coin:
tankyou();
break;
case pass:
state = locked;
lock();
}
}
}
2、解释迁移表:
优点:状态机的逻辑全部集中在一个地方并且没有被动作的实现污染,容易维护。
缺点:需要遍历迁移表,需要时间消耗。
addTransition(Locked,Coin, unlocked,unlock());
addTransition(Locked,pass, locked,alarm());
addTransition(UnLocked,Coin, unlocked,thankyou());
addTransition(UnLocked,pass, unlocked,lock());
public void event(int event)
{
for(int i = 0; i < transition.size();i++)
{
Transition transition = (Transition) transition.elementAt(i);
if(state == transition.currentState && event == transition.event)
{
state = transition.newState;
transition.action.execute();
}
}
}
3、 State 模式:
优点:效率高;
缺点:逻辑分散,无法在一个地方看到整个状态的逻辑。
4、 SM -- 状态机编译器。
为了省去编写派生类的乏味工作并把状态机的逻辑放在一个地方表达,我们可以使用一个编译器,该编译器可以把一个用文本描述的状态迁移表转变成实现STATE模式所必需的类。该编译器是免费的,可以从http://www.objectmentor.com下载。