TypeScript可选类型导致RecursivePartial工具类型失效的修复方案

问题描述 #

使用RecursivePartial工具类型时，希望所有字段、嵌套对象及对象数组都变为可选类型，但已标记为可选的字段（如MyUser中的eventA）无法生成递归部分类型，必须完整定义所有嵌套字段；而未标记可选的eventB可正常工作。

原代码问题分析 #

原RecursivePartial类型的逻辑是对每个字段添加?标记可选，但当字段本身是可选类型（类型为T | undefined）时，条件判断T[P] extends object会因为undefined的存在不成立，直接返回原类型T | undefined，导致嵌套对象无法被递归处理为可选类型。

原代码：

type RecursivePartial<T> = {
  [P in keyof T]?:
    T[P] extends (infer U)[] ? RecursivePartial<U>[] :
    T[P] extends object ? RecursivePartial<T[P]> :
    T[P];
};

class MyEvent {
  date!: Date;
  name!: string;
}

interface MyUser {
  name: string;
  eventA?: MyEvent;
  eventB: MyEvent;
}

type PartialUser = RecursivePartial<MyUser>;

const a: PartialUser = {
  eventA: { // 此处要求定义所有MyEvent字段，不符合预期
    name: '',
  },
  eventB: { // 此部分正常，仅需定义部分字段
    name: '',
  },
};

解决方案 #

修复的核心是先移除字段类型中的undefined，再对剩余类型进行递归处理。通过Exclude<T[P], undefined>提取可选字段的实际类型，同时排除Date等不需要递归的内置对象类型，再应用递归逻辑：

type RecursivePartial<T> = {
  [P in keyof T]?:
    // 先移除undefined，再判断是否为数组
    Exclude<T[P], undefined> extends (infer U)[] 
      ? RecursivePartial<U>[] 
      : // 排除不需要递归的内置对象类型
        Exclude<T[P], undefined> extends Date | RegExp | Map<any, any> | Set<any>
          ? Exclude<T[P], undefined>
          : Exclude<T[P], undefined> extends object
            ? RecursivePartial<Exclude<T[P], undefined>>
            : Exclude<T[P], undefined>;
};

使用该类型后，eventA和eventB的表现完全一致，都可以只定义部分嵌套字段：

const a: PartialUser = {
  eventA: { // 仅需定义name字段，符合预期
    name: '',
  },
  eventB: { // 正常工作
    name: '',
  },
};

对之前尝试的分析 #

1. 添加| undefined到条件判断的方案：
   该方案虽然能让可选字段生效，但会错误地将Date | undefined这类内置对象类型判定为普通对象进行递归处理，导致Date的内置方法被标记为可选，出现类型宽松问题（比如允许数字赋值给Date类型）。

2. 单独处理Date的方案：
   仅处理Date不够全面，还存在RegExp、Map等其他内置对象类型需要排除，否则同样会出现递归错误。

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