深入理解TypeScript递归类型：构建深层可写属性并规避深度限制

• DeepWritable 类型现在首先检查基本类型，然后是数组。
• 关键点：Map 的检查被提前。如果一个类型 T 是 Map 的实例，它会通过 Map 提取键 K 和值 V 的类型，然后递归地将值 V 转换为 DeepWritable。
• Set 类型的处理紧随其后。
• 最后，对于所有不匹配上述条件的类型，我们将其视为普通对象，并委托给 DeepWritableRecord。
• DeepWritableRecord 使用 Pick> 来首先从原始类型 T 中选择那些可写的属性键，这样可以保留这些属性的原始可选性。然后，它递归地将这些属性的值转换为 DeepWritable。

完整示例代码

让我们将这些类型应用到一个实际的类结构中：

// 辅助类型定义 (如上所示)
type IfEquals =
  (() => T extends X ? 1 : 2) extends
  (() => T extends Y ? 1 : 2) ? A : B;

type WritableKeys = {
  [P in keyof T]: T[P] extends Function ? never : IfEquals<{ [Q in P]: T[P] }, { -readonly [Q in P]: T[P] }, P>
}[keyof T];

type DeepWritablePrimitive = undefined | null | boolean | string | number | Function;

// 优化后的 DeepWritable 类型定义 (如上所示)
type DeepWritable =
  | T extends DeepWritablePrimitive ? T
  : T extends (infer U)[] ? DeepWritable[]
  : T extends Map ? (
      T extends Map ? Map> : never
    )
  : T extends Set ? Set>
  : DeepWritableRecord;

type DeepWritableRecord = {
  [K in keyof Pick>]: DeepWritable
}

// 示例类结构
class Base {
  // set 方法接受一个 Partial> 类型的参数
  set(data?: Partial>) {
    Object.assign(this, data);
  }
}

class Parent extends Base {
  name?: string; // 可选属性
  age: number = 0; // 必选属性
  readonly id: string = 'some-id'; // 只读属性，应被排除
  private _secret: string = 'secret'; // 私有属性，类型系统通常不直接处理，但如果通过公共方法暴露则需注意
  someMethod() { return 'hello'; } // 方法，应被排除
  arr?: Parent[]; // 嵌套数组
  dataMap?: Map; // 嵌套 Map
  dataList?: Set; // 嵌套 Set
}

const record = new Parent();

// 使用 set 方法更新属性
record.set({
  name: 'New Name', // 更新可选属性
  age: 30, // 更新必选属性
  // id: 'new-id', // 错误：'id' 是只读属性，已被 WritableKeys 排除
  // someMethod: () => 'new hello', // 错误：'someMethod' 是函数，已被 WritableKeys 排除
  arr: [{ // 嵌套数组
    name: 'Child 1',
    age: 5
  }, {
    name: 'Child 2',
    arr: [{ name: 'Grandchild 1' }] // 更深层次的嵌套
  }],
  dataMap: new Map([ // 嵌套 Map
    ['key1', { name: 'Map Child 1', age: 10 }],
    ['key2', { name: 'Map Child 2' }]
  ]),
  dataList: new Set(['item1', 'item2']) // 嵌套 Set
});

console.log(record);
console.log(record.arr?.[0]?.name); // Child 1
console.log(record.arr?.[1]?.arr?.[0]?.name); // Grandchild 1
console.log(record.dataMap?.get('key1')?.name); // Map Child 1

// 验证类型检查：尝试设置只读属性或方法会报错
// record.set({ id: 'test' }); // Error: Type '{ id: string; }' has no properties in common with type 'Partial>'.
// record.set({ someMethod: () => {} }); // Error: Type '{ someMethod: () => void; }' has no properties in common with type 'Partial>'.

注意事项与总结