DeepReadonly

type DeepReadonly<T extends Record<string, any>> = {
  readonly [K in keyof T]: T[K] extends ((...args:any[]) => any) ? T[K] : T[K] extends Record<string, any> ? DeepReadonly<T[K]>: T[K] extends Array<any> ? DeepReadonly<T[K]> : T[K];
}

타입을 재귀적으로 정의해야 한다는 것은 간단하지만, 그럼에도 빨간 줄이 사라지지 않아서 조금 헤맸다.

타입추론된 결과를 보니 함수도 객체라서 문제가 생긴 걸 파악할 수 있었고, 따라서 맨 앞에 extends를 하나 더 추가해 함수를 처리했다.

결과적으로 extends가 3개가 되었는데 이게 좋은 코드일까?

 

type DeepReadonly<T> = keyof T extends never
  ? T
  : { readonly [k in keyof T]: DeepReadonly<T[k]> };

가장 좋아보이는 코드는 이것이다.

중요한 것은 T가 함수를 제외한 나머지 객체인지 아닌지를 판단하는 것이기 때문에 키가 있는지 여부로 파악하는 것이다.

하지만 유니온이 테스트 코드에 있기 전의 코드기 때문에 완벽하다고는 할 수 없는 코드다.

결과적으로 동작을 완벽하게 보장할 수 있는 것은 전자이기 때문에, 후자의 코드는 지양하는 게 낫다.