TS 如何实现 DeepReadonly

Question

实现 X 类型转换成成 Expected

type X = {
  a: () => 22
  b: string
  c: {
    d: boolean
    e: {
      g: {
        h: {
          i: true
          j: 'string'
        }
        k: 'hello'
      }
      l: [
        'hi',
        {
          m: ['hey']
        },
      ]
    }
  }
}

type Expected = {
  readonly a: () => 22
  readonly b: string
  readonly c: {
    readonly d: boolean
    readonly e: {
      readonly g: {
        readonly h: {
          readonly i: true
          readonly j: 'string'
        }
        readonly k: 'hello'
      }
      readonly l: readonly [
        'hi',
        {
          readonly m: readonly ['hey']
        },
      ]
    }
  }
}

下边这个代码中 为何 keyof T[P] extends boolean 或者 keyof T[P] extends numebr 或者 keyof T[P] extends never 是生效的

type DeepReadonly<T extends Record<string, any>> = {
   readonly [P in keyof T]: keyof T[P] extends boolean ? T[P] : DeepReadonly<T[P]>
 }

T[P] 如果是 number的话, keyof T[P] 不是那些 属性链上的一些属性吗
请问下大佬们为何这样 extends 都可以生效

Answer 1

“T[P] 如果是 number的话, keyof T[P] 不是那些 属性链上的一些属性吗” 说的对，就是
"toString" | "toFixed" | "toExponential" | "toPrecision" | "valueOf" | "toLocaleString" 这些。

简单实现：

type DeepReadonly<T> = {
  readonly [P in keyof T]: DeepReadonly<T[P]>;
};

但有些问题，见：https://stackoverflow.com/que...

完美实现可参考：https://github.com/ts-essenti...。

如果业务需要，只是简单限制，也可以hack下，直接使用 as const 语法。