使用元组长度计数
在类型中用元组长度表示数字。
使用元组长度计数 是 CoddyKit 上的免费 TypeScript Academy 课时。 这是第 1 节课，共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 TypeScript Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 TypeScript Academy 课程共包含 4 节课。
数字需要一种表示方式
类型系统无法直接对数字字面量进行加法运算。经典的变通方案是将数字 N 表示为包含 N 个元素的元组。元素内容并不重要，重要的只有长度。
type Three = [unknown, unknown, unknown];
type N = Three["length"]; // 3读取长度
每种元组类型都有一个 length 属性，其类型是数字字面量类型。通过 ["length"] 进行索引，可以将它读取为可供使用的数字。
type A = [1, 2, 3, 4]["length"]; // 4
type B = []["length"]; // 0
type C = ["x"]["length"]; // 1为什么使用未知类型作为填充
我们使用 unknown 作为元素类型，因为具体值并不重要，重要的只有数量。任何类型都可以使用，但 unknown 能清楚地表示“占位符”。
type Two = [unknown, unknown];
type N = Two["length"]; // 2构建长度为 N 的元组
反过来，可以通过递归构建指定长度的元组。不断添加元素，直到长度与 N 匹配，然后返回该元组。这就是著名的 BuildTuple 辅助工具。
type BuildTuple<N extends number, Acc extends unknown[] = []> =
Acc["length"] extends N ? Acc : BuildTuple<N, [...Acc, unknown]>;
type A = BuildTuple<3>; // [unknown, unknown, unknown]BuildTuple 如何循环
跟踪 BuildTuple<3>：
- 累加器长度为 0，不是 3，添加一个元素
- 累加器长度为 1，不是 3，添加一个元素
- 累加器长度为 2，不是 3，添加一个元素
- 累加器长度为 3，等于 3，返回
累加器长度就是循环计数器。
type A = BuildTuple<2>; // [unknown, unknown]长度就是桥梁
通过两个操作，您可以在数字和元组之间转换：
- 数字转元组：
BuildTuple<N> - 元组转数字：
T["length"]
所有类型级算术都建立在跨越这座桥梁的基础上。
type FromN = BuildTuple<4>; // tuple of length 4
type BackToN = FromN["length"]; // 4按长度进行比较
由于元组长度是字面量，因此您可以检查数量是否相等。构建元组，然后通过可赋值性比较它们的长度。
type SameLength<A extends unknown[], B extends unknown[]> =
A["length"] extends B["length"] ? true : false;
type X = SameLength<[1, 2], ["a", "b"]>; // true
type Y = SameLength<[1], ["a", "b"]>; // false通用长度计数器
您可以通过递归重新实现 length 来理解它的工作方式，不过直接读取 ["length"] 更快。这说明计数其实就是遍历元组。
type Len<T extends unknown[], Acc extends unknown[] = []> =
T extends [unknown, ...infer R]
? Len<R, [...Acc, unknown]>
: Acc["length"];
type A = Len<["a", "b", "c"]>; // 3将元组用作计数器
请把元组想象成计数标记：每个元素就是一个标记。添加元素表示递增，移除元素表示递减。这个思维模型能让算术变得直观。
type Inc<N extends number> = [...BuildTuple<N>, unknown]["length"];
type A = Inc<3>; // 4递减预览
递减操作会先构建 N 对应的元组，然后推断出除最后一个元素以外的所有元素，并读取较短元组的长度。下一课将对此进行正式定义。
type Dec<N extends number> =
BuildTuple<N> extends [unknown, ...infer R] ? R["length"] : 0;
type A = Dec<3>; // 2
type B = Dec<0>; // 0需要记住的限制
此技术适用于较小的非负整数。非常大的 N 会触及递归限制，并且没有内置方式处理负数或小数。在这些范围内，它可靠且完全静态。
type A = BuildTuple<5>["length"]; // 5 (fine)
// BuildTuple<10000> would error: too deep快速检查
请检验您对元组长度计数的理解。
回顾
计数是类型级数学的基础。
- 将
N表示为长度为N的元组。 - 使用
T["length"]读取数字。 BuildTuple<N>将数字转换为元组。- 仅适用于较小的非负整数。
下一步：真正的加法和减法。
常见问题解答
「使用元组长度计数」课时是免费的吗？
是的 — 「使用元组长度计数」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 TypeScript Academy 课程的其余内容，请升级到 CoddyKit PRO。 TypeScript Academy 课程共包含 4 节课。
「使用元组长度计数」这节课中我会学到什么？
在类型中用元组长度表示数字。 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。
学习 TypeScript Academy 需要有经验吗？
无需任何先前经验。CoddyKit 上的 TypeScript Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。 这是第 1 节课，共 4 节。
「使用元组长度计数」课时需要多长时间？
大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。
我能在这节 TypeScript Academy 课中编写并运行代码吗？
能。每节 TypeScript Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。