📚 맵드(Mapped Types)?

맵드 타입은 기존 타입을 기반으로 새로운 타입을 만드는 방법이다. 자바스크립트의 map() 함수를 타입에 적용한 것과 같은 효과를 가진다.

자바스크립트의 for in 문법과 유사하게 동작하며, K타입의 값을 각각 순회하여 T타입을 값으로 가지는 객체의 키로 정의가 된다.

{ [ P in K ] : T }
{ [ P in K ]? : T } 
{ readonly [ P in K ] : T }
{ readonly [ P in K ]? : T }

1. 모든 속성을 선택적(Optional)/필수(required)로 만들기

type Person = {
  name: string;
  age: number;
};

// 유틸리티타입 Partial<Person>과 동일
type PartialPerson = {
  [K in keyof Person]?: Person[K];
};

type User = {
    name?: string;
    age?: number;
};

// 유틸리티타입 Required<User>와 동일
type RequiredUser = {
    [K in keyof User]-?: User[K];
};

1. 유틸리티타입 만들기(예시: Pick)

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

type NameOnly = Pick<Person, 'name'>;

1. 모든 속성을 ReadOnly로 만들기

type ReadonlyPerson = {
  readonly [K in keyof Person]: Person[K];
};

// 결과:
// {
//   readonly name: string;
//   readonly age: number;
// }

1. 모든 속성 타입을 특정 타입으로 변환하기(예시: string)

type Stringify<T> = {
  [K in keyof T]: string;
};

type StringifiedPerson = Stringify<Person>;

// 결과:
// {
//   name: string;
//   age: string;
// }

1. 타입을 좁혀 조건부로 속성 제외하기

// 만약 속성의 타입이 null 또는 undefined를 포함하면 never로 변경하여 타입 제거 효과
type NonNullable<T> = {
  [K in keyof T]: T[K] extends null | undefined ? never : T[K];
};

type User = {
  name: string | null;
  age: number | undefined;
  email: string;
};

type NonNullableUser = NonNullable<User>;
// 결과:
// {
//   name: string;  // null이 제거됨
//   age: number;   // undefined가 제거됨
//   email: string; // 변경 없음
// }

🔍 맵드 주의사항

• 맵드 타입은 컴파일 타임에만 동작하며 런타임에는 영향을 주지 않는다.
• 중첩된 맵드 타입은 타입 추론을 느리게 만들 수 있다.
• 타입 호환성을 유지하며 원본타입을 해치지 않도록 주의하자.