Hvad er never-typen, og hvordan muliggør det udmattelses checks?

Question

Accepted Answer

`never` er typen for værdier, der **aldrig forekommer** — en funktion, der aldrig returnerer (kaster eller looper for evigt), eller en gren, som compileren har bevist er umulig. Det er den *tomme* type: ingen værdi kan tildeles `never` (bortset fra `never` selv).

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

## Hvorfor never er nyttigt: udmattelses kontrol

Når du indsnævrer en union til intet, skriver TypeScript den resterende værdi som `never`. Du udnytter dette til at tvinge håndtering af hvert tilfælde:

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

Nu hvis nogen tilføjer `{ kind: "triangle"; ... }` til `Shape`, men glemmer et tilfælde, er `s` i default-tilfeldet trekant-typen (ikke `never`), så `const _exhaustive: never = s` **mislykkes at kompilere** — og peger dig direkte på den switch, der skal opdateres.

## never vs void

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

## Hvorfor det er vigtigt

`never` ændrer "har jeg håndteret hvert tilfælde?" fra et runtime-håb til en kompilerings tid-garanti.

Det er nøglen til sikker, fremtidssikker håndtering af diskriminerede unioner — tilføj en variant, og compileren opregner hvert sted, du skal opdatere.