ตรวจสอบความครอบคลุมทุกกรณีด้วย never

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

ปัญหาการตรวจสอบความครบถ้วน

type Shape = 'circle' | 'square';
function area(s: Shape): number {
  if (s === 'circle') return 3.14;
  if (s === 'square') return 1;
  // What if we add 'triangle'?
}

รูปแบบตรวจสอบความครบถ้วนด้วยชนิดที่เป็นไปไม่ได้

function assertNever(x: never): never {
  throw new Error('Unexpected value: ' + x);
}
function area(s: Shape): number {
  switch (s) {
    case 'circle': return 3.14;
    case 'square': return 1;
    default: return assertNever(s);
  }
}

การเพิ่มสมาชิกชนิดยูเนียนใหม่

type Shape = 'circle' | 'square' | 'triangle';
// Now TypeScript errors on assertNever(s) because s is 'triangle'
// — it's not never!

การตรวจสอบชนิดที่เป็นไปไม่ได้แบบแทรกในบรรทัด

function handle(shape: Shape): string {
  switch (shape.kind) {
    case 'circle': return 'circle';
    case 'square': return 'square';
    default:
      const _: never = shape; // Error if not exhaustive
      throw new Error('Unknown shape');
  }
}

การตรวจสอบความครบถ้วนโดยไม่ใช้คำสั่งสลับกรณี

function process(action: Action): void {
  if (action.type === 'A') { /* ... */ }
  else if (action.type === 'B') { /* ... */ }
  else {
    const _: never = action; // exhaustive
  }
}

ชนิดที่เป็นไปไม่ได้ในข้อจำกัดชนิดทั่วไป

type NonNullable<T> = T extends null | undefined ? never : T;
// Removes null and undefined from T

การใช้ชนิดที่เป็นไปไม่ได้แทนสถานะที่เป็นไปไม่ได้

type State<T> =
  | { kind: 'loading' }
  | { kind: 'success'; data: T }
  | { kind: 'error'; msg: string };
// There should never be a state with kind: 'unknown'

ชนิดที่เป็นไปไม่ได้ในชนิดแบบมีเงื่อนไข

type NonFunctions<T> = {
  [K in keyof T]: T[K] extends Function ? never : K
}[keyof T];
// Returns keys whose values are not functions

ชนิดที่เป็นไปไม่ได้ส่งต่อผ่านยูเนียน

type T = string | never; // string
type U = never | number | never; // number

ตัวช่วย assertNever

function assertNever(value: never, message?: string): never {
  throw new Error(message ?? `Unhandled: ${JSON.stringify(value)}`);
}

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

สรุปทบทวน