[Typescript] Type guard 개념 및 예시

🍰 TypeGuard란?

TypeScript에서 변수의 타입을 보장하기 위해 사용되는 기능

 

TypeScript에서는 정적 타입 검사를 수행하여 컴파일 타임에 코드에서 발생할 수 있는 타입 관련 오류를 예방할 수 있다.

하지만 경우에 따라 변수의 타입이 동적으로 변경될 수 있는 경우가 있다.

 

이런 경우에 TypeGuard를 사용하여 변수의 타입을 확인하고, 해당 타입으로 코드를 안전하게 실행할 수 있도록 보장한다.

 

TypeGuard는 주로 조건부 타입과 함께 사용되며, 변수가 특정 타입인지 여부를 확인하기 위해 사용된다.

 

🍰 TypeGuard 규칙

TypeGuard 함수는 is 키워드로 시작하는 이름을 가진 함수로 표현된다.

함수의 이름은 is 다음에 검사하고자 하는 타입의 이름이 온다. 예를 들어, 다음은 isNumber라는 이름의 TypeGuard 함수를 만드는 예시이다.

 

function isNumber(value: unknown): value is number {
  return typeof value === 'number';
}

위 코드에서 isNumber 함수는 value가 number 타입인지 검사하고, 그 결과를 boolean 값으로 반환한다.

반환값으로 value is number를 사용하는데, 이것은 반환값이 true일 때 value가 number 타입임을 나타낸다.

 

따라서, isNumber 함수를 사용하여 값을 검사할 때는 다음과 같이 작성할 수 있다.

 

function processValue(value: unknown) {
  if (isNumber(value)) {
    // value is number
    console.log(value + 1);
  } else {
    console.log('value is not a number');
  }
}

 

isNumber 함수를 사용하여 value를 검사할 때, if (isNumber(value)) 문장을 사용한다.

이 때 isNumber(value)의 반환값이 true일 때, value는 number 타입이 되고, 이를 활용하여 안전하게 연산을 수행할 수 있다.

 

value가 number 타입이 아닐 경우, else 블록이 실행되어 처리된다.

TypeGuard 함수를 이용하여, 변수가 특정 타입인지 검사하고 그 결과에 따라 안전하게 작업을 수행할 수 있다.