Kas yra būsenos automata ir kada jie padeda?

Question

Accepted Answer

**Būsenos automatas** modeliuoja sistemą kaip baigtinį **būsenų** rinkinį ir leistinius **perėjimus** tarp jų. Vietoj to, kad žongliruotumėte nepriklausomais loginiais žymėjimais, jūs tiksliai apibrėžiate, kurios būsenos egzistuoja ir kurie perėjimai yra teisingi — padarydami neimanomas būsenas nevaizduojamomis.

## Problema: loginių reikšmių sriubė

```js
// ❌ multiple booleans → 2^n combinations, many of them invalid
const [isLoading, setLoading] = useState(false);
const [isError, setError] = useState(false);
const [isSuccess, setSuccess] = useState(false);
// { isLoading: true, isError: true, isSuccess: true } — nonsense, but POSSIBLE
```

Su nepriklausomais žymėjimais, niekas nesustabdo prieštaringų kombinacijų, ir jūs turite rankiniu būdu išlaikyti nuoseklumą kiekviename perėjime — klaidų pristaiga.

## Būsenos automato modelis

```text
States:      idle → loading → success
                       ↓
                     error → (retry) → loading

Only defined transitions are allowed; you can't be in two states at once.
```

```js
const machine = {
  idle:    { FETCH: "loading" },
  loading: { SUCCESS: "success", ERROR: "error" },
  success: { FETCH: "loading" },
  error:   { RETRY: "loading" },
};
function transition(current, event) {
  return machine[current][event] ?? current; // only legal transitions happen
}
```

Viena `state` kintamoji laiko dabartinę būseną; `event` suaktyvintas *apibrėžtas* perėjimas. Neleistini perėjimai (pvz., SUCCESS, kai neveiklus) paprasčiausiai negali atsitikti — neimanomas būsenos panaikintos pagal dizainą.

## Tikrasis įrankis: XState

```js
// libraries like XState formalize this with guards, actions, nested/parallel states
const toggleMachine = createMachine({
  initial: "inactive",
  states: {
    inactive: { on: { TOGGLE: "active" } },
    active:   { on: { TOGGLE: "inactive" } },
  },
});
```

## Kada būsenos automatai padeda

```text
✓ Complex flows with many states: checkout, multi-step forms/wizards, media players
✓ Authentication flows (logged out → logging in → logged in → refreshing)
✓ Anything where invalid state combinations cause bugs
✗ Overkill for simple toggles or trivial state
```

## Kodėl tai svarbu

Būsenos automatai neša griežtumą sudėtingai būsenoje esančiai logikai, darodami **negalilas būsenas neįmanomomis** ir perėjimus **aiškiais** — pakeičiant trapias loginių reikšmių kombinacijas aiškiu, visišku modeliu.

Jie ypač vertingi sudėtingiems srautams (vedliai, mokėjimai, autentifikacija, medija), kur loginių reikšmių sriubė sukelia subtilias, sunkiai atkurtiinas klaidas.

Net neoficialiai (`status` enum) idėja pagerina asinchroninę būseną; oficialiai (XState) ji suteikia vizualizuojamą, testuojamą, patvarią logiką.

Žinoti, kada jų imtis, yra brandios būsenos dizaino ženklas.