Kaj je tip `never` in kako omogoča preverjanja izčrpanosti?

Question

Accepted Answer

`never` je tip vrednosti, ki se **nikoli ne pojavijo** — funkcija, ki se nikoli ne vrne (baci izjemo ali se zatiče v neskončni zanki), ali veja, ki jo je kompilator dokazal kot nemogoče. To je *prazen* tip: nobena vrednost ne more biti dodeljena `never` (razen samega `never`).

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

## Zakaj je never uporaben: preverjanje izčrpanosti

Ko zožiš unijo na nič, TypeScript preostali vrednosti dodeli tip `never`. To izkoriščaš, da prisilijš obdelavo vsakega primera:

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

Na zdaj, če nekdo doda `{ kind: "triangle"; ... }` k `Shape`, vendar pozabi en primer, je `s` v privzeti veji tip triangle (ne `never`), zato `const _exhaustive: never = s` **ne prevede** — in te natančno kaže na switch, ki ga moraš posodobiti.

## never vs void

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

## Zakaj je to pomembno

`never` spremeni vprašanje "ali sem obdelal vsak primer?" od upanja med izvajanjem v jamstvo med prevajanjem.

To je ključ do varnega, na prihodnost odpornega rokovenja z diskriminiranimi unijami — dodaj spremenljivko in kompilator našteje vsakdo, ki ga moraš posodobiti.