never türü nedir ve exhaustiveness checks'i nasıl etkinleştirir?

Question

IT Interview Practice · Accepted Answer

`never`, **hiçbir zaman gerçekleşmeyen** değerlerin türüdür — asla return yapmayan (throw eden ya da sonsuz döngüye giren) bir fonksiyon ya da derleyicinin imkansız olduğunu kanıtladığı bir dal. Bu *boş* bir türdür: hiçbir değer `never`'a atanabilmez (kendisi hariç).

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

## never neden yararlı: exhaustiveness checking

Bir union'ı hiçbir şeye daraltıdığınızda, TypeScript kalan değerin türünü `never` olarak belirler. Bunu her durumu işlemeye zorlamak için kullanırsınız:

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

Şimdi birisi `{ kind: "triangle"; ... }` öğesini `Shape`'e ekler ama bir durum için forget ederse, default'taki `s` üçgen türüdür (never değil), bu nedenle `const _exhaustive: never = s` **derleme başarısız olur** — tam olarak hangi switch'i güncellemeniz gerektiğini gösterir.

## never vs void

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

## Neden önemli

`never`, "her durumu işledim mi?" sorusunu çalışma zamanı umudu olmaktan derlenme zamanı garantisine dönüştürür.

Bu, discriminated union'ları güvenle ve geleceğe hazır şekilde işlemenin anahtarıdır — bir variant ekleyin ve derleyici güncellemeniz gereken her yeri sayar.

never neden yararlı: exhaustiveness checking

never vs void

Neden önemli

İlgili sorular