key in keyof T as key extends K ? never : key ???

what the ?

 

제목의 문장은 아래의 문제를 풀면서 만나게 되었다. 

https://github.com/type-challenges/type-challenges/blob/main/questions/00008-medium-readonly-2/README.ko.md

GitHub - type-challenges/type-challenges: Collection of TypeScript type challenges with online judge

 

어려워보이지만 사실 별 거 없다. 난 as를 '그런데'로 해석하기로 했다.

 

key는 T의 키 값들이다. '그런데'  key가 k에 포함되면(부분집합이면) never이고 아니면 그대로 key이다.

 

쉽지 않은가?

 

type MyReadonly2<T, K extends keyof T = keyof T> = {
  readonly [key in keyof Pick<T,K>] : T[key]
} & {
  [key in keyof T as key extends K ? never : key] : T[key]
}

 

T에서 k에 포함되는 key들은 readonly로,

그렇지 않은 key들은 그대로 반환하는 타입을 완성했다.