TypeScript 中递归类型需通过类型别名在容器内（如对象属性、数组、联合分支）自引用，避免顶层直接引用；支持多态联合类型与泛型抽象，但不校验运行时闭环或深度。

在 TypeScript 中处理嵌套数据结构（如树形结构、无限层级对象或自引用类型）时，递归类型是核心手段。关键在于用 类型别名 + 自引用 正确表达“某字段的类型可能包含自身”，同时避免编译器报错（如 “Type alias ‘X’ circularly references itself”）。

用类型别名定义合法的递归类型

TypeScript 允许类型别名递归引用自身，但必须确保引用发生在“可延后解析”的位置（例如对象属性、数组元素、联合类型的分支中），不能直接出现在顶层赋值右侧。

• ✅ 正确：嵌套在对象属性里

type TreeNode = {
  id: string;
  name: string;
  children: TreeNode[]; // ✅ 合法：children 是数组，类型延迟解析
};

• ❌ 错误：直接自引用（会报错）

// type Bad = Bad; // ❌ 编译错误：循环引用

处理多态嵌套结构（如混合子类型）

真实场景中，嵌套结构常含不同形状的节点（如文件夹含子项，文件不含），可用联合类型 + 递归 + kind 字段区分。

type FileSystemItem =
  | { kind: "file"; name: string; size: number }
  | { kind: "folder"; name: string; items: FileSystemItem[] }; // ✅ 递归出现在联合类型分支中

这样既能类型安全地遍历，也能用 item.kind === "folder" 做运行时判断。

JavaStoryDevelop

你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在

下载

立即学习“Java免费学习笔记（深入）”；

泛型化递归类型以复用

为支持任意数据字段，可将递归部分抽象为泛型参数：

type Tree = {
  data: T;
  children?: Tree[];
};

// 使用示例
const orgTree: Tree = {
  data: { id: 1, title: "CEO" },
  children: [
    { data: { id: 2, title: "CTO" }, children: [] }
  ]
};

注意运行时与类型的边界

递归类型只约束结构，不保证数据实际嵌套深度或是否闭环。若需校验（如防环引用），得靠运行时逻辑（如 Set 记录已访问 ID），TypeScript 类型系统不检查运行时数据形态。

不复杂但容易忽略：只要递归出现在“容器内”（对象属性、数组、函数返回值、联合分支），TypeScript 就能接受；写错位置才会报错。