Kaj je varnostnik tipa, ki ga opredeli uporabnik?

Question

Accepted Answer

**Varnostnik tipa, ki ga opredeli uporabnik**, je funkcija, katere tip vrnjene vrednosti je **predikat tipa** (`x is T`). Kadar vrne `true`, kompilator omejši argument na `T` v kodi, ki jo kliče — kar vam omogoča inkapsuacijo po meri pripravljenih preverk med izvajanjem.

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

Brez predikata `pet is Cat` bi `isCat`, ki vrača `boolean`, *ne* omejšal `pet` — kompilator bi še vedno videl `Cat | Dog` znotraj `if`. Predikat je tisto, kar ga tega nauči.

## Validacija neznanih zunanjih podatkov

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

## Opozorilo

Kompilator **zaupa** vašemu predikatu — če je logika v telesu napačna, dobite nevarno omejšanje. Za kompleksne oblike generator sheme validator (zod) zame ustvari pravilne varnostnike.

## Zakaj je to pomembno

Varnostniki tipov vam omogočajo, da poljubne preverk med izvajanjem pretvorite v ponovno uporabljive funkcije omejšanja — bistveno za validacijo podatkov `unknown` na mejah API-ja in za razlikovanje članov unije, kadar preprost preverk `typeof`/`in` sam po sebi ni dovolj.