Cad is aontas idirdhealaithe ann agus cén fáth a bhfuil sé cumhachtach?

Question

Accepted Answer

Is **aontas (lipéadaithe) idirdhealaithe** a bhíonn ann ina bhfuil aontas de chineálacha réada a bhíonn roinnt réimse litriúil coiteann acu — an **idirdhealaitheoir** — a úsáideann an tiomsaitheoir chun na leaganacha a scaradh ó chéile agus a chúngú go sábháilte.

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

Bíonn `status` litriúil ag gach ball. Má dhéantar é a sheiceáil, cuingítear go díreach ar aon leagan amháin, agus a réimsí sin a nochtadh:

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

Má dhéanann tú iarracht ar `r.data` a rochtain sa chás `loading`, is earráid tiomsúcháin a bhíonn ann — cuireann an córas cineáil in ionad teimpléad neamhbhailí *gan ionadaitheoireachta*.

## Seiceáil iomlánachta

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

Cuireann an sannadh `never` iachall ort gach cás a láimhseáil — cuir stádas nua leis agus taispeánann an tiomsaitheoir duit gach soicéad a bhfuil gá le nuashonrú a dhéanamh orthu.

## Cén fáth a bhfuil sé tábhachtach

Is iad aontais idirdhealaithe an dóigh idiomaíticiúil chun stádas a shamhaltú (ag lódáil/rath/earráid), imeachtaí/gníomhartha (laghdaitheoirí Redux), agus aon "ceann amháin ar roinnt cruthanna" sonraí.

Déanann siad stáit dhíobhálach dodhéanta agus, leis an "never" trick, tugann siad duit iomlánacht thiomsúcháin - buachan sábháilteachta ollmhór thar shamhaltú scaoilte `boolean`/réimse roghnach.