Što je `never` tip i kako omogućava provjere iscrpnosti?

Question

Accepted Answer

`never` je tip vrijednosti koja **nikada ne nastaje** — funkcija koja nikada ne vraća rezultat (baca iznimku ili vječno petlja), ili grana koju je kompajler dokazao da je nemoguća. To je *prazan* tip: nijedna vrijednost se ne može dodijeliti `never` (osim `never` samog).

```ts
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
```

## Zašto je `never` koristan: provjere iscrpnosti

Kada suzite union na ništavnost, TypeScript preostalu vrijednost tipizira kao `never`. Koristite ovo kako biste natjerali rukovanje svakim slučajem:

```ts
type Shape =
  | { kind: "circle"; r: number }
  | { kind: "square"; side: number };

function area(s: Shape): number {
  switch (s.kind) {
    case "circle": return Math.PI * s.r ** 2;
    case "square": return s.side ** 2;
    default:
      // if all cases are handled, s is `never` here — assignment OK
      const _exhaustive: never = s;
      return _exhaustive;
  }
}
```

Ako netko doda `{ kind: "triangle"; ... }` u `Shape` ali zaboravi na slučaj, `s` u default-u je tip trokuta (nije `never`), pa `const _exhaustive: never = s` **ne uspije kompajlirati** — pokazujući vam točno switch koji treba ažurirati.

## `never` vs `void`

```ts
function a(): void {}   // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
```

## Zašto je to važno

`never` pretvara "jesam li rukovao svakim slučajem?" iz nadzora tijekom izvođenja u jamstvo tijekom kompajliranja.

To je ključ za sigurnu, budućnosti otpornu obradu diskriminiranih uniona — dodajte varijantu i kompajler nabroji svako mjesto gdje morate ažurirati.

Zašto je never koristan: provjere iscrpnosti

never vs void

Zašto je to važno

Zašto je `never` koristan: provjere iscrpnosti

`never` vs `void`