any, unknown, never 차이

기본 패턴

let raw: unknown = JSON.parse("{}");

if (typeof raw === "object" && raw !== null) {
  console.log(raw);
}

설명

• any는 타입 검사를 거의 우회하므로, 급할 때는 편하지만 장기적으로는 TypeScript의 이점을 크게 줄입니다.
• unknown은 "무슨 타입인지 아직 모른다"를 뜻하며, 사용 전에 확인 절차를 거치게 강제해 더 안전합니다.
• 외부 입력, JSON 파싱 결과, catch 값처럼 불확실한 데이터는 any보다 unknown이 더 적절한 경우가 많습니다.
• never는 도달할 수 없는 상태나 모든 경우를 다 처리한 뒤 남는 불가능한 타입을 나타냅니다.
• 특히 exhaustive check에서 never를 사용하면, union의 누락된 경우를 컴파일 시점에 더 잘 잡을 수 있습니다.

짧은 예제

function fail(message: string): never {
  throw new Error(message);
}

function parse(input: unknown) {
  if (typeof input === "string") {
    return input.trim();
  }

  return fail("string expected");
}

빠른 정리

주의할 점