객체의 프로퍼티 타입이 never인 것 지우기 & 두 객체 프로퍼티 비교

type A = { a: 3, b: never, c: 5 };
type Answer = A[keyof A]; // 'a' | 'b'

keyof 키워드는 객체의 타입에서 프로퍼티 키 이름만을 뽑아내는데, 이 때 never는 keyof로 뽑히지 않는다.
이 점을 역이용하면 프로퍼티가 never인 것들만 이름을 뽑아내는 것을 만들 수 있다.

 

type PickKeysIsNever<T> = { [K in keyof T]: T[K] extends never ? K : never }[keyof T];

이 타입은 never를 타입으로 가지는 키 네임들만을 뽑는 타입이다.

 

type RemoveNever<T> = Omit<T, PickKeysIsNever<T>>;

이제 원본 T로부터 never만을 Omit해버리면 된다.

 

type Diff<O, O1> = RemoveNever<{
  [K in keyof (O & O1)]: K extends keyof O ? (K extends keyof O1 ? never : O[K]) : (K extends keyof O1 ? O1[K] : never)
}>

Diff는 두 객체에서 서로 다른 프로퍼티만을 뽑아내는 타입으로, 둘 중 한 쪽에만 있는 key, type을 뽑아내 새 객체를 만드는 타입이다.
양 쪽 중 하나만 있는 타입을 걸러내는 식을 짜준 다음에, never를 마지막에 다 지워버리면 된다.