never를 사용한 완전성 검사(입문)

소개

유니온 설정

type Circle = { kind: "circle"; radius: number };
type Square = { kind: "square"; size: number };

type Shape = Circle | Square;

모든 경우를 처리하지 않는 분기문

function areaBad(s: Shape): number {
  switch (s.kind) {
    case "circle":
      return Math.PI * s.radius ** 2;
    // OOPS: forgot "square" -> no compile error yet
  }
  return 0; // silently wrong
}

console.log(areaBad({ kind: "circle", radius: 2 }));

assertNever 도우미

function assertNever(x: never): never {
  throw new Error("Unhandled case: " + JSON.stringify(x));
}

모든 경우를 처리하는 분기문

function area(s: Shape): number {
  switch (s.kind) {
    case "circle":
      return Math.PI * s.radius ** 2;
    case "square":
      return s.size * s.size;
    default:
      return assertNever(s); // compiler error if a member is unhandled
  }
}

console.log(area({ kind: "square", size: 3 }));

지침

모든 경우 처리 확인

복습