Co jsou stavové automaty a kdy jsou užitečné?

Question

Accepted Answer

**Stavový automat** modeluje systém jako konečnou sadu **stavů** a povolených **přechodů** mezi nimi. Místo aby se zabýval nezávislými logickými příznaky, přesně definujete, které stavy existují a které přechody jsou legální — čímž učiníte nemožné stavy nereprezentovatelné.

## Problém: boolean soup

```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
```

S nezávislými příznaky nic nebrání sporným kombinacím a vy musíte ručně zajistit jejich konzistenci při každém přechodu — zdroj chyb.

## Model stavového automatu

```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
}
```

Jedina proměnná `state` udržuje aktuální stav; `event` spouští *definovaný* přechod. Nelegální přechody (např. SUCCESS v nečinnosti) jednoduše nemůžou nastat — nemožné stavy jsou návrhem vyloučeny.

## Skutečné nástroje: 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" } },
  },
});
```

## Kdy jsou stavové automaty užitečné

```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
```

## Proč je to důležité

Stavové automaty vnášejí přesnost do komplexní stavové logiky tím, že činí **neplatné stavy nemožnými** a přechody **explicitními** — nahrazujícím choulostivé kombinace logických příznaků jasným, vyčerpávajícím modelem.

Sobláště jsou cenné pro složité toky (průvodci, platby, autentifikace, média), kde boolean soup vede na jemné, těžko reprodukovatelné chyby.

I neformálně (`status` enum) myšlenka zlepšuje asynchronní stav; formálně (XState) poskytuje vizualizovatelnou, testovatelnou a robustní logiku.

Vědět, kdy si jich vzít, je znakem zralého návrhu stavů.