💟 [2장] 타입 집합의 개념과 타입 호환성

const metaData: MetadataProps = {
	author: "혜윤",
	createdAt: 2024-03-24,
	chapter: 2,
	description: "타입 집합의 개념과 타입 호환성"
	}
	
const { chapter, description } = metaData;

https://ts.winterlood.com/ 여기 참고했어요!

🤔타입 집합이 뭐지?

** 타입은 여러 개의 값을 포함하는 집합이다.**

Note

집합이란? ⇒ 동일한 속성을 갖는 여러 개의 요소들을 하나의 그룹으로 묶은 단위

ex) number 타입은 -20, 3, 2, 4, 123, 0.12, ∞ 등의 값을 묶어 놓은 집합이다.
그렇다면 오직 하나의 값만 포함하는 Number Literal 타입은?

let num: 20 = 20;

20 이라는 Number Literal 타입이 존재한다면, 이 타입은 딱 하나의 값(20)만을 포함하는 아주 작은 집합이다.

그리고 20이라는 Number Literal 타입은, Number타입에 속하는 값이다. ⇒ 모든 Number Literal 타입은 Number의 부분 집합이다.

이 때 number 타입은 슈퍼타입(부모타입)이고, number literal 타입은 서브타입(자식타입)이다.

그리고 이러한 개념은 타입 계층도에 적용이 된다.

🤔타입 호환성은 뭐지?

타입 호환성이란, 어떠한 타입을 다른 타입으로 취급해도 괜찮은지 판단하는 것을 말한다. 타입 호환성은 타입 계층도를 기준으로 판단할 수 있다.

타입스크립트는 슈퍼타입의 값을 서브타입의 값으로 취급하는 것을 허용하지 않는다. 반대로, 서브타입의 값은 슈퍼타입의 값으로 호환 가능하다.

그리고 이 때 서브타입 ⇒ 슈퍼타입으로 호환하는 것을 업캐스팅이라고 한다.
반대로 슈퍼타입 ⇒ 서브타입으로 호환하는 것을 다운캐스팅이라고 한다.

let num1: number = 10;
let num2: 10 = 10;

num1 = num2; // ✅ OK
num2 = num1; // ❌ NO

---

🍀타입 계층도와 타입 호환성 예시

• never은 공집합으로, 모든 타입의 서브타입이다. 따라서 never타입은 모든 타입으로 업캐스팅이 가능하다.

// never 타입은 모든 타입의 서브타입이므로, 다른 타입으로 변환될 수 있어서 의미상으로는 올바른 코드이다.
하지만 never 타입이 가질 수 있는 유일한 값은 undefined이며, 그 외의 값은 가질 수 없기 없다.
따라서  실제로는 사용할 수 없어서 할당 오류가 나타나 타입 오류가 나는지 실제로 확인이 어렵다.

let neverVar: never;

let a: number = neverVar;            // never -> number
let b: string = neverVar;            // never -> string
let c: boolean = neverVar;           // never -> boolean
let d: null = neverVar;              // never -> null
let e: undefined = neverVar;         // never -> undefined
let f: [] = neverVar;                // never -> Array
let g: {} = neverVar;                // never -> Object

// 함수 안의 결과값을 무한루프로 동작하게 되면 never 타입을 사용 가능
const neverFunc = (): never => {
    while(true){}
}

let num:number = neverFunc(); // 업캐스팅
let str:string = neverFunc();
let bool:boolean = neverFunc()

• 반대로, 어떤 타입도 never타입으로 다운캐스팅 할 수 없다.

let a: never = 1;                 // number -> never ❌
let b: never = "hello";           // string -> never ❌
let c: never = true;              // boolean -> never ❌
let d: never = null;              // null -> never ❌
let e: never = undefined;         // undefined -> never ❌
let f: never = [];                // Array -> never ❌
let g: never = {};                // Object -> never ❌

• unknown은 모든 타입을 부분집합으로 갖는 타입스크립트 전체 집합이다. 모든 타입은 unknown으로 업캐스팅 할 수 있다.

---

또, 프로젝트 진행하며 타입 호환성을 고려하지 않고 타입 단언을 사용하다 일어났던 오류를 짧게나마 공유해봅니다.

🎯타입 단언을 사용하다 일어난 오류

const def = 'string' as number;  // 오류 발생 - Conversion of type 'string' to type 'number' may be a mistake because neither type sufficiently overlaps with the other.

• 타입 단언에도 조건이 있습니다.
  • A as B로 표현했을 때 A가 B의 슈퍼타입이거나 B가 A의 슈퍼타입이어야만 타입 단언이 가능합니다.

🎯우회 방법

다중 단언

const def = 'string' as unknown as number;

• 권장되지는 않는 사용방법이라고 하네요 😭😭

---