如何实现TypeScript泛型：递归设对象字段为可选（数组字段除外）

需求说明 #

我需要实现一个TypeScript泛型SpecialPartial<T>，满足以下核心规则：

• 对象的所有字段递归设置为可选，但数组类型的字段必须保持必填
• 嵌套对象内的字段遵循同样规则，同时数组元素中的对象字段需要全部设为可选

用具体示例说明期望行为：

type TestType = { 
  field1: string; 
  field2: Array<string>; 
  field3: { field4: Array<{ field5: string }> } 
}

const arr: SpecialPartial<TestType>[] = []
arr.push({ field2: [], field3: { field4: [{}] } }) // 合法，无报错
arr.push({}) // 必须报错：缺少必填的field2数组

现有实现的问题 #

我尝试过以下写法，但存在两个关键问题：

1. 根级的数组字段被错误地标记为可选
2. 数组内的对象字段没有被递归设为可选

type SpecialPartial<T> = {
  [P in keyof T]?: T[P] extends Array<infer U>
    ? Array<SpecialPartial<U>>
    : T[P] | undefined
}

另外需要明确：可选字段（?修饰符）和类型联合undefined是不同的，我需要的是真正的可选字段，避免写{ field1: undefined }这种冗余代码。

解决方案 #

通过条件类型区分数组、对象和基本类型，结合映射类型的修饰符来精确控制字段的可选性：

type SpecialPartial<T> = 
  // 处理数组类型：递归处理数组元素
  T extends Array<infer U> 
    ? Array<U extends object ? SpecialPartial<U> : U>
    : // 处理对象类型：拆分数组字段（必填）和非数组字段（可选）
    T extends object 
      ? (
          // 保留数组类型字段为必填（-? 移除可选性）
          { [P in keyof T as T[P] extends Array<any> ? P : never]-?: SpecialPartial<T[P]> } &
          // 将非数组类型字段设为可选
          { [P in keyof T as T[P] extends Array<any> ? never : P]?: SpecialPartial<T[P]> }
        ) extends infer MergedObj 
        ? // 合并交叉类型为普通对象，提升可读性
          { [K in keyof MergedObj]: MergedObj[K] }
        : never
      : // 基本类型直接返回（非对象非数组的字段会被映射为可选）
      T;

验证结果 #

用TestType测试该泛型：

type Result = SpecialPartial<TestType>;
// 生成的类型结构：
// {
//   field2: Array<string>; // 必填
//   field1?: string; // 可选
//   field3?: {
//     field4: Array<{ field5?: string }>; // field4 必填，field5 可选
//   };
// }

测试用户的示例代码：

const arr: SpecialPartial<TestType>[] = []
arr.push({ field2: [], field3: { field4: [{}] } }) // 正常通过，无报错
arr.push({}) // 触发报错：Property 'field2' is missing in type '{}' but required in type 'SpecialPartial<TestType>'.

实现关键点 #

1. 数组字段强制必填：通过映射类型的-?修饰符，移除数组字段的可选性，确保必须传入
2. 非数组字段递归可选：对所有非数组类型的字段（包括嵌套对象）使用?修饰符，实现真正的可选字段
3. 嵌套结构递归处理：无论是对象的嵌套字段，还是数组内的对象元素，都会递归应用SpecialPartial，保证规则覆盖所有层级
4. 交叉类型合并：将拆分后的两个映射类型合并为普通对象，避免TypeScript显示交叉类型，提升类型可读性

内容的提问来源于stack exchange，提问作者ShootingStar91