Kaj so avtomati stanj in kdaj pomagajo?

Question

Accepted Answer

**Avtomat stanj** modelira sistem kot končno množico **stanj** ter dovoljena **prehoda** med njimi. Namesto da bi se boril s samostojnimi boolean zastavicami, natančno določiš, katera stanja obstajajo in kateri prehodi so dovoljeni — zaradi česar so nemogoča stanja nereprezentabilna.

## Problem: boolean zmešnjava

```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 samostojnimi zastavicami nič ne preprečuje protislovnih kombinacij, in na vsakem prehodu jih moraš ročno ohranjati dosledne — magnet za napake.

## Model avtomata stanj

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

Ena sama spremenljivka `state` drži trenutno stanje; `event` sproži *definirani* prehod. Nezakoniti prehodi (npr. SUCCESS med mirnim stanjem) preprosto ne morejo nastati — nemogoča stanja so po zasnovi izginila.

## Orodja v resničnem svetu: 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" } },
  },
});
```

## Kdaj avtomati stanj pomagajo

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

## Zakaj je važno

Avtomati stanj prinašajo natančnost v kompleksno logiko stanja, tako da naredijo **neveljavna stanja nemogoča** in prehode **eksplicitne** — zamenjajo krhke kombinacije boolean vrednosti z jasnim, izčrpnim modelom.

So posebej dragoceni za zapletene tokove (čarovniki, plačila, avtentikacija, mediji), kjer boolean zmešnjava vodi do subtilnih, težko ponovljivih napak.

Celo neformalno (enum `status`) ideja izboljša asinkreno stanje; formalno (XState) zagotavlja vizualizabilno, testabilno, robustno logiko.

Vedeti, kdaj se zanje odločiti, je znak zrelega oblikovanja stanj.