列挙型による状態機械のモデル化

enumは有限ステートマシンのモデル化に適しています。各caseが1つの状態を表し、遷移は次の状態を返す関数として定義します。この方法により、不正な状態を表現できないようにできます。

```swift enum TrafficLight { case red, yellow, green func next() -> TrafficLight { switch self { case .red: return .green case .green: return .yellow case .yellow: return .red } } } var light = TrafficLight.red light = light.next() // .green ```

```swift enum LoadState { case idle case loading(progress: Double) case loaded(T) case failed(Error) } var state: LoadState<[String]> = .idle state = .loading(progress: 0.5) state = .loaded(["alice","bob"]) ```

```swift func transition(_ state: LoadState, event: AppEvent) -> LoadState { switch (state, event) { case (.idle, .startFetch): return .loading(progress: 0) case (.loading, .progress(let p)): return .loading(progress: p) case (.loading, .success(let d)): return .loaded(d) case (.loading, .error(let e)): return .failed(e) default: return state } } ```

利点: • 網羅的なswitch — コンパイラーがすべての状態の処理を強制します • 不正な組み合わせが不可能です（たとえば、データのない`loaded`） • 状態は値なので、テスト、コピー、ログ出力が簡単です • UIは状態に応じてswitchし、適切に描画できます

```swift func render(_ state: LoadState<[User]>) { switch state { case .idle: showEmptyView() case .loading(let p): showProgress(p) case .loaded(let users): showList(users) case .failed(let err): showError(err) } } ```

```swift enum PlayerState { case stopped case playing(track: String, position: TimeInterval) case paused(track: String, position: TimeInterval) } ``` トラックを持つのは`playing`と`paused`だけで、`stopped`は持ちません。そのため、モデル自体が内容を明確に示します。

```swift extension PlayerState { mutating func play(track: String) { guard case .stopped = self else { return } self = .playing(track: track, position: 0) } mutating func pause() { if case .playing(let t, let p) = self { self = .paused(track: t, position: p) } } } ```

```swift func testLight() { var l = TrafficLight.red assert(l.next() == .green) assert(l.next().next() == .yellow) } ``` 純粋な遷移関数を使うステートマシンは簡単にユニットテストでき、モックも必要ありません。

大規模なアプリでは、複数のステートマシンが連携して動作することがよくあります。 ```swift struct AppState { var auth: AuthState var data: LoadState<[Article]> var ui: UIState } ``` Flux/Reduxスタイルのアーキテクチャでは、単一のルート状態structにまとめます。

重要なポイント: • 各caseが状態を表し、遷移は次の状態を返す関数です • 関連値によって、状態固有のデータを保持できます • 網羅的なswitchにより、コンパイラーがすべての状態の処理を強制します • 純粋な遷移関数はユニットテストが簡単です • 複数のステートマシンをルート状態structにまとめられます コース完了です！次は、プロトコル合成です。