TypeScript Never Type คืออะไร? คู่มือฉบับสมบูรณ์สำหรับนักพัฒนาขั้นสูง

สำหรับนักพัฒนาที่ทำงานกับระบบขนาดใหญ่และซับซ้อน การจัดการประเภทข้อมูลอย่างแม่นยำถือเป็นรากฐานสำคัญของโค้ดที่มีเสถียรภาพ หนึ่งในเครื่องมือขั้นสูงที่สุดที่ TypeScript มอบให้คือ ‘Never Type’ ซึ่งไม่ใช่แค่คำจำกัดความทางเทคนิค แต่เป็นการรับประกันระดับโครงสร้างว่าค่าหรือสถานการณ์บางอย่างนั้นไม่สามารถเกิดขึ้นได้จริงตามตรรกะที่เรากำหนด

TypeScript Never Type คืออะไร?

โดยพื้นฐานแล้ว `never` เป็น Primitive Type ในไทป์สคริปต์ มันไม่ได้หมายถึงการไม่มีอยู่ของสิ่งใดเลย แต่มันบ่งชี้แทนฟังก์ชัน หรือตัวแปร ที่ถูกพิสูจน์เชิงวิเคราะห์ (analytically proven) ว่าจะไม่คืนค่ากลับมาสู่กระแสโปรแกรมหลัก ไม่ว่าจะเกิดข้อยกเว้นหรือไม่ก็ตาม ค่าชนิดนี้จึงมีประโยชน์มหาศาลในการบังคับใช้ข้อสัญญาด้านดีไซน์และการตรวจสอบ Exhaustiveness ของ Union Types.

บทบาทลึก ๆ: เมื่อไรควรใช้อะไรเพื่อระบุว่าเป็น ‘Never’

• Error Handling: สถานการณ์ทั่วไปที่คุณจะพบการใช้งานมากที่สุดคือเมื่อคุณเขียน function เพื่อโยน Exception ออกไป เช่น หากมีการเรียก throw new Error("Invalid state!") ตัว Function ดังกล่าวจะมี Signature การส่งคืนประเภทเป็น `(): never` เพราะมันจบลงด้วยการยกเลิกการทำงานทันที
• Infinite Loops และ Guardsheets: คุณสมบัติที่ทรงพลังอีกอย่างคือการสร้าง ‘Guard’ สำหรับ Switch Statements ขนาดใหญ่ โดยเฉพาะกับ Discriminated Unions ซึ่งทำให้ TypeScript สามารถยืนยันได้ว่าโค้ดภายใน Block นั้นครอบคลุมทุกกรณีที่เป็นไปได้แล้ว ถ้ายังมีเคสขาดหายไประบบก็จะแจ้งเตือนในขณะคอมไพล์เวลา ทำให้เรามั่นใจได้อย่างแท้จริงว่าไม่มีทางหลุดออกจากตรรกะของ Type ได้เลย.

function processState(state: "loading" | "success" | "error") {
  switch (state) {
    case "loading": return true;
    // ... case อื่นๆ 
    default:
      never; // บังคับให้ compiler รู้ว่าถึงจุดนี้ไม่ควรมีค่าใด ๆ กลับมา
   }
}
const checkExhaustiveness = require('assert');
try { checkExhaustiveness(() => {}); } catch(e) {}