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

📌 1. 조건부 타입 (Conditional Type)

✅ 핵심 개념

👉 “타입으로 if문 쓰는 것”

type A = number extends string ? string : number;

👉 해석:

• number가 string이냐?
• ❌ 아니니까 → number

🔥 쉬운 예시

type IsString<T> = T extends string ? "YES" : "NO";

type A = IsString<string>; // "YES"
type B = IsString<number>; // "NO"

👉 그냥 이렇게 생각해:

"T가 string이면 YES, 아니면 NO"

📌 2. 객체에서 extends 의미

type ObjA = { a: number };
type ObjB = { a: number; b: number };

type B = ObjB extends ObjA ? number : string;

✅ 핵심

👉 속성이 더 많으면 “확장된 것”

• ObjB는 ObjA의 모든 걸 포함함 → ✅ true

👉 결과: number

💡 쉽게 이해

// 부모
{ a: number }

// 자식
{ a: number, b: number }

👉 자식은 부모를 포함함 → extends 가능

📌 3. 제네릭 + 조건부 타입

type StringNumberSwitch<T> = T extends number ? string : number;

✅ 의미

• number → string
• 나머지 → number

🔥 예시

type A = StringNumberSwitch<number>; // string
type B = StringNumberSwitch<string>; // number

📌 4. ⭐⭐⭐ 분산적 조건부 타입 (중요)

type StringNumberSwitch<T> = T extends number ? string : number;


type C = StringNumberSwitch<number | string>;

👉 내부 동작

자동으로 쪼개짐:

StringNumberSwitch<number>  → string
StringNumberSwitch<string> → number

👉 결과:

string | number

🔥 핵심 한 줄
👉 유니온 타입이면 자동으로 하나씩 검사함

❗분산 막기

type StringNumberSwitch = [T] extends [number] ? string : number;

👉 이렇게 하면 쪼개지지 않음

📌 5. Exclude / Extract (실무 핵심🔥)

✅ Exclude (제거)

type A = Exclude<number | string | boolean, string>;

👉 string 제거

👉 결과:

number | boolean

✅ Extract (추출)

type B = Extract<number | string | boolean, string>;

👉 string만 남김

👉 결과:

string

💡 한 줄 정리

타입	의미
Exclude	빼기
Extract	뽑기

📌 6. infer (🔥 핵심 중 핵심)

👉 타입 안에서 값을 “추론”해서 꺼내는 것

✅ 함수 반환값 꺼내기

type ReturnType = T extends () => infer R ? R : never;

👉 해석:

• 함수면 → return 타입 꺼냄
• 아니면 → never

🔥 예시

type FuncA = () => string;
type A = ReturnType<FuncA>; // string

❗ 이건 왜 never?

type C = ReturnType<number>;

👉 number는 함수가 아님 → ❌ → never

never

📌 7. Promise 값 꺼내기

type PromiseUnpack<T> = T extends Promise<infer R> ? R : never;

🔥 예시

type A = PromiseUnpack<Promise<number>>; // number
type B = PromiseUnpack<Promise<string>>; // string

💡 쉽게 이해

Promise → number만 꺼냄

✨ 전체 핵심 요약 (진짜 중요)

👉 1. 조건부 타입 = 타입 if문
👉 2. extends = 포함 관계
👉 3. 유니온 = 자동 분해됨 (분산)
👉 4. infer = 타입 안에서 값 꺼내기

🧠 가장 많이 하는 실수

❌ 1. extends = 상속이라고만 생각
👉 ❌ 아님 → "포함 관계"임

❌ 2. 유니온이면 한 번만 검사한다고 생각
👉 ❌ → 자동으로 쪼개짐

❌ 3. infer 아무데나 쓸 수 있다고 생각
👉 ❌ → 반드시 조건부 타입 안에서만 가능

🎯 진짜 쉬운 비유

• 조건부 타입 → 타입용 if문
• extends → 포함되냐?
• infer → 안에서 꺼내오기
• Exclude → 빼기
• Extract → 필터링