TypeScript any와 unknown 차이: 언제 무엇을 쓸까

any와 unknown은 둘 다 모든 값을 받습니다. 차이는 그다음에 그 값으로 무엇을 할 수 있느냐입니다. any는 무엇이든 하게 두고 아무것도 검사하지 않지만, unknown은 값이 무엇인지 증명하기 전까지 거의 아무것도 하지 못하게 합니다.

let a: any = "hello";
let u: unknown = "hello";

console.log(a.toUpperCase()); // HELLO: any allows every operation

// @ts-expect-error: 'u' is of type 'unknown'.
u.toUpperCase();

if (typeof u === "string") {
  console.log(u.toUpperCase()); // HELLO: u is a string inside this block
}

@ts-expect-error 줄이 없으면 u.toUpperCase()는 컴파일 오류 TS18046입니다. typeof 검사가 u를 string으로 좁히고, 그 블록 안에서는 모든 문자열 메서드를 쓸 수 있습니다.

any와 unknown 한눈에 비교

타입 이론으로 말하면 unknown은 최상위 타입(top type)입니다. 모든 타입을 unknown에 대입할 수 있지만, unknown은 unknown과 any에만 대입할 수 있습니다. any는 양방향으로 대입할 수 있는 비상구로, never를 제외한 모든 것에 대입됩니다.

any는 타입 검사를 끈다

any 타입의 값은 맹목적으로 신뢰됩니다. 컴파일러는 오타, 잘못된 타입, 없는 속성을 받아들이고, 실수는 대신 런타임에 드러납니다.

const user: any = { name: "Ada" };

const total: number = user.name; // compiles: any is assignable to number
console.log(typeof total);       // string

const city = user.adress;        // typo, still compiles
console.log(city);               // undefined

try {
  console.log(user.address.city); // compiles, throws at runtime
} catch (e) {
  console.log((e as Error).message);
}

출력이 문제를 보여 줍니다. number로 표기된 변수에 문자열이 들어 있고, 마지막 줄은 Cannot read properties of undefined (reading 'city')를 던집니다. any는 퍼지기도 합니다. user.name은 any이므로 그것으로 계산한 값도 모두 any가 되고, 타입 없는 값 하나가 들어온 곳에서 멀리 떨어진 곳의 검사까지 끌 수 있습니다.

unknown은 먼저 확인하게 만든다

unknown이면 코드가 값을 좁히기 전까지 컴파일러가 모든 연산을 거부합니다. 좁히기에는 평범한 JavaScript 검사를 쓰고, 각 분기 안에서 값은 확인된 타입을 갖습니다.

function describe(value: unknown): string {
  if (typeof value === "string") return `string of length ${value.length}`;
  if (typeof value === "number") return `number ${value.toFixed(2)}`;
  if (Array.isArray(value)) return `array of ${value.length}`;
  if (value instanceof Date) return `date ${value.toISOString()}`;
  if (value === null) return "null";
  if (typeof value === "object" && "id" in value) return `object with id ${String(value.id)}`;
  return typeof value;
}

console.log(describe("hi"));                               // string of length 2
console.log(describe(3.14159));                            // number 3.14
console.log(describe([1, 2, 3]));                          // array of 3
console.log(describe(new Date("2024-03-15T10:30:00Z")));   // date 2024-03-15T10:30:00.000Z
console.log(describe({ id: 7 }));                          // object with id 7
console.log(describe(undefined));                          // undefined

typeof null이 "object"이므로 value === null 검사가 객체 검사보다 먼저 와야 합니다. "id" in value 뒤에 TypeScript는 객체에 id 속성이 있다는 것을 알지만, 무엇이 들어 있는지 알려 주는 것이 없으므로 그 타입은 unknown입니다. String()이 명시적으로 텍스트로 바꿉니다. 숫자로 쓰려면 먼저 typeof로 확인해야 합니다.

단언 value as string으로 검사를 건너뛸 수도 있고, 컴파일러는 받아들입니다. 하지만 그것은 런타임 검사가 뒷받침하지 않는 약속이므로 실제 검사를 쓰세요. 타입 단언을 참고하세요.

unknown으로 JSON 검증하기

JSON.parse는 any를 반환하도록 선언되어 있어서, 그 결과는 조용히 검사를 끕니다. 결과를 unknown으로 표기하고, 나머지 코드가 믿기 전에 모양을 확인하는 타입 가드를 작성하세요.

interface Settings {
  theme: string;
  fontSize: number;
}

function isSettings(v: unknown): v is Settings {
  return (
    typeof v === "object" && v !== null &&
    "theme" in v && typeof v.theme === "string" &&
    "fontSize" in v && typeof v.fontSize === "number"
  );
}

const inputs = ['{"theme":"dark","fontSize":14}', '{"theme":"dark"}'];

for (const text of inputs) {
  const data: unknown = JSON.parse(text);
  if (isSettings(data)) {
    console.log(`${data.theme} at ${data.fontSize}px`);
  } else {
    console.log("invalid settings:", text);
  }
}

첫 입력은 dark at 14px를 출력하고, 두 번째 입력은 fontSize가 없어서 거부됩니다. any였다면 두 번째 입력은 fontSize가 undefined인 Settings로 그대로 흘러갔을 것입니다. 스키마가 크다면 검증 라이브러리가 같은 일을 하고 타입도 대신 끌어내 줍니다.

noImplicitAny

any는 누군가 직접 써야만 생기는 것이 아닙니다. 표기도 없고 추론할 문맥도 없는 매개변수도 any가 됩니다. strict가 켜는 noImplicitAny 옵션은 이를 오류로 보고합니다.

// This does not compile: x has no type
function double(x) {
  return x * 2;
}

console.log(double(4));

index.ts(2,17): error TS7006: Parameter 'x' implicitly has an 'any' type.

해결책은 표기, function double(x: number)입니다. x: any라고 명시적으로 써도 컴파일되는데, 그것이 핵심입니다. any가 코드에 보이는 채로 남아 검색하고 리뷰할 수 있습니다.

여전히 any가 끼어드는 곳

strict에서도 다음은 코드에 그 단어가 없는데도 any를 만듭니다.

Error 객체만이 아니라 무엇이든 던질 수 있으므로 strict에서 catch 변수는 unknown입니다. e.message를 읽기 전에 e instanceof Error로 좁히세요.

any를 써도 괜찮을 때

any가 금지된 것은 아니지만, 하나하나가 컴파일러가 더 이상 보호하지 않는 지점입니다. 합리적인 용도:

• JavaScript 코드베이스를 옮기는 중에 아직 타입이 없는 곳을 any로 표시할 때.
• 타입 시스템으로 잘 표현할 수 없는 코드를 작게 유지하고 타입이 있는 함수 시그니처 뒤에 숨길 때.
• 일부러 잘못된 데이터를 넘기는 테스트 코드.

그 밖의 모든 경우에는 unknown이 같은 "이 타입을 모른다"는 상황을 다루면서 검사를 유지합니다. 많은 팀이 @typescript-eslint/no-explicit-any 린트 규칙으로 이를 강제합니다. 관련 타입인 Record<string, unknown>은 "값을 모르는 어떤 객체"를 나타낼 때 흔히 씁니다.