Comments / Profile of bubuh / Habr

Алексей @bubuh

iOS developer

Profile Publications Comments 49Bookmarks 476

bubuh May 1 2022 at 16:36

Я активно занимался внедрением Finite-State Machine у себя на работе и безусловно это одно из самых лучших паттернов в мобильной разработке. Большая часть работы приложения это реакция на события, это может быть состояние об Интернет соединении, запуск приложения, аутентификация пользователя и т.п. В результате бизнес логика может распределена по зоне ответственности более детально. В тоже самое время состояния очень легко тестировать, потому как они отвечают только за переход от текущего состояние в некое следующее по заданным правилам.

В целом состояние можно описать следующим образом:

Тип состояния содержит список состояний, список событий и функцию редуктера (reducer), которая мутирует состояние.

Сама по себе машина состояния это просто менеджер или тот кто владеет состоянием и может его изменить через редуктор. Здесь важно понимать что извне состояние нельзя изменить в обход машины состояния. Можно только прочитать текущее значение или подписаться не его изменение.

Изменение состояния через машину состояния

Запрет на изменение состояния в обход владельца состояния

Для реализации данного подхода вам необходимо определить протокол состояния который может выглядеть следующий образом:

protocol StateType: Equatable {
    associatedtype Event
    associatedtype Command = Void
    
    /// The initial state.
    static var initial: Self { get }
    
    /// Updates the current state to a new state caused by a given event.
    @discardableResult
    mutating func reduce(with event: Event) -> Command
}

Command по умолчанию может никак не использовать машиной состояния, но может быть очень полезен для дополнительных действий со стороны машины состояния. В некоторых случаешь состояние может перейти в такой случай где менеджеру (машине состояния) необходимо подсказка как интерпретировать одно и тоже состояние для разных возможных действий со стороны менеджера.

Ну и последнее приведу более менее близкий к реальности пример состояния: https://gist.github.com/buh/63e1dd41b267bb65baacf03b8557786a

В реальном приложении состояние аутентификации имеет больше событий и состояний переходов, но главное, что при переходи на "чистую" машину состояний целостность, изоляция бизнес логики и отказоустойчивость повысилась значительно.