有限狀態機編程模式：原理、實現與應用場景

有限狀態機編程模式：原理、實現與應用場景

有限狀態機 (FSM) 以 有限狀態集合、事件/輸入、轉移函數、動作 形式化描述系統行為。廣泛用於協議解析、遊戲 AI、編譯器詞法分析、嵌入式控制邏輯。

核心要素

• States：系統可能處於的狀態 (如 IDLE, CONNECTING, CONNECTED, ERROR)。
• Events/Inputs：觸發轉移的外部輸入 (如 RECV_SYN, TIMEOUT, USER_CLICK)。
• Transitions：Current State × Event → Next State 映射表。
• Actions：進入/退出狀態、轉移時執行的副作用 (發送封包、更新 UI、寫日誌)。

實現方式對比

C 語言查表法範例

typedef enum {IDLE, CONN, AUTH, ESTAB} State;
typedef enum {EV_SYN, EV_ACK, EV_DATA, EV_FIN, EV_TIMEOUT} Event;

typedef struct { State next; void (*action)(void); } Transition;

Transition table[4][5] = {
    [IDLE]    = {{CONN, send_syn},   {IDLE, NULL}, ...},
    [CONN]    = {{IDLE, reset},      {AUTH, send_auth}, ...},
    // ...
};

State current = IDLE;
void handle_event(Event e) {
    Transition tr = table[current][e];
    if (tr.action) tr.action();
    current = tr.next;
}

設計原則

1. 單一職責：每狀態只處理相關事件。
2. 完整覆蓋：所有 (State, Event) 組合必有定義 (含錯誤轉移)。
3. 冪等性：重複事件不應導致異常副作用。
4. 可觀測性：記錄狀態變遷日誌，便於除錯。

應用場景

• 網路協議 (TCP 狀態機、HTTP 解析器、MQTT)。
• 詞法/語法分析器 (正則表達式引擎本質是 FSM)。
• 遊戲角色行為 (巡邏→追擊→攻擊→逃跑)。
• 嵌入式控制 (電梯、自動販賣機、交通燈)。
• 業務流程引擎 (訂單狀態：建立→付款→發貨→完成/退款)。

參考資源

• FSM 程式設計實踐
• 狀態模式在遊戲開發中應用

1. 上一篇文章： CUDA 共享記憶體深度解析：Bank Conflict、同步與效能優化實戰
2. 下一篇文章： CSAPP Attack Lab 緩衝區溢出完整攻略：從 Smoke 到 Nitroglycerin

關於C語言

C 語言 #define 進階技巧：宏參數連接符 ## 與 字符串化 # 實戰詳解

前言 宏定義不僅是簡單的文本替換，C 預處理器提供了 參數連

C# 3.0 入門系列（二）- 環境建置

第一篇已簡單介紹 LINQ，也提到 LINQ 是 C# 3.

C# 基類 System.Object 與存取修飾符完整指南：ToString、GetHashCode、Equals 核心方法解析

一、System.Object：所有型別的終極基類 C# 類

Objective-C AutoreleasePool自動釋放池實現原理深度剖析

Objective-C AutoreleasePool自動釋