TS: 한입크기로 잘라먹는 타입스크립트 챌린지_day4

🏓 진도

 

2. 타입스크립트 기본 (8/8)

• Any와 Unknown
• Void와 Never

3. 타입스크립트 이해하기 (3/9)

• 타입스크립트 이해하기
• 타입은 집합이다
• 타입 계층도와 함께 기본타입 살펴보기

🪃 요약 & 과제

 

=> 오늘 배운 내용을 토대로 아래의 4가지 타입에 대해 가볍게 정리하기

Unknown

모든 값을 받을 수 있는 타입이지만, unknown 타입을 사용할 때는 변수를 사용하기 전에 명시적인 타입 체크나 타입 단언을 통해 해당 값의 타입을 확인해야만 실제로 해당 값에 접근하거나 사용할 수 있다.

any와 마찬가지로 어떠한 타입의 값도 저장할 수 있다.
하지만 다른점은 unknown타입의 값을 다른 타입에 대입할 수 없고 메서드들도 사용이 불가능하다.

// 값의 타입을 확인해야만 실제로 해당 값에 접근할 수 있음을 보여주는 예시

let exam1: unknown = 123;
// (아래의 주석 해제 시 에러 발생)
// let num: number = exam1; 
// "Error: 'unknown' 타입 변수를 'number' 타입에 할당할 수 없습니다."

if (typeof exam1 === 'number') {
  let num: number = exam1; // 이제 'number' 타입으로 할당이 가능하다.
  console.log(num);
}

 

typeof 연산자를 사용하여 변수의 타입을 체크하는데 변수가 선언한 해당 타입일 경우에만 블록을 실행한다

다만, 타입 단언은 실제로 타입이 다를 경우 런타임 에러가 발생할 수 있기 때문에 타입 체크를 선호하는 것이 코드의 안전성과 유지보수성을 높일 수 있다!

 

  function TypeChecking(text: unknown): void {
  // 타입 체크를 통해 안전하게 사용
  if (typeof text === 'string') {
    console.log('Text is a string:', text.toUpperCase());
  } else if (typeof text === 'number') {
    console.log('Text is a number:', text * 2);
  } else {
    console.log('Text is of unknown type');
  }
}

TypeChecking('hello');   // Text is a string: HELLO
TypeChecking(42);        // Text is a number: 84
TypeChecking(true);       // Text is of unknown type

 

= Unknown 타입은 컴파일러에게 해당 값의 타입 정보를 제공하지 않는 상태에서는 타입 안정성을 유지하기 위해 어떠한 연산도 허용하지 않는다. 이 때문에 any보다 더 안전하다 !!

 

 

Never

함수가 항상 예외를 던지거나 무한 루프에 빠져 절대 반환하지 않는 경우의 타입
주로 예외 상황을 다루거나 무한 루프일 때 사용한다. 다른 모든 타입의 하위 타입이고, 어떤 값도 할당할 수 없다!!

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

function infiniteLoop(): never {
while (true) {
  // 무한 루프 ~.~
}
}

 

Void

어떤 값도 반환하지 않는 함수의 반환 타입
주로 함수가 사이드 이펙트만 갖고, 반환 값이 필요하지 않을 때 사용한다

function ConsoleMessage(message: string): void {
console.log(message);
}

function NoReturn(): void {
console.log("This function doesn't return any value.");
}

 

Any

TypeScript의 타입 검사를 우회하고 모든 종류의 값을 허용하는 동적 타입 (치트키 !)
하지만 타입 검사를 받지 않는 것이기 때문에 타입스크립트의 이점을 활용하지 못한다.
= 타입 안정성이 떨어진다. 최대한 지양해야한다 !

let value: any = 123;
value = 'hello';
value = true;