Mik az állapotgépek és mikor segítenek?

Question

Accepted Answer

Az **állapotgép** egy rendszert **állapotok** véges halmazaként és az azok közötti megengedett **átmenetekként** modellez. Az független boolean zászlókkal való küzdelem helyett pontosan definiálja, mely állapotok léteznek és mely átmenetek jogosultak — így az lehetetlen állapotok reprezentálhatatlanok.

## The problem: 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
```

Független zászlókkal semmi sem akadályozza meg az ellentmondásos kombinációkat, és minden átmeneténél manuálisan konzisztensnek kell lenni — a hibák mágnese.

## The state-machine model

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

Egy single `state` változó tartalmazza az aktuális állapotot; az `event` egy *definiált* átmenettet aktivál. Az illegális átmenetek (pl. SUCCESS nyugodt állapotban) egyszerűen nem fordulhatnak elő — a lehetetlen állapotok tervezés szerint eltűntek.

## Real-world tooling: 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" } },
  },
});
```

## When state machines help

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

## Miért fontos

Az állapotgépek szigort hoznak az összetett, állapotokkal rendelkező logikához azáltal, hogy **lehetetlen állapotokat lehetetlenné** és az átmeneteket **kifejezettézzé** tesznek — helyettesítve a boolean értékek törékenyen kombinációit egy egyértelmű, kimerítő modellel.

Különösen értékesek összetett folyamatok (varázslók, fizetések, hitelesítés, média) számára, ahol a boolean chaos finom, nehezen reprodukálható hibákhoz vezet.

Még informálisan is (egy `status` enum) az ötlet javít az aszinkron állapoton; formálisan (XState) vizualizálható, tesztelhető, robusztus logikát nyújt.

Tudni, hogy mikor érdemes rájuk nyúlni, a felnőtt állapottervezés ismertetőjele.