타입 좁히기 심화 — 제어 흐름 분석과 exhaustiveness 체크

let value: string | number;

value = 'hello';
// value: string — 할당으로 좁혀짐
console.log(value.toUpperCase()); // OK

value = 42;
// value: number — 재할당으로 다시 좁혀짐
console.log(value.toFixed(2)); // OK

function process(value: string | number | null) {
  if (value === null) {
    return; // 여기서 반환하면...
  }
  // value: string | number — null이 제거됨

  if (typeof value === 'string') {
    // value: string
    return value.toUpperCase();
  }
  // value: number — string도 제거됨
  return value.toFixed(2);
}

function greet(name: string | null) {
  // && 연산자
  const upper = name && name.toUpperCase(); // name이 truthy일 때만 실행

  // || 연산자
  const safe = name || '기본값'; // name이 falsy면 기본값

  // ?? 연산자 (null/undefined만 체크)
  const nullSafe = name ?? '기본값'; // null/undefined일 때만 기본값
}

type Shape =
  | { kind: 'circle'; radius: number }
  | { kind: 'square'; side: number }
  | { kind: 'triangle'; base: number; height: number };

function getArea(shape: Shape): number {
  switch (shape.kind) {
    case 'circle':
      return Math.PI * shape.radius ** 2;
    case 'square':
      return shape.side ** 2;
    case 'triangle':
      return (shape.base * shape.height) / 2;
    default: {
      const _exhaustive: never = shape;
      return _exhaustive;
    }
  }
}

function assertNever(value: never, message?: string): never {
  throw new Error(message ?? `처리되지 않은 값: ${JSON.stringify(value)}`);
}

function getArea(shape: Shape): number {
  switch (shape.kind) {
    case 'circle': return Math.PI * shape.radius ** 2;
    case 'square': return shape.side ** 2;
    case 'triangle': return (shape.base * shape.height) / 2;
    default: return assertNever(shape);
  }
}

// Rectangle을 추가하면
type Shape =
  | { kind: 'circle'; radius: number }
  | { kind: 'square'; side: number }
  | { kind: 'triangle'; base: number; height: number }
  | { kind: 'rectangle'; width: number; height: number }; // 새로 추가

// getArea 함수에서 컴파일 에러 발생!
// Error: Argument of type '{ kind: "rectangle"; ... }' is not assignable to type 'never'
// → rectangle case를 추가하라는 알림

function example(value: string | null) {
  if (value !== null) {
    // value: string — 여기서는 좁혀짐

    setTimeout(() => {
      // ⚠️ value: string | null — 콜백 안에서는 좁히기가 유지되지 않음!
      // TypeScript는 콜백 실행 시점에 value가 변했을 수 있다고 판단
    }, 1000);
  }
}

// 해결: 지역 변수에 할당
function exampleFixed(value: string | null) {
  if (value !== null) {
    const safeValue = value; // string으로 고정
    setTimeout(() => {
      console.log(safeValue.toUpperCase()); // OK
    }, 1000);
  }
}

interface Config {
  value?: string;
}

function process(config: Config) {
  if (config.value) {
    // config.value: string — 좁혀짐

    doSomething(); // 이 함수가 config.value를 바꿀 수 있음

    // config.value: string | undefined — 다시 넓어질 수 있음
    // TypeScript 5.x에서는 이런 경우를 더 잘 처리
  }
}

function process(config: Config) {
  const { value } = config; // 지역 변수로 추출

  if (value) {
    // value: string — 안정적으로 좁혀짐
    doSomething();
    console.log(value.toUpperCase()); // OK
  }
}

// satisfies로도 exhaustiveness를 체크할 수 있음
type EventHandler = Record<'click' | 'scroll' | 'keypress', () => void>;

const handlers = {
  click: () => console.log('클릭'),
  scroll: () => console.log('스크롤'),
  keypress: () => console.log('키입력'),
  // 하나라도 빠지면 에러
} satisfies EventHandler;