一個有限狀態機的C++實現

有限狀態機：表示有限個狀態以及在這些狀態之間的轉移和動作等行為的數學模型。它對數字系統的設計具有十分重要的作用。常見的計算機就是使用有限狀態機作為計算模型的；電腦遊戲設計中也經常使用有限狀態機模型。本文就講講一個狀態機的C++實現。

PS：豐富的一線技術、多元化的表現形式，盡在“HULK一線技術雜談”，點關注哦！

1. 根據業務需要, 拆解抽象出若干個不同狀態 State, 並確定此狀態機的初始狀態;

2. 根據實現需要, 抽象出用於觸發狀態轉換的事件 Event;

3. 為了處理一個Event, 需要定義狀態的轉換過程Transition;

4. 狀態機要先判斷當前所處的狀態是否與當前發生的Event匹配(注意: 相同的狀態可能同時匹配多個Event)。

1. MachineSet可以同時管理多個Machine;

2. 外部觸發的Event進入到MachineSet的事件佇列;

3. 事件佇列裡的Event被順序處理, 被Dispatch到match的Machine;

4. Machine根據當前的所處的state和Event型別來判斷當前Event是否有效;

5. 如果上面(4)中的Event有效, 則進行狀態轉換;

6. 狀態轉換具體來說涉及到三個回撥函式:

            6.1 當前state離開, 是第一個回撥,需要使用者根據實際需要處理;

            6.2 trasition這個轉換過程, 是第二個回撥;
            6.3 新state的進入, 是第三個回撥;

MachineSet,
Machine,
Event,
Transition,
Predicate

1. 直接使用MachineSet提供的StartBackground, 開啟一個work thread, 在這個work thread中不斷從儲存event的fifo佇列中獲取event後dispatch到各個machine;

2. 不使用MachineSet提供的event fifo, 實現自己的MachineSetHandler, 將其例項註冊到MachineSet, 從event的派發;

MachineSet：/blob/master/fsm/machine_set.h

Machine：/blob/master/fsm/machine.h

Event:/blob/master/fsm/event.h

Transition:/blob/master/fsm/transition.h

Predicate:/blob/master/fsm/transition_predicate.h

kuafu::StateMachine:/blob/master/fsm/machine.h

HULK一線技術雜談