📘 타입스크립트 개념 정리03

📌 1. 타입스크립트를 이해한다는 것

타입스크립트를 이해한다는 것은 단순히 문법을 아는 게 아니라
다음 3가지를 이해하는 것이다.

✔ 1) 타입 정의

let num: number = 10;
let name: string = "army";

👉 값의 종류를 명확하게 지정

✔ 2) 타입 간의 관계 이해

let num: number = 10;
let literal: 10 = 10;

👉 10 ⊂ number (작은 타입 → 큰 타입 포함)

✔ 3) 타입 오류 검사

let num: number = "hello"; // ❌

👉 실행 전에 오류를 잡아줌

📌 2. 타입은 “집합”이다 ⭐

👉 타입 = 값들의 집합

예:
number → 모든 숫자
10 → 딱 하나의 값
10 ⊂ number

👉 이 개념 하나로 모든 게 설명됨

📌 3. 타입 계층도 (전체 구조)

unknown (최상위)
↑
any (예외 ⚠️)
↑
string / number / boolean
↑
리터럴 타입 ("hello", 10)
↑
never (최하위)

📌 4. 특수 타입 3가지

✔ unknown (가장 안전한 최상위)
let a: unknown = 10;

👉 모든 값 가능
👉 하지만 바로 사용 불가

a.toFixed(); // ❌

✔ any (타입 포기 ⚠️)

let a: any = 10;
a.toFixed(); // 가능

👉 타입 검사 무시 → 위험

✔ never (최하위 타입)

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

👉 절대 값이 나오지 않는 경우

📌 5. 타입 호환성

👉 “이 타입을 다른 타입으로 써도 되는가?”

✔ 기본 규칙

👉 작은 타입 → 큰 타입 ✅
👉 큰 타입 → 작은 타입 ❌

✔ 업캐스팅

let a: 10 = 10;
let b: number = a; // ✅

✔ 다운캐스팅

let a: number = 10;
let b: 10 = a; // ❌

📌 6. 기본 타입 간의 호환성

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

👉 이유

10 ⊂ number

📌 7. 객체 타입 호환성 (핵심 ⭐⭐⭐)

👉 타입스크립트는 “구조 기반 비교”를 한다

type Animal = {
  name: string;
  color: string;
};

type Cat = {
  name: string;
  color: string;
  breed: string;
};

✔ 관계

Animal 👉 슈퍼타입 (조건 적음)
Cat 👉 서브타입 (조건 많음)

✔ 업캐스팅

let animal: Animal;
let cat: Cat = {
name: "army",
color: "black",
breed: "코리안 숏",
};

animal = cat; // ✅

✔ 다운캐스팅

// cat = animal; ❌

✔ 핵심 규칙

👉 “필요한 속성을 다 가지고 있으면 OK”

📌 8. 초과 프로퍼티 검사 ⭐

👉 객체 리터럴에서만 발생

❌ 에러

let book: Book = {
name: "리액트",
price: 30000,
skill: "react", // ❌
};

✅ 허용 (변수 사용)

let programingBook = {
  name: "리액트",
  price: 30000,
  skill: "react",
};

let book: Book = programingBook; // ✅

✔ 함수에서도 동일

func({
  name: "리액트",
  price: 30000,
  skill: "react", // ❌
});

func(programingBook); // ✅

📌 9. 핵심 개념 한방 정리 ⭐

✔ 타입 = 집합

10 ⊂ number

✔ 타입 계층

unknown (최상위)
기본 타입
리터럴 타입
never (최하위)

✔ 타입 호환성

👉 작은 → 큰 가능
👉 큰 → 작은 불가능

✔ 객체 타입

👉 “구조만 맞으면 된다”

✔ 초과 프로퍼티 검사

👉 객체 리터럴에서만 엄격 검사

📌 10. 자주 하는 실수 🚨

❌ any 남발
👉 타입스크립트 의미 없어짐

❌ unknown을 바로 사용
👉 반드시 타입 체크 필요

❌ 다운캐스팅 착각
cat = animal; // ❌

❌ 객체는 완전히 같아야 한다고 생각

👉 ❌ 틀림
👉 필요한 속성만 있으면 OK

🚀 최종 한 줄 정리

👉 타입스크립트는
“값의 집합과 그 관계를 이용해 오류를 막는 언어”이다.