void, never และลายเซ็นฟังก์ชัน

ยินดีต้อนรับ

void: ไม่มีค่าผลลัพธ์ที่มีความหมาย

function logError(msg: string): void {
  console.error(msg);
  // implicit return undefined
}

ความแตกต่างระหว่าง void และ undefined

const fn: () => void = () => 42; // Allowed! Caller ignores return
const fn2: () => undefined = () => 42; // Error

void ในฟังก์ชันเรียกกลับ

function run(cb: () => void): void { cb(); }
run(() => 'hello'); // OK — return value ignored

never: ชนิดที่ไปไม่ถึง

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

never ในการตรวจสอบความครบถ้วน

type Shape = 'circle' | 'square';
function area(s: Shape): number {
  switch (s) {
    case 'circle': return 3.14;
    case 'square': return 1;
    default:
      const _: never = s; // Error if a new shape is added
      return 0;
  }
}

never เป็นชนิดย่อยของทุกชนิด

ลายเซ็นชนิดฟังก์ชัน

type Handler = (event: MouseEvent) => void;
type Transform = (input: string) => string;

ลายเซ็นการเรียกใช้ในอินเทอร์เฟซ

interface Formatter {
  (value: string): string;
  locale: string;
}

ลายเซ็นการสร้าง

interface Constructor {
  new (name: string): Animal;
}

การรวม void และ never ในการจัดการข้อผิดพลาด

function orThrow(val: string | null): string {
  if (val === null) fail('null!'); // never
  return val; // TypeScript knows this is reachable
}

ตรวจสอบอย่างรวดเร็ว

สรุปทบทวน