TypeScript any와 unknown 차이

javascript · 7월 24일 · 16 min read

any와 unknown은 어떤 값이든 받을 수 있는 TypeScript 타입이다.
하지만 그 값을 사용하는 시점의 검사 방식은 다르다.
any는 타입 검사를 사실상 끄고, unknown은 값의 타입을 확인한 다음 사용하도록 강제한다.
외부에서 들어와 타입을 알 수 없는 값에는 unknown이 더 안전한 기본값이다.

any와 unknown의 공통점

문자열, 숫자, boolean, 객체, 함수 등 모든 종류의 값을 any와 unknown에 할당할 수 있다.
따라서 두 타입의 차이는 어떤 값을 받는지보다 받은 값으로 무엇을 할 수 있는지에서 나타난다.

any는 컴파일러에게 해당 값의 타입 검사를 제거하라고 알리는 탈출구에 가깝다.
unknown은 정보가 아직 확인되지 않았다는 상태를 타입으로 표현한다.

타입 검사와 할당 차이

any에서는 속성 접근, 메서드 호출, 구체 타입으로의 할당이 검사 없이 통과할 수 있다.
unknown에서 같은 작업을 하려면 먼저 타입을 좁혀야 한다.

declare const anyValue: any
declare const unknownValue: unknown

anyValue.trim() // 컴파일 통과
unknownValue.trim() // 오류: 사용 전에 타입 확인 필요

const nameFromAny: string = anyValue // 컴파일 통과
const nameFromUnknown: string = unknownValue // 오류

anyValue.trim()은 실제 값에 호출 가능한 trim()이 없어도 컴파일 오류가 없다.
문제는 런타임으로 미뤄진다.
unknown이 만드는 컴파일 오류는 외부 값을 검증하라는 신호다.

unknown 타입 좁히기

typeof, instanceof, 동등성 비교, in 연산자 같은 JavaScript 조건문으로 unknown을 더 구체적인 타입으로 좁힐 수 있다.
조건 안에서는 TypeScript가 확인된 타입의 속성과 메서드를 허용한다.

function formatValue(value: unknown): string {
  if (typeof value === 'string') {
    return value.trim()
  }

  if (value instanceof Error) {
    return value.message
  }

  return String(value)
}

여러 곳에서 반복해 검증할 구조는 사용자 정의 타입 가드로 분리할 수 있다.
반환 타입의 value is User는 함수가 true를 반환한 분기에서 value를 User로 좁힌다.

외부 데이터 경계

JSON, 사용자 입력, 제3자 라이브러리 결과는 소스 코드에 적힌 타입만으로 실제 구조가 보장되지 않는다.
경계에서 unknown으로 받고 구조를 검증한 뒤 도메인 타입으로 넘기면 안전하지 않은 값의 범위를 줄일 수 있다.

type User = {
  id: number
  name: string
}

function isUser(value: unknown): value is User {
  return (
    typeof value === 'object' &&
    value !== null &&
    'id' in value &&
    typeof value.id === 'number' &&
    'name' in value &&
    typeof value.name === 'string'
  )
}

function safeParse(text: string): unknown {
  return JSON.parse(text)
}

const payload = safeParse('{"id":1,"name":"Kim"}')

if (isUser(payload)) {
  console.log(payload.name)
}

unknown은 런타임 검증을 자동으로 수행하지는 않는다.
as User로 강제 단언하면 검증 없이 컴파일러를 우회하게 되므로 타입 가드의 실제 조건이 필요하다.

객체 타입을 type으로 정의할지 interface로 정의할지의 기준은 TypeScript type과 interface 차이에 정리했다.

any가 필요한 제한적 범위

JavaScript 프로젝트를 TypeScript로 점진적으로 옮기거나 타입 정의가 없는 라이브러리를 연결할 때 any가 임시 탈출구가 될 수 있다.
이때도 any를 애플리케이션 전체로 전파하지 말고 하나의 어댑터나 함수 내부에 격리하는 편이 좋다.

단순히 컴파일 오류를 없애기 위해 any를 넣으면 오류 발견 시점만 런타임으로 옮겨진다.
타입을 아직 모를 뿐이라면 unknown을 사용하고, 구조를 알게 된 지점에서 좁힌다.

컴파일러 설정

noImplicitAny를 켜면 TypeScript가 타입을 추론하지 못해 암시적으로 any가 된 위치를 오류로 표시한다.
useUnknownInCatchVariables를 켜면 타입 주석이 없는 catch 변수의 기본 타입이 unknown으로 바뀐다.
strict는 이 옵션을 포함한 여러 엄격한 타입 검사 옵션을 한 번에 활성화한다.

try {
  runExternalCode()
} catch (error: unknown) {
  if (error instanceof Error) {
    console.error(error.message)
  } else {
    console.error('Unknown error', error)
  }
}