ما هي آلات الحالة ومتى تكون مفيدة؟

Question

Accepted Answer

تقوم **آلة الحالة** بنمذجة نظام كمجموعة محدودة من **الحالات** بالإضافة إلى **الانتقالات** المسموحة بينها. بدلاً من التعامل مع أعلام منطقية مستقلة، تحدد بدقة أي حالات موجودة وأي انتقالات قانونية — مما يجعل الحالات المستحيلة غير قابلة للتمثيل.

## المشكلة: فوضى العلامات المنطقية

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

مع الأعلام المستقلة، لا شيء يوقف المجموعات المتناقضة، وعليك الحفاظ على اتساقها يدويًا في كل انتقال — وهذا مصدر أخطاء.

## نموذج آلة الحالة

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

متغير `state` واحد يحتفظ بالحالة الحالية؛ `event` يؤدي إلى انتقال *محدد*. الانتقالات غير القانونية (مثل SUCCESS أثناء الخمول) ببساطة لا يمكن أن تحدث — الحالات المستحيلة اختفت بالتصميم.

## أدوات واقعية: 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" } },
  },
});
```

## متى تكون آلات الحالة مفيدة

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

## لماذا يهم الأمر

تجلب آلات الحالة الدقة إلى المنطق الحالي المعقد بجعل **الحالات غير الصحيحة مستحيلة** والانتقالات **صريحة** — مما يحل محل الجمع الهش من العلامات المنطقية بنموذج واضح وشامل.

هي ذات قيمة خاصة للتدفقات المعقدة (المعالجات، الدفع، المصادقة، الوسائط) حيث تؤدي فوضى العلامات المنطقية إلى أخطاء دقيقة وصعبة التكرار.

حتى بشكل غير رسمي (`status` enum) تحسن الفكرة الحالة غير المتزامنة؛ بشكل رسمي (XState) توفر منطقًا قابلًا للتصور والاختبار والقوة.

معرفة متى تلجأ إليها هي علامة على نضج تصميم الحالة.