Što je korisnički definirani tip čuvara?

Question

Accepted Answer

**Korisnički definirani tip čuvara** je funkcija čiji je povratni tip **tip predikat** (`x is T`). Kada vraća `true`, kompajler sužava argument na `T` u pozivanom kodu — omogućujući vam enkapsulaciju prilagođenih provjera izvršavanja.

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

Bez predikata `pet is Cat`, `isCat` koji vraća `boolean` *neće* sužiti `pet` — kompajler bi i dalje vidio `Cat | Dog` unutar `if`. Predikat je ono što ga poučava.

## Validacija nepoznatih vanjskih podataka

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

## Upozorenje

Kompajler **vjeruje** vašem predikatu — ako je logika tijela pogrešna, dobijate nesigurno sužavanje. Za složene oblike, validacijski alat sheme (zod) generiše ispravne čuvare za vas.

## Zašto je to važno

Tip čuvari vam omogućavaju pretvaranje proizvoljnih provjera izvršavanja u ponovno iskoristive funkcije sužavanja — bitno za validaciju `unknown` podataka na granicama API-ja i za razlikovanje članova unije kada jednostavna `typeof`/`in` provjera nije dovoljna sama po sebi.