ประเภท never คืออะไร และมันช่วยให้ exhaustiveness checks ทำงานได้อย่างไร?

Question

Accepted Answer

`never` คือประเภทของค่าที่ **ไม่เคยเกิดขึ้น** — ฟังก์ชันที่ไม่เคยคืนค่า (โยนหรือวนลูปตลอดไป) หรือสาขาที่คอมไพลเลอร์ได้พิสูจน์ว่าเป็นไปไม่ได้ มันคือประเภท *ว่างเปล่า*: ไม่มีค่าใดที่สามารถกำหนดให้กับ `never` (ยกเว้น `never` เอง)

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

## เหตุใด never จึงมีประโยชน์: exhaustiveness checking

เมื่อคุณจำกัด union ให้เหลือไม่มีอะไร TypeScript จะพิมพ์ค่าที่เหลือเป็น `never` คุณใช้ประโยชน์นี้เพื่อบังคับให้จัดการทุกกรณี:

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

ตอนนี้ถ้ามีใครเพิ่ม `{ kind: "triangle"; ... }` ไปยัง `Shape` แต่ลืมกรณีหนึ่ง `s` ในค่าเริ่มต้นจะเป็นประเภทสามเหลี่ยม (ไม่ใช่ `never`) ดังนั้น `const _exhaustive: never = s` **ไม่สามารถรวบรวมได้** — ชี้ไปยังสวิตช์ที่คุณต้องอัปเดตอย่างแน่นอน

## never vs void

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

## เหตุใดจึงมีความสำคัญ

`never` เปลี่ยน "ฉันจัดการทุกกรณีแล้วหรือ?" จากความหวังในเวลาทำงานเป็นการรับประกันเวลาคอมไพล์

มันคือกุญแจสำหรับการจัดการ discriminated unions ที่ปลอดภัยและปลอดโปรแกรม — เพิ่มตัวแปรและคอมไพลเลอร์จะนับทุกที่ที่คุณต้องอัปเดต