如何实现深层嵌套对象的路径字符串类型推导？

在 TypeScript 项目中，要实现深层嵌套对象的路径字符串类型推导，最可行的方案是利用模板字面量类型配合递归条件类型，适合用于表单字段校验或 API 路径提示场景。

先说结论：核心是利用 TypeScript 4.1 引入的模板字面量类型能力，通过递归遍历对象键名生成点分字符串。

适合：TypeScript 4.1 及以上版本，且对象层级不过深的场景
先看：对象是否存在循环引用或层级过深导致编译器报错
建议：优先使用成熟工具库如 type-fest 中的现成类型，减少维护成本
注意：需特殊处理数组类型，避免推导出 length 等无用路径

核心代码实现

基础实现需要修正数组处理逻辑，避免将数组视为普通对象递归。以下改进版代码支持数组索引路径，可直接复制到项目中：

type Paths<T> = T extends object
  ? {
      [K in keyof T]: K extends string
        ? T[K] extends any[]
          ? `${K}` | `${K}.${number}`
          : T[K] extends object
            ? `${K}` | `${K}.${Paths<T[K]>}`
            : `${K}`
        : never;
    }[keyof T]
  : never;

将上述代码放入工具类型文件，在需要约束路径字符串的参数处使用 Paths<YourObjectType>。

完整示例与推导结果

定义一个包含嵌套对象和数组的接口，观察类型推导结果是否符合预期：

interface UserProfile {
  id: number;
  info: {
    name: string;
    tags: string[];
  };
}

// 鼠标悬停查看 PathType 的具体联合类型
type PathType = Paths<UserProfile>
// 预期结果："id" | "info" | "info.name" | "info.tags" | "info.tags.${number}"

通过对比预期结果，确认数组字段 tags 没有衍生出 length 或 push 等无关路径，而是正确生成了索引路径。

验证方法

1. 编辑器提示验证：在 VSCode 中定义 const p: Paths<UserProfile> = "info.tags.0"，观察是否有类型报错（数字索引需转为字符串模板）。

2. 编译错误测试：尝试传入一个不存在的路径字符串，例如 "info.address"，观察 TypeScript 编译器是否报错提示类型不匹配。

3. 自动补全检查：在输入路径字符串时，检查编辑器是否能根据对象结构提供键名补全，确认递归类型生效。

配置与性能风险

1. 递归深度限制：TypeScript 默认实例化深度限制通常为 50 层，具体视版本而定。若对象嵌套超过此限制，编译器会报错 Instance type expression excessively deep。

2. 编译速度影响：复杂的递归类型会显著增加类型检查时间，大型项目中建议按需引入而非全局开启，或通过 tsconfig.json 调整 typeCheckMode 监控性能。

常见坑

1. 数组类型处理：未特殊处理数组时，类型推导会包含 length、toString 等数组原型属性，需在递归条件中增加 extends any[] 判断。

2. 循环引用：如果对象类型之间存在循环引用，递归类型会导致编译器无限循环或报错，需提前排查类型定义。

3. 可选属性：若对象包含可选字段（?），推导结果可能包含 undefined，建议配合 Required<T> 或调整递归条件处理。

参考来源

TypeScript Handbook, Template Literal Types, https://www.typescriptlang.org/docs/handbook/2/template-literal-types.html