TypeScript的类型系统在近几年完成了一次令人瞩目的进化。它不再仅仅用于描述变量的形状，而是具备了类似函数式编程语言的计算能力。通过条件类型、映射类型、递归类型别名以及infer关键字，开发者可以在编译阶段实现分支判断、模式匹配、循环遍历甚至算术运算。这种能力被称为类型级编程或类型体操，其核心正是类型级递归。理解这一机制，不仅能让你写出更精确的类型，还能帮助你读懂许多第三方库中那些看似天书的类型定义。
类型级递归的基石：条件类型与infer关键字
递归的前提是能够在类型定义中进行分支判断和自引用。TypeScript的条件类型语法与JavaScript的三元表达式非常相似，其基本形式为T extends U ? X : Y。这里的extends并不是简单的继承判断，而是可赋值性检查。当类型T能够赋值给类型U时，条件类型解析为X，否则解析为Y。这种机制让类型定义拥有了逻辑判断能力。
仅靠条件类型还无法实现递归，因为递归需要提取出某个类型的一部分以便在下一层继续处理。这正是infer关键字的作用。它只能在条件类型的extends子句中使用，用于声明一个待推断的类型变量。例如，要获取一个Promise的返回值类型，可以这样写：
type UnwrapPromise<T> = T extends Promise<infer U> ? U : T; type A = UnwrapPromise<Promise<string>>; // string type B = UnwrapPromise<number>; // number
在上面的代码中，infer U表示如果T匹配Promise<something>的形式，就把那个something捕获到U中。这是模式匹配的基础。递归类型别名则允许类型定义引用自身，但必须配合条件类型来终止递归，否则会导致无限循环。一个经典的例子是深度只读类型：
type DeepReadonly<T> = {
readonly [K in keyof T]: T[K] extends object ? DeepReadonly<T[K]> : T[K];
};
interface User {
name: string;
address: {
city: string;
zip: number;
};
}
type ReadonlyUser = DeepReadonly<User>;这个类型会遍历对象的所有属性，如果属性值是对象，就递归地对其应用DeepReadonly，否则直接返回原类型。递归的终止条件是T[K] extends object为假的时候。通过这个例子可以看到，类型级递归完全依赖于条件类型的分支能力，而infer则让递归过程中能够精确提取中间类型。
类型级数据结构：用递归构建和操作元组
理解了条件类型和递归类型别名之后，我们可以在类型层面构建数据结构。最常用的数据结构是元组（Tuple），因为元组的长度在编译期是确定的，可以利用长度来表示数字。许多类型级算术运算都建立在元组的长度操作之上。
首先，如何用类型表示数字？一个常见技巧是构造一个长度等于该数字的元组。例如，数字3可以表示为[any, any, any]。有了这个约定，加法就可以通过元组拼接来实现。拼接两个元组需要递归地遍历第一个元组，把元素逐个添加到第二个元组前面。下面是一个元组拼接的实现：
type Concat<T extends any[], U extends any[]> = T extends [infer F, ...infer R] ? [F, ...Concat<R, U>] : U; type Result = Concat<[1, 2], [3, 4]>; // [1, 2, 3, 4]
这里使用了可变元组类型[...infer R]来捕获剩余元素。递归的终止条件是T变成空元组，此时返回U。这个模式可以扩展到许多操作，例如元组反转：
type Reverse<T extends any[]> = T extends [infer F, ...infer R] ? [...Reverse<R>, F] : []; type Reversed = Reverse<[1, 2, 3]>; // [3, 2, 1]
递归构建数据结构的能力为后续的编译时计算打下了基础。由于TypeScript的类型系统是结构化的，元组可以携带任意类型的元素，因此我们可以把元组当作类型层面的“数组”来使用。更复杂的结构如树或链表也可以类似地定义，例如用嵌套元组表示二叉树节点：type Tree = [value, left, right]，并通过递归类型来遍历它。
编译时算术：在类型层面实现加减乘除
有了元组长度作为数字的表示，加法和减法就变成了元组的拼接和截断。前面的Concat类型已经实现了加法，但为了让类型签名更直观，我们可以定义一个Add类型，它把两个长度数字相加并返回结果数字（即元组长度）。不过TypeScript并不能直接返回数字字面量类型作为元组长度的计算结果，我们通常还是返回一个元组来代表结果，或者利用['length']索引来提取长度。
一种更实用的做法是定义一个BuildTuple<N>类型，它根据数字字面量生成对应长度的元组。然后加法就可以通过拼接两个元组并获取长度来实现。以下是完整的实现：
type BuildTuple<N extends number, T extends any[] = []> = T['length'] extends N ? T : BuildTuple<N, [...T, any]>; type Add<A extends number, B extends number> = [ ...BuildTuple<A>, ...BuildTuple<B> ]['length']; type Sum = Add<3, 5>; // 8
减法稍微复杂一些，需要从长元组中移除短元组长度的元素。可以定义一个Subtract类型，递归地从被减数元组中取出元素，直到减数元组为空：
type Subtract<A extends any[], B extends any[]> = B extends []
? A['length']
: A extends [infer _, ...infer ARest]
? B extends [infer __, ...infer BRest]
? Subtract<ARest, BRest>
: never
: never;
type Difference = Subtract<BuildTuple<8>, BuildTuple<3>>; // 5乘法和除法原理类似：乘法可以看作重复加法，除法可以看作重复减法。更经典的例子是类型层面的斐波那契数列。我们可以利用递归类型同时维护两个连续的数字元组，逐步推进：
type Fibonacci<N extends number, A extends any[] = [], B extends any[] = [any]> =
N extends 0
? A['length']
: Fibonacci<Subtract<BuildTuple<N>, BuildTuple<1>>, B, [...A, ...B]>;
type Fib10 = Fibonacci<10>; // 55这个实现虽然能够工作，但会频繁地构建中间元组，导致编译性能下降。实际使用中，TypeScript对递归深度有默认限制（通常为50层左右），因此这种类型级算术更适合小范围的数字计算。理解这些限制有助于我们在真实项目中合理运用类型级计算。
类型级递归的边界与优化
类型级递归并非没有代价。TypeScript编译器在解析递归类型时会设置实例化深度的上限，以避免无限递归导致编译器挂起。默认深度约为50层，可以通过--maxNodeModuleJsDepth或环境变量进行调整，但过深的递归会显著增加编译时间。因此，在编写递归类型时，应当尽量采用尾递归的形式，因为TypeScript对尾递归类型别名有专门的优化，可以减少实例化的中间类型数量。
尾递归的核心思想是将累积结果作为参数传递给下一次调用，而不是在递归返回后再做操作。例如，前面的Reverse类型在递归返回后还要拼接一次，不是尾递归。可以改写成带累加器参数的版本：
type ReverseTail<T extends any[], Acc extends any[] = []> =
T extends [infer F, ...infer R]
? ReverseTail<R, [F, ...Acc]>
: Acc;
type ReversedTail = ReverseTail<[1, 2, 3]>; // [3, 2, 1]这个版本在递归调用时直接构造新的累加器，不需要等待递归返回后再执行拼接操作。虽然TypeScript的类型系统并不是真正的运行时优化，但尾递归风格通常能减少实例化深度，从而在一定程度上缓解深度限制。
类型级递归在实际开发中的应用场景非常广泛。除了前面提到的深度只读、元组操作、算术运算之外，它还被用于解析字符串字面量类型（例如把'a=1;b=2'解析为对象类型）、生成路由参数类型、从GraphQL查询中推导响应类型等。许多热门库如type-fest、zod都大量使用了这些技术。掌握类型级递归后，你不仅能够写出更灵活的类型工具，还能在阅读源码时游刃有余。需要记住的是，类型体操应当服务于代码的可维护性，过度追求类型层面的复杂性反而可能带来反效果。
TypeScript类型级递归编译时计算修改时间：2026-08-16 04:38:53