状态机是个什么东西?
http://www.cppblog.com/richardhe/articles/53134.html
一.引言
有限状态机是一种用来进行对象行为建模的工具,其作用主要是描述对象在它的生命周期内所经历的状态序列,以及如何响应来自外界的各种事件。在面向对象的软件系统中,一个对象无论多么简单或者多么复杂,都必然会经历一个从开始创建到最终消亡的完整过程,这通常被称为对象的生命周期。一般说来,对象在其生命期内是不可能完全孤立的,它必须通过发送消息来影响其它对象,或者通过接受消息来改变自身。在大多数情况下,这些消息都只不过是些简单的、同步的方法调用而已。例如,在银行客户管理系统中,客户类(Customer)的实例在需要的时候,可能会调用帐户(Account)类中定义的getBalance()方法。在这种简单的情况下,类Customer并不需要一个有限状态机来描述自己的行为,主要原因在于它当前的行为并不依赖于过去的某个状态。[1]
遗憾的是并不是所有情况都会如此简单,事实上许多实用的软件系统都必须维护一两个非常关键的对象,它们通常具有非常复杂的状态转换关系,而且需要对来自外部的各种异步事件进行响应。例如,在VoIP电话系统中,电话类(Telephone)的实例必须能够响应来自对方的随机呼叫,来自用户的按键事件,以及来自网络的信令等。在处理这些消息时,类Telephone所要采取的行为完全依赖于它当前所处的状态,因而此时使用状态机就将是一个不错的选择。[1]
游戏引擎是有限状态机最为成功的应用领域之一,由于设计良好的状态机能够被用来取代部分的人工智能算法,因此游戏中的每个角色或者器件都有可能内嵌一个状态机。考虑RPG游戏中城门这样一个简单的对象,它具有打开(Opened)、关闭(Closed)、上锁(Locked)、解锁(Unlocked)四种状态,如图1所示。当玩家到达一个处于状态Locked的门时,如果此时他已经找到了用来开门的钥匙,那么他就可以利用它将门的当前状态转变为Unlocked,进一步还可以通过旋转门上的把手将其状态转变为Opened,从而成功地进入城内。[1]
在描述有限状态机时,状态、事件、转换和动作是经常会碰到的几个基本概念。
状态(State)指的是对象在其生命周期中的一种状况,处于某个特定状态中的对象必然会满足某些条件、执行某些动作或者是等待某些事件。
事件(Event)指的是在时间和空间上占有一定位置,并且对状态机来讲是有意义的那些事情。事件通常会引起状态的变迁,促使状态机从一种状态切换到另一种状态。
转换(Transition)指的是两个状态之间的一种关系,表明对象将在第一个状态中执行一定的动作,并将在某个事件发生同时某个特定条件满足时进入第二个状态。
动作(Action)指的是状态机中可以执行的那些原子操作,所谓原子操作指的是它们在运行的过程中不能被其他消息所中断,必须一直执行下去。
二、基于传统C语言的FSM实现技术
2.1、基于switch(状态)的实现
在实现有限状态机时,使用switch语句是最简单也是最直接的一种方式,其基本思路是为状态机中的每一种状态都设置一个case分支,专门用于对该状态进行控制。下面的代码示范了如何运用switch语句,来实现图1中所示的状态机:
1 switch (state) { 2 // 处理状态Opened的分支 3 case (Opened): { 4 // 执行动作Open 5 open(); 6 // 检查是否有CloseDoor事件 7 if (closeDoor()) { 8 // 当前状态转换为Closed 9 changeState(Closed) 10 } 11 break; 12 } 13 // 处理状态Closed的分支 14 case (Closed): { 15 // 执行动作Close 16 close(); 17 // 检查是否有OpenDoor事件 18 if (openDoor()) { 19 // 当前状态转换为Opened 20 changeState(Opened); 21 } 22 // 检查是否有LockDoor事件 23 if (lockDoor()) { 24 // 当前状态转换为Locked 25 changeState(Locked); 26 } 27 break; 28 } 29 30 // 处理状态Locked的分支 31 case (Locked): { 32 // 执行动作Lock 33 lock(); 34 // 检查是否有UnlockDoor事件 35 if (unlockDoor()) { 36 // 当前状态转换为Unlocked 37 changeState(Unlocked); 38 } 39 break; 40 } 41 42 // 处理状态Unlocked的分支 43 case (Unlocked): { 44 // 执行动作Unlock 45 unlock(); 46 // 检查是否有LockDoor事件 47 if (lockDoor()) { 48 // 当前状态转换为Locked 49 changeState(Locked) 50 } 51 // 检查是否有OpenDoor事件 52 if (openDoor()) { 53 // 当前状态转换为Opened 54 changeSate(Opened); 55 } 56 break; 57 } 58 }
使用switch语句实现的有限状态机的确能够很好地工作,但代码的可读性并不十分理想,主要原因是在实现状态之间的转换时,检查转换条件和进行状态转换都是混杂在当前状态中来完成的。例如,当城门处于Opened状态时,需要在相应的case中调用closeDoor()函数来检查是否有必要进行状态转换,如果是的话则还需要调用changeState()函数将当前状态切换到Closed。显然,如果在每种状态下都需要分别检查多个不同的转换条件,并且需要根据检查结果让状态机切换到不同的状态,那么这样的代码将是枯燥而难懂的。从代码重构的角度来讲,此时更好的做法是引入checkStateChange()和performStateChange()两个函数,专门用来对转换条件进行检查,以及激活转换时所需要执行的各种动作。这样一来,程序结构将变得更加清晰:
1 switch (state) { 2 3 // 处理状态Opened的分支 4 case (Opened): { 5 // 执行动作Open 6 open(); 7 // 检查是否有激发状态转换的事件产生 8 if (checkStateChange()) { 9 // 对状态机的状态进行转换 10 performStateChange(); 11 } 12 break; 13 } 14 // 处理状态Closed的分支 15 case (Closed): { 16 // 执行动作Close 17 close(); 18 // 检查是否有激发状态转换的事件产生 19 if (checkStateChange()) { 20 // 对状态机的状态进行转换 21 performStateChange(); 22 } 23 break; 24 } 25 26 // 处理状态Locked的分支 27 case (Locked): { 28 // 执行动作Lock 29 lock(); 30 // 检查是否有激发状态转换的事件产生 31 if (checkStateChange()) { 32 // 对状态机的状态进行转换 33 performStateChange(); 34 } 35 break; 36 } 37 38 // 处理状态Unlocked的分支 39 case (Unlocked): { 40 // 执行动作Lock 41 unlock(); 42 // 检查是否有激发状态转换的事件产生 43 if (checkStateChange()) { 44 // 对状态机的状态进行转换 45 performStateChange(); 46 } 47 break; 48 } 49 } 50
但checkStateChange()和performStateChange()这两个函数本身依然会在面对很复杂的状态机时,内部逻辑变得异常臃肿,甚至可能是难以实现。
三、基于面向对象的FSM实现技术
3.1、用一个类实现FSM
1 class DoorFSM { 2 3 private: 4 5 States __Y; 6 7 std::queue<Event> __events; 8 9 void __processEvent( Event e ); 10 11 12 13 protected: 14 15 virtual void enterOpened() = 0; 16 17 virtual void enterLocked() = 0; 18 19 virtual void enterUnlocked() = 0; 20 21 virtual void enterClosed() = 0; 22 23 public: 24 25 /* States */ 26 27 enum States { Closed, Unlocked, Locked, Opened }; // states 28 29 /*Events*/ 30 31 enum Event { Lock, Unlock, Open, Close }; 32 33 /// Constructor 34 35 DoorFSM() { __Y = Opened; } 36 37 /// Destructor 38 39 virtual ~DoorFSM() {} 40 41 42 43 /** Get current FSM state 44 45 @returns current FSM state 46 47 */ 48 49 States currentState() { return __Y; } 50 51 52 53 /** Send event to FSM 54 55 Use this function to send event to DoorFSM After you call it given event will be handled, and, if some of transition conditions match, appropriate transition will be triggered, and currentState() will be changed. If this function is called during existing event handling process, given event will be added to pending event queue, and will be handled after current transition. See examples for details. 56 57 */ 58 59 void A( Event e ); 60 61 }; 62 63 void DoorFSM::__processEvent( Event e ) 64 65 { 66 67 States yOld = __Y; 68 69 bool pass = false; 70 71 switch( __Y ) { //transitions 72 73 case Closed: 74 75 if( e == Open ) { 76 77 //outcome actions 78 79 __Y = Opened; 80 81 pass = true; 82 83 } 84 85 else if( e == Lock ) { 86 87 //outcome actions 88 89 __Y = Locked; 90 91 pass = true; 92 93 } 94 95 break; 96 97 case Unlocked: 98 99 if( e == Lock ) { 100 101 //outcome actions 102 103 __Y = Locked; 104 105 pass = true; 106 107 } 108 109 else if( e == Open ) { 110 111 //outcome actions 112 113 __Y = Opened; 114 115 pass = true; 116 117 } 118 119 break; 120 121 case Locked: 122 123 if( e == Unlock ) { 124 125 //outcome actions 126 127 __Y = Unlocked; 128 129 pass = true; 130 131 } 132 133 break; 134 135 case Opened: 136 137 if( e == Close ) { 138 139 //outcome actions 140 141 __Y = Closed; 142 143 pass = true; 144 145 } 146 147 break; 148 149 } 150 151 152 153 if( yOld == __Y && !pass ) { return; } 154 155 156 157 switch( __Y ) { // income actions 158 159 case Closed: 160 161 enterClosed(); 162 163 break; 164 165 case Unlocked: 166 167 enterUnlocked(); 168 169 break; 170 171 case Locked: 172 173 enterLocked(); 174 175 break; 176 177 case Opened: 178 179 enterOpened(); 180 181 break; 182 183 } 184 185 } 186 187 188 189 void DoorFSM::A( Event e ) 190 191 { 192 193 bool __empty = __events.empty(); 194 195 __events.push( e ); 196 197 if( __empty ) { 198 199 while( !__events.empty() ) { 200 201 __processEvent( __events.front() ); 202 203 __events.pop(); 204 205 } 206 207 } 208 209 } 210 211 212 213 214 215 class DoorFSMLogic : public DoorFSM 216 217 { 218 219 protected: 220 221 virtual void enterOpened(){std::cout << "Enter Opened state." << std::endl;} 222 223 virtual void enterLocked() {std::cout << "Enter Closed state." << std::endl;} 224 225 virtual void enterUnlocked() {std::cout << "Enter Locked state." << std::endl;} 226 227 virtual void enterClosed() {std::cout << "Enter Unlocked state." << std::endl;} 228 229 }; 230 231 测试程序 232 233 int main() 234 235 { 236 237 DoorFSMLogic door; 238 239 door.A(DoorFSM::Close); 240 241 door.A(DoorFSM::Lock); 242 243 door.A(DoorFSM::Unlock); 244 245 door.A(DoorFSM::Open); 246 247 } 248 249