Cad is gardáil chineáil a shainmhíníonn úsáideoir ann?

Question

Accepted Answer

Is **gardáil chineáil a shainmhíníonn úsáideoir** ná feidhm ar is **réamhaisnéis chineáil** (`x is T`) an cineál tuairiscithe aici. Nuair a thagann `true` ar ais aici, cuireann an compiler an argóint i leith `T` sa chód glaoch — ag ligint duit sheiceálacha reatha saincheaptha a chartlannú.

```ts
interface Cat { meow(): void; }
interface Dog { bark(): void; }

// the magic is the return type `pet is Cat`, not just `boolean`
function isCat(pet: Cat | Dog): pet is Cat {
  return "meow" in pet;
}

function speak(pet: Cat | Dog) {
  if (isCat(pet)) {
    pet.meow(); // ✅ narrowed to Cat
  } else {
    pet.bark(); // ✅ narrowed to Dog
  }
}
```

Mura bheadh an réamhaisnéis `pet is Cat` ann, níor dhéanfadh `isCat` ar ais `boolean` *gan* `pet` a chaolú — bhraithfeadh an compiler `Cat | Dog` fós taobh istigh an `if`. Is an réamhaisnéis an rud a dhéanann foghlaim air.

## Bailíochtú sonraí seachtracha anaithnide

```ts
interface User { id: number; name: string; }

function isUser(x: unknown): x is User {
  return (
    typeof x === "object" && x !== null &&
    typeof (x as any).id === "number" &&
    typeof (x as any).name === "string"
  );
}

const data: unknown = await res.json();
if (isUser(data)) data.name; // ✅ safely typed as User
```

## Rabhadh

Muinín a bhíonn ag an compiler as do réamhaisnéis — má tá an loighic sa chorp mícheart, bíonn caolú neamhsábháilte ar fáil. I gcás cruthanna casta, gineann bailíotheoir scéama (zod) gardálacha cearta duit.

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

Ligean do thú gardálacha cineáil seiceálacha reatha treallach a iompú ina bhfeidhmeanna caolúcháin athúsáidte — riachtanach do shonraí `unknown` a bhailíochtú ag teorainneacha APIanna agus do bhallraí aontas a idirdhealú nuair nach leor seiceáil shimplí `typeof`/`in` ina éadan féin.