3. Omit

문제

T에서 K 프로퍼티만 제거해 새로운 오브젝트 타입을 만드는 내장 제네릭 Omit<T, K>를 이를 사용하지 않고 구현하세요.

interface Todo {
  title: string
  description: string
  completed: boolean
}

type TodoPreview = MyOmit<Todo, 'description' | 'title'>

const todo: TodoPreview = {
  completed: false,
}

cases

type cases = [
  Expect<Equal<Expected1, MyOmit<Todo, 'description'>>>,
  Expect<Equal<Expected2, MyOmit<Todo, 'description' | 'completed'>>>,
]

// @ts-expect-error
type error = MyOmit<Todo, 'description' | 'invalid'>

interface Todo {
  title: string
  description: string
  completed: boolean
}

interface Expected1 {
  title: string
  completed: boolean
}

interface Expected2 {
  title: string
}

문제 링크

정답

type MyOmit<T, K> = {
  [key in keyof T as key extends K ? never : key]: T[key]
}

풀이

조건

1. K에 포함된 값은 T에서 제거한다.

해설

1. T 의 키 값을 가져오는 문법은 다음과 같다.

type MyOmit<T> = {
  [key in keyof T]: T[key]
}

2. 키 값에 조건을 걸어 확인하는 문법은 다음과 같다.

type MyOmit<T, K> = {
  [key as key extends A ? true :false] : T[key]
}

1번과 2번을 조합해서 정답을 내면 다음과 같다.

type MyOmit<T, K> = {
  [key in keyof T as key extends K ? never : key]: T[key]
}

---

오류나 개선점이 있다면 댓글 부탁드립니다.