एक विभेदित संघ (discriminated union) क्या है और यह शक्तिशाली क्यों है?

Question

Accepted Answer

एक **विभेदित (टैग किया गया) संघ** ऑब्जेक्ट प्रकारों का एक संघ है जो सभी एक सामान्य शाब्दिक फ़ील्ड साझा करते हैं — **विभेदक** — जिसका उपयोग कंपाइलर विविधताओं को अलग करने और सुरक्षित रूप से संकुचित करने के लिए करता है।

```ts
type Result =
  | { status: "loading" }
  | { status: "success"; data: string }
  | { status: "error"; message: string };
```

प्रत्येक सदस्य के पास `status` शाब्दिक है। इसे जांचने से बिल्कुल एक प्रकार तक सीमित हो जाता है, उस प्रकार की फ़ील्ड को अनलॉक करता है:

```ts
function render(r: Result) {
  switch (r.status) {
    case "loading": return "...";
    case "success": return r.data;     // ✅ data exists only here
    case "error":   return r.message;  // ✅ message exists only here
  }
}
```

यदि आप `loading` स्थिति में `r.data` को एक्सेस करने का प्रयास करते हैं, तो यह एक संकलन त्रुटि है — प्रकार प्रणाली अमान्य संयोजन को *प्रतिनिधित्वहीन* बनाती है।

## संपूर्णता जांच

```ts
function render2(r: Result): string {
  switch (r.status) {
    case "loading": return "...";
    case "success": return r.data;
    case "error":   return r.message;
    default:
      const _exhaustive: never = r; // ✅ if you add a variant and forget a case, this errors
      return _exhaustive;
  }
}
```

`never` असाइनमेंट आपको हर स्थिति को संभालने के लिए मजबूर करता है — एक नई स्थिति जोड़ें और कंपाइलर आपको हर switch पर इंगित करता है जिसे अपडेट की आवश्यकता है।

## यह क्यों महत्वपूर्ण है

विभेदित संघ स्थिति को मॉडल करने (लोडिंग/सफलता/त्रुटि), घटनाओं/क्रियाओं (Redux reducers), और किसी भी "कई आकार में से एक" डेटा का मुहावरेदार तरीका है।

वे अवैध स्थितियों को असंभव बनाते हैं और, `never` ट्रिक के साथ, आपको संकलन-समय पूर्णता देते हैं — ढीले `boolean`/optional-field मॉडलिंग पर एक बड़ी सुरक्षा जीत।