열거형으로 상태 기계 모델링하기

열거형은 유한 상태 머신을 모델링하는 데 적합합니다. 각 케이스가 하나의 상태이고, 전이는 다음 상태를 반환하는 함수입니다. 이 접근 방식을 사용하면 잘못된 상태를 표현할 수 없게 만들 수 있습니다.

```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 스타일 아키텍처에서는 하나의 루트 상태 구조체 안에 상태 머신을 조합합니다.

열거형 상태 머신을 컴파일 시점에 안전하게 만드는 요소는 무엇입니까?

핵심 요점: • 각 케이스는 하나의 상태이고, 전이는 다음 상태를 반환하는 함수입니다 • 연관 값은 상태별 데이터를 전달합니다 • 완전한 switch를 사용하면 컴파일러가 모든 상태를 처리하도록 강제합니다 • 순수 전이 함수는 단위 테스트하기 쉽습니다 • 여러 상태 머신을 루트 상태 구조체에 조합합니다 과정을 완료했습니다! 다음 주제: 프로토콜 조합입니다.