有限狀態機是一種用來進行對象行爲建模的工具，其作用主要是描述對象在它的生命週期內所經歷的狀態序列，以及如何響應來自外界的各種事件。在面向對象的軟件系統中，一個對象無論多麼簡單或者多麼複雜，都必然會經歷一個從開始創建到最終消亡的完整過程，這通常被稱爲對象的生命週期。一般說來，對象在其生命期內是不可能完全孤立的，它必須通過發送消息來影響其它對象，或者通過接受消息來改變自身。在大多數情況下，這些消息都只不過是些簡單的、同步的方法調用而已。例如，在銀行客戶管理系統中，客戶類（Customer）的實例在需要的時候，可能會調用帳戶（Account）類中定義的getBalance()方法。在這種簡單的情況下，類Customer並不需要一個有限狀態機來描述自己的行爲，主要原因在於它當前的行爲並不依賴於過去的某個狀態。[1]
遺憾的是並不是所有情況都會如此簡單，事實上許多實用的軟件系統都必須維護一兩個非常關鍵的對象，它們通常具有非常複雜的狀態轉換關係，而且需要對來自外部的各種異步事件進行響應。例如，在VoIP電話系統中，電話類（Telephone）的實例必須能夠響應來自對方的隨機呼叫，來自用戶的按鍵事件，以及來自網絡的信令等。在處理這些消息時，類Telephone所要採取的行爲完全依賴於它當前所處的狀態，因而此時使用狀態機就將是一個不錯的選擇。[1]
遊戲引擎是有限狀態機最爲成功的應用領域之一，由於設計良好的狀態機能夠被用來取代部分的人工智能算法，因此遊戲中的每個角色或者器件都有可能內嵌一個狀態機。考慮RPG遊戲中城門這樣一個簡單的對象，它具有打開（Opened）、關閉（Closed）、上鎖（Locked）、解鎖（Unlocked）四種狀態，如圖1所示。當玩家到達一個處於狀態Locked的門時，如果此時他已經找到了用來開門的鑰匙，那麼他就可以利用它將門的當前狀態轉變爲Unlocked，進一步還可以通過旋轉門上的把手將其狀態轉變爲Opened，從而成功地進入城內。[1]
圖1 控制城門的狀態機
在描述有限狀態機時，狀態、事件、轉換和動作是經常會碰到的幾個基本概念。
狀態（State）指的是對象在其生命週期中的一種狀況，處於某個特定狀態中的對象必然會滿足某些條件、執行某些動作或者是等待某些事件。
事件（Event）指的是在時間和空間上佔有一定位置，並且對狀態機來講是有意義的那些事情。事件通常會引起狀態的變遷，促使狀態機從一種狀態切換到另一種狀態。
轉換（Transition）指的是兩個狀態之間的一種關係，表明對象將在第一個狀態中執行一定的動作，並將在某個事件發生同時某個特定條件滿足時進入第二個狀態。
動作（Action）指的是狀態機中可以執行的那些原子操作，所謂原子操作指的是它們在運行的過程中不能被其他消息所中斷，必須一直執行下去。
二、基於傳統C語言的FSM實現技術
2.1、基於switch（狀態）的實現
在實現有限狀態機時，使用switch語句是最簡單也是最直接的一種方式，其基本思路是爲狀態機中的每一種狀態都設置一個case分支，專門用於對該狀態進行控制。下面的代碼示範瞭如何運用switch語句，來實現圖1中所示的狀態機：
|
使用switch語句實現的有限狀態機的確能夠很好地工作，但代碼的可讀性並不十分理想，主要原因是在實現狀態之間的轉換時，檢查轉換條件和進行狀態轉換都是混雜在當前狀態中來完成的。例如，當城門處於Opened狀態時，需要在相應的case中調用closeDoor()函數來檢查是否有必要進行狀態轉換，如果是的話則還需要調用changeState()函數將當前狀態切換到Closed。顯然，如果在每種狀態下都需要分別檢查多個不同的轉換條件，並且需要根據檢查結果讓狀態機切換到不同的狀態，那麼這樣的代碼將是枯燥而難懂的。從代碼重構的角度來講，此時更好的做法是引入checkStateChange()和performStateChange()兩個函數，專門用來對轉換條件進行檢查，以及激活轉換時所需要執行的各種動作。這樣一來，程序結構將變得更加清晰：
|
但checkStateChange()和performStateChange()這兩個函數本身依然會在面對很複雜的狀態機時，內部邏輯變得異常臃腫，甚至可能是難以實現。
三、基於面向對象的FSM實現技術
3.1、用一個類實現FSM
class DoorFSM {
private:
States __Y;
std::queue<Event> __events;
void __processEvent( Event e );
protected:
virtual void enterOpened() = 0;
virtual void enterLocked() = 0;
virtual void enterUnlocked() = 0;
virtual void enterClosed() = 0;
public:
/* States */
enum States { Closed, Unlocked, Locked, Opened }; // states
/*Events*/
enum Event { Lock, Unlock, Open, Close };
/// Constructor
DoorFSM() { __Y = Opened; }
/// Destructor
virtual ~DoorFSM() {}
/** Get current FSM state
@returns current FSM state
*/
States currentState() { return __Y; }
/** Send event to FSM
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.
*/
void A( Event e );
};
void DoorFSM::__processEvent( Event e )
{
States yOld = __Y;
bool pass = false;
switch( __Y ) { //transitions
case Closed:
if( e == Open ) {
//outcome actions
__Y = Opened;
pass = true;
}
else if( e == Lock ) {
//outcome actions
__Y = Locked;
pass = true;
}
break;
case Unlocked:
if( e == Lock ) {
//outcome actions
__Y = Locked;
pass = true;
}
else if( e == Open ) {
//outcome actions
__Y = Opened;
pass = true;
}
break;
case Locked:
if( e == Unlock ) {
//outcome actions
__Y = Unlocked;
pass = true;
}
break;
case Opened:
if( e == Close ) {
//outcome actions
__Y = Closed;
pass = true;
}
break;
}
if( yOld == __Y && !pass ) { return; }
switch( __Y ) { // income actions
case Closed:
enterClosed();
break;
case Unlocked:
enterUnlocked();
break;
case Locked:
enterLocked();
break;
case Opened:
enterOpened();
break;
}
}
void DoorFSM::A( Event e )
{
bool __empty = __events.empty();
__events.push( e );
if( __empty ) {
while( !__events.empty() ) {
__processEvent( __events.front() );
__events.pop();
}
}
}
class DoorFSMLogic : public DoorFSM
{
protected:
virtual void enterOpened(){std::cout << "Enter Opened state." << std::endl;}
virtual void enterLocked() {std::cout << "Enter Closed state." << std::endl;}
virtual void enterUnlocked() {std::cout << "Enter Locked state." << std::endl;}
virtual void enterClosed() {std::cout << "Enter Unlocked state." << std::endl;}
};
測試程序
int main()
{
DoorFSMLogic door;
door.A(DoorFSM::Close);
door.A(DoorFSM::Lock);
door.A(DoorFSM::Unlock);
door.A(DoorFSM::Open);
}
