[TypeScript] any, unknown, void, never 타입

 

any 타입

any 타입은 타입스크립트에서만 제공되는 특별한 타입으로 타입스크립트의 타입 검사를 받지 않는 타입이다. 특정 변수의 타입을 확실히 모를 때 사용할 수 있으나 지양하는 것이 좋다.

let anyVar = 10;
anyVar = "hello"; // ❌ 오류 발생!

일반적으로 위와 같이 숫자 10으로 초기화한 변수에 문자열을 재할당하려고 하는 경우 오류가 발생한다. 초기화된 값에 따라 이미 `anyVar` 변수가 number 타입으로 추론되었기 때문이다.

 

let anyVar: any = 10;
anyVar = "hello";

anyVar = true;
anyVar = {};
anyVar = () => {};

anyVar.toUpperCase();
anyVar.toFixed();

any 타입을 사용하면 해당 변수에 말그대로 어떤 값이든 넣을 수 있다. 또한 어떤 타입의 메서드도 자유롭게 호출할 수 있다.

 

let anyVar: any = 10;
anyVar = "hello";

let num: number = 10;
num = anyVar;

위와 같이 변수의 타입과 상관 없이 무조건 다른 변수에 any 타입의 값을 할당할 수 있다. 

 

let anyVar: any = 10;
anyVar = true;

anyVar.toUpperCase();
anyVar.toFixed();

위와 같은 코드도 타입 검사를 받지 않기 때문에 실행 전에는 오류가 발생하지 않지만, 코드를 실행해보면 당연하게도 런타임 오류가 발생한다. 따라서 any 타입을 사용하면 타입 검사를 받지 않아서 언제 어떻게 에러가 날지 모르는 위험한 코드를 작성하게되는 것이므로 지양하는 것이 좋다.

 

any 타입을 어쩔 수 없이 사용해야하는 경우가 있을까?

any 타입은 어쩔 수 없는 경우를 제외하고 사용하지 말라고 하는데 그런 어쩔 수 없는 경우에 뭐가 있을 지 생각해보자. 프로젝트를 진행하다보면 종종 생길 수 있는 경우들이다.

① 외부 라이브러리 호환성 문제
외부 자바스크립트 라이브러리를 사용할 때 해당 라이브러리에 타입 정의가 없거나 불완전한 경우 any 타입을 사용해서 일시적으로 문제를 피할 수 있다. 그러나 직접 타입 정의 파일을 작성해주는 것이 안전하다.

import { someOldLibrary } from 'some-old-library';

const result: any = someOldLibrary();​

② 동적 데이터 처리나 타입 추론이 어려운 상황
서버로부터 데이터를 받아올 때 API 응답이 동적으로 변해서 타입을 정확하게 정의하기 어려운 경우, 다양한 함수나 객체가 인자로 들어오는 콜백 함수 등 타입을 알기 어려울 때 any를 사용할 수 있다.

const response: any = await fetchDataFromAPI();
const parsedData = JSON.parse(response);

function processData(data: any) {
  console.log(data);
}​

 

---

unknown 타입

unknown 타입의 변수는 any 타입과 마찬가지로 어떤 타입의 값이든 저장할 수 있지만 any 타입보다 좀 더 안전하게 사용할 수 있다.

let unknownVar: unknown;

unknownVar = "";
unknownVar = 1;
unknownVar = () => {};

 

unknown 타입이 any 타입보다 안전한 이유는 ①어떤 메소드 호출이나 연산도 불가능하고, ②어떤 타입의 변수에도 할당하지 못하기 때문이다. 따라서 unknown 타입의 변수는 오로지 값을 저장하는 역할로만 사용할 수 있다.

let unknownVar: unknown;
(...)

unknownVar.toUpperCase(); // ❌ 오류 발생!
unknownVar * 2 // ❌ 오류 발생!

let unknownVar: unknown;
unknownVar = "hello";

let num: number = 10;
num = unknownVar; // ❌ 오류 발생!

 

만약 unknown 타입으로 정의한 변수를 특정한 타입의 값으로 간주하고 연산이나 메서드 호출을 하고 싶다면, 타입 좁히기를 사용할 수 있다. 타입스크립트에서는 조건문을 이용해 어떠한 값이 특정 타입임을 보장할 수 있게 되면 해당 값의 타입이 자동으로 바뀌게 되며 이를 타입 좁히기라고 한다.

let unknownVar: unknown;

if (typeof unknownVar === "number") {
  num = unknownVar;
  num.toFixed();
}

 

---

void 타입

void 타입은 아무런 값도 없음을 의미하는 타입이다.

function func(): void {
   console.log("hello");
}

위와 같이 아무런 값을 반환하지 않는 함수의 반환값 타입을 지정해야할 때 void 타입을 사용한다.

 

또한 void 타입의 변수도 선언할 수 있다. void 타입의 변수에는 오로지 undefined 타입의 값만 할당 가능하다. 만약 tsconfig.json에서 `strictNullCheck` 옵션을 `false`로 설정한 경우에는 null 값도 담을 수 있다.

let a: void;
// a = 1; ❌
// a = "hello"; ❌
// a = {}; ❌
// a = null; ❌
a = undefined;

 

TypeScript 5.0 버전 이전의 경우

사실 값을 반환하지 않는 함수의 반환값 타입으로 undefined을 생각해볼 수 있다. 물론 그것도 가능하다. 하지만 이는 TypeScript 버전이 5.1 버전으로 업데이트되면서 반영된 내용이다.
5.0 버전(혹은 그 아래 버전)에서는 undefined 타입을 반환값 타입으로 사용했다면 무조건 명시적으로 undefined를 반환해야했다. 또한 null 타입을 반환값 타입으로 사용할 경우 버전에 관계없이 무조건 명시적으로 null을 반환해주어야 한다.

function func2(): undefined {
  (...)
  return; // return undefined;와 같음
}

function func3(): null {
  (...)
  return null;
}​

 

---

never 타입

never 타입은 불가능을 의미하는 타입이다.

function func4():never {
  while (true) {}
}

function func5():never {
  throw new Error();
}

위의 코드에서 `func4` 함수는 무한 루프를 돌고 있기 때문에 어떠한 값도 반환할 수 없다. `func5`도 의도적으로 오류를 발생시키고 있기 때문에 값을 반환할 수 없다. 이러한 경우 해당 함수들은 값을 반환하는 것이 '불가능'하다. 따라서 반환값 타입으로 never를 사용할 수 있다.

 

변수의 타입을 never로 정의하면 any를 포함한 그 어떤 타입의 값도 변수에 담을 수 없게 된다.

let anyVar: any;

let a: never;
// a = anyVar; ❌
// a = null; ❌
// a = undefined; ❌

 

---

참고

본 포스트는 이정환님의 '한 입 크기로 잘라먹는 타입스크립트(TypeScript)' 강의를 수강하며 작성하였습니다.

한 입 크기로 잘라먹는 타입스크립트(TypeScript) 강의 | 이정환 Winterlood - 인프런