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

🌱 1. 유틸리티 타입이 뭐야?

👉 이미 만들어진 “편리한 타입 도구”

쉽게 말하면
👉 타입을 다시 만들지 않고 “가공”해서 쓰는 기능

Post → 일부만 선택 → 새로운 타입
Post → 전부 필수로 변경 → 새로운 타입

🧩 2. Partial (부분 선택)

💡 개념
👉 모든 프로퍼티를 선택적으로(?) 바꿔줌

type Partial<T> = {
[key in keyof T]?: T[key];
};

👉 쉽게 이해
원래:

title: string (필수)

바뀌면:

title?: string (선택)

📌 사용 이유
👉 "임시 저장" / "수정 중인 데이터"

const draft: Partial<Post> = {
title: '임시 제목'
};

✔ 일부만 넣어도 에러 없음

🧩 3. Required (모두 필수)

💡 개념
👉 선택(optional)도 강제로 필수로 바꿈

type Required<T> = {
[key in keyof T]-?: T[key];
};

핵심 포인트

👉 -? → optional 제거

📌 예시

thumbnailURL?: string;

👇

thumbnailURL: string; // 무조건 있어야 함

🧩 4. Readonly (읽기 전용)

💡 개념
👉 수정 못하게 막음

type Readonly<T> = {
  readonly [key in keyof T]: T[key];
};
  

📌 예시

readonlyPost.title = "변경"; ❌ 에러

👉 실무에서 “데이터 보호”할 때 많이 사용

🧩 5. Pick<T, K> (골라내기)

💡 개념
👉 필요한 것만 가져오기

type Pick<T, K extends keyof T> = {
  [key in K]: T[key];
};

📌 예시

Pick<Post, 'title' | 'content'>

👉 결과

{
title: string;
content: string;
}

🧩 6. Omit<T, K> (빼기)

💡 개념
👉 특정 프로퍼티 제거

type Omit<T, K> = Pick<T, Exclude<keyof T, K>>;

📌 쉽게 이해

Omit<Post, 'title'>

👉 결과

title ❌ 제거됨

🧩 7. Record<K, V> (객체 생성기)

💡 개념
👉 "키 + 값 타입"으로 객체 자동 생성

type Record<K, V> = {
  [key in K]: V;
};

📌 예시

type Thumbnail = Record<
'large' | 'small',
{ url: string }
>;

👉 결과

{
large: { url: string };
small: { url: string };
}

🧩 8. Exclude<T, U> (제거)

💡 개념
👉 특정 타입 제거

type Exclude<T, U> = T extends U ? never : T;

📌 예시

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

👉 결과

string

🧩 9. Extract<T, U> (추출)

💡 개념
👉 공통된 것만 남김

type Extract<T, U> = T extends U ? T : never;

📌 예시

Extract<string | boolean, boolean>

👉 결과

boolean

🧩 10. ReturnType (함수 결과 타입 추출)

💡 개념
👉 함수의 return 타입 가져오기

type ReturnType<T> =
  T extends (...args: any) => infer R ? R : never;

📌 핵심

👉 infer R = “타입 추론”

예시

function funcA() {
return 'hello';
}

type A = ReturnType<typeof funcA>;

👉 결과

string

🔥 핵심 정리 (진짜 중요)
| 타입 | 의미 |
| ---------- | -------- |
| Partial | 일부만 |
| Required | 전부 필수 |
| Readonly | 수정 금지 |
| Pick | 골라쓰기 |
| Omit | 빼기 |
| Record | 객체 만들기 |
| Exclude | 제거 |
| Extract | 추출 |
| ReturnType | 함수 결과 타입 |

⚠️ 자주 하는 실수

1. keyof 이해 못함
   👉 객체 키를 뽑는 것

keyof Post
// "title" | "content" | ...
  

2. Pick에서 extends 안 쓰는 실수
   ❌

type Pick<T, K> = ...

✔

type Pick<T, K extends keyof T>

3. Omit 구조 이해 못함

👉 사실 내부는 이거 하나임

Pick + Exclude 조합

🧠 정리용

📌 유틸리티 타입 정리

✅ Partial

모든 프로퍼티를 선택적으로 변경

✅ Required

모든 프로퍼티를 필수로 변경

✅ Readonly

모든 프로퍼티를 읽기 전용으로 변경

✅ Pick<T, K>

특정 프로퍼티만 선택

✅ Omit<T, K>

특정 프로퍼티 제거

✅ Record<K, V>

키와 값으로 객체 생성

✅ Exclude<T, U>

T에서 U 제거

✅ Extract<T, U>

T에서 U만 추출

✅ ReturnType

함수 반환 타입 추출