Mikä on never-tyyppi ja kuinka se mahdollistaa tyhjentävyyden tarkistukset?

Question

Accepted Answer

`never` on sellaisten arvojen tyyppi, jotka **eivät koskaan esiinny** — funktio, joka ei koskaan palaa (heittää poikkeuksen tai silmukoi ikuisesti), tai haara, jonka kääntäjä on todistaneet olevan mahdoton. Se on *tyhjä* tyyppi: mitään arvoa ei voi määrittää `never`-tyypille (paitsi `never` itse).

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

## Miksi never on hyödyllinen: tyhjentävyyden tarkistaminen

Kun kavennat union-tyypin ei-mikseen, TypeScript kirjoittaa jäljellä olevan arvon tyypiksi `never`. Hyödynnät tätä pakottamaan jokaisen tapauksen käsittelyä:

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

Nyt jos joku lisää `{ kind: "triangle"; ... }` `Shape`-tyyppiin mutta unohtaa tapauksen, `s` oletusarvossa on kolmio-tyyppi (ei `never`), joten `const _exhaustive: never = s` **epäonnistuu käännöksessä** — ja osoittaa sinulle tarkalleen mitkä switch-lauseke on päivitettävä.

## never vs void

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

## Miksi se on tärkeää

`never` muuttaa "käsittelinkö jokaisen tapauksen?" -kysymyksen ajon aikaisesta toivosta käännösaikaiseksi takuuksi.

Se on avain turvalliseen, tulevaisuuden kannalta kestävään diskriminoitujen unionien käsittelyyn — lisää variantti ja kääntäjä luerittelee jokaisen paikan, joka sinun on päivitettävä.