TypeScript类型体操：实现DeepPartial递归可选类型

TypeScript 自带的 Partial 工具类型只能将对象的第一层属性变为可选。当面对深层嵌套的对象结构时，内层属性依然是必填的。要实现所有层级的属性都变为可选，必须手动编写一个递归类型 DeepPartial。

1. 理解原生 Partial 的局限性

查看 Partial 的源码实现。本质上，它通过映射遍历对象的所有键，并将每个键的类型标记为可选。

type Partial = {
    [P in keyof T]?: T[P];
};

定义一个嵌套对象类型 UserConfig：

interface UserConfig {
  id: number;
  profile: {
    name: string;
    settings: {
      darkMode: boolean;
    };
  };
}

使用原生 Partial 处理该类型：

type PartialConfig = Partial<UserConfig>;

分析结果：

2. 构建递归逻辑

要实现深度可选，核心逻辑是：判断当前属性是否是一个对象或数组，如果是，则对该属性再次应用 DeepPartial，否则直接返回原类型。

为了确保逻辑健壮，必须按照特定优先级判断类型，避免数组被错误处理为普通对象。处理顺序如下：

1. 函数类型：直接保留，不处理。
2. 数组类型：递归处理数组元素的类型。
3. 对象类型：遍历键，并将值类型递归处理。
4. 基础类型：直接保留。

以下逻辑展示了类型判断的决策过程：

3. 实现 DeepPartial 类型

打开 TypeScript 编辑器，创建一个新的类型定义。

编写如下代码，利用条件类型 extends 进行类型分发：

type DeepPartial = {
  [K in keyof T]?: T[K] extends (...args: any[]) => any
    ? T[K] // 如果是函数，保持原样
    : T[K] extends any[] // 如果是数组
    ? DeepPartial<T[K][number]>[] // 递归处理数组元素类型
    : T[K] extends object // 如果是普通对象
    ? DeepPartial<T[K]> // 递归处理对象
    : T[K]; // 基础类型（number, string 等），保持原样
};

注意代码中的 ? 运算符。它在第一层映射时就添加了可选性，因此无需手动在返回结果中再次添加。

4. 验证类型效果

应用刚刚创建的 DeepPartial 到 UserConfig 类型上：

type DeepConfig = DeepPartial<UserConfig>;

创建一个测试对象，验证其类型约束：

const myConfig: DeepConfig = {
  // 第一层：可选
  // id: 1, 

  // 第二层：profile 对象本身可选，内部属性也可选
  profile: {
    // name: "Admin", 
    settings: {
      darkMode: true,
    },
  },
};

对比处理后的类型差异：

5. 处理特殊情况与优化

在实际业务中，对象可能包含 Date、RegExp 或 null。上述简单的 T extends object 判断有时会把 Date 等内置对象当作普通对象处理。为了精确控制，可以使用内置的 Record<string, any> 或者明确排除非纯对象类型。

优化判断逻辑，排除常见内置类：

type DeepPartial = {
  [K in keyof T]?: T[K] extends (...args: any[]) => any
    ? T[K]
    : T[K] extends any[]
    ? DeepPartial<T[K][number]>[]
    : T[K] extends object
    ? T[K] extends Date
      ? T[K]
      : DeepPartial<T[K]>
    : T[K];
};

通过这种分层条件判断，确保了 Date 对象不会被错误地拆解为 { year: number, ... } 这种可选结构，从而保证类型的绝对安全性。