はじめに

ゲーム開発において、有限状態機械（Finite State Machine, FSM）は、オブジェクトの異なる状態における振る舞いや状態間の遷移を記述するための強力なデザインパターンです。有限の状態を持ち、それぞれの状態が独立した実装ロジックと遷移ロジックを備えています。状態はゼロ個から複数の状態へ遷移することができます。オブジェクトの異なる状態における振る舞いと状態間の遷移を記述することで、ゲーム開発者は複雑なゲームロジックを管理するための明確で効果的な方法を提供します。

有限状態機械（FSM）の概要

有限状態機械は、システムが異なる状態間で遷移する様子を記述する数学的モデルです。ゲーム開発では、このシステムは様々な振る舞いを持つ任意のエンティティ、例えばキャラクターや敵、NPCなどになります。各状態は特定の振る舞いや状態を表し、状態間の遷移は特定の条件やトリガーイベントに依存します。

FSMの基本要素

典型的なFSMは、以下の基本要素で構成されます。

1. 状態（State）

状態はFSMの基本単位であり、オブジェクトが特定の時点で持つ振る舞いを表します。ゲームでは、キャラクターの「待機」、「歩行」、「攻撃」などのアクションに対応します。

2. 遷移（Transition）

遷移は状態間の関係を定義し、どのような条件下で一つの状態から別の状態へ切り替わるかを記述します。条件は変数の値、ユーザー入力、時間など、様々なものが考えられます。

3. アクション（Action）

アクションは状態に関連付けられた具体的な振る舞いで、アニメーションの再生、属性の変更、イベントのトリガーなどを含みます。一つの状態には複数の関連アクションが存在する場合があります。

4. 状態機械コントローラ（Controller）

状態機械コントローラはFSMの管理者であり、現在の状態の監視、状態の追加、状態の遷移を担当します。

適用シナリオ

従来のAIが「待機」、「パトロール」、「追跡」、「攻撃」などの状態を切り替える場合、以下のように実装する必要があります。

if (isIdleCondition)
{
    // 待機状態へ移行
}
else if (isPatrolCondition)
{
    // パトロール状態へ移行
}
else if (isChaseCondition)
{
    // 追跡状態へ移行
}
else if (isAttackCondition)
{
    // 攻撃状態へ移行
}

このように、頻繁にif-elseやswitch文を使用すると、コードの可読性と保守性が低下し、各状態が密に結合してしまい、高凝集低結合の設計原則に反する結果となります。

では、状態機械はどのようにして上記のような複数の状態間のロジックを実現するのでしょうか？

まず、状態の抽象クラスまたはインターフェース、つまり状態の基底クラスを定義する必要があります。その中に、以下の3つの核心的なメソッドを含める必要があります。ここでは抽象クラスを使用して実装します。

/// <summary>
/// 状態開始時に実行される処理
/// </summary>
public abstract void Enter();

/// <summary>
/// 各フレームで呼び出される処理
/// </summary>
public abstract void Update();

/// <summary>
/// 状態終了時に実行される処理
/// </summary>
public abstract void Exit();

これらのメソッドは、それぞれ状態のライフサイクルに対応する処理を担当します。具体的な状態クラスはこの基底クラスを継承し、各メソッドの実装を提供します。