在 2024 Web Conference 中，有講者分享了有限狀態機讓我起了興趣，因此我深入探討了有限狀態機（Finite State Machine, FSM）的應用，並體會到它在解決開發過程中常見問題上的強大威力。 作為工程師，我們經常面臨模糊的規格文件、不確定的需求，以及技術債堆積的挑戰，而 FSM 正是幫助我們從混亂中找到清晰方向的關鍵工具。 本文將帶你全面了解 FSM 的核心概念、實際應用，以及如何透過 XState 函式庫將其效能發揮到極致，進一步提升程式碼的可維護性與測試質量。 有限狀態機的核心概念 有限狀態機是一種數學模型，用於描述系統在不同狀態之間的轉換。它的結構簡單但功能強大，能夠有效地將複雜的系統行為分解為可控的狀態與轉換規則。 FSM 的三大組成部分： 狀態（State） 系統的當前情況或階段。例如，在電商網站中，購物車可能處於「空的」、「有商品」或「結帳中」的狀態。 事件（Event） 觸發狀態轉換的外部或內部因素。例如，