TypeScript Academy · 课时

实用数字类型工具

Q: 「实用数字类型工具」这节课中我会学到什么？

将类型算术应用于范围和长度约束。 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

将类型算术应用于范围和长度约束。

第 4 / 4 课13 个步骤

实用数字类型工具 是 CoddyKit 上的免费 TypeScript Academy 课时。这是第 4 节课，共 4 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 TypeScript Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 TypeScript Academy 课程共包含 4 节课。

从理论到工具

当算术和比较被封装为实用工具时，它们就变得有用：范围、强制长度的数组、限制范围内的索引。本课将把这些基本工具转化为您实际会发布的功能。

type BuildTuple<N extends number, Acc extends unknown[] = []> =
  Acc["length"] extends N ? Acc : BuildTuple<N, [...Acc, unknown]>;

枚举：从 0 到 N-1

一个基础辅助工具可以生成从 0 到 N-1 的所有数字组成的联合类型。构建长度为 N 的元组，然后读取每个键索引。

type Enumerate<N extends number, Acc extends number[] = []> =
  Acc["length"] extends N
    ? Acc[number]
    : Enumerate<N, [...Acc, Acc["length"]]>;

type A = Enumerate<4>; // 0 | 1 | 2 | 3

范围类型

Range<Start, End> 会生成从 Start 到 End - 1 的数字。取 Enumerate<End>，然后排除小于 Start 的值。

type Range<S extends number, E extends number> =
  Exclude<Enumerate<E>, Enumerate<S>>;

type A = Range<2, 6>; // 2 | 3 | 4 | 5

限制参数

使用范围来限制有效参数。只接受小范围骰子点数的函数可以使用 Range<1, 7>，这样编译器就会拒绝超出范围的值。

type DiceFace = Range<1, 7>; // 1|2|3|4|5|6
declare function roll(face: DiceFace): void;
roll(4); // ok
// roll(8); // compile error

强制数组长度

固定长度数组类型会拒绝大小不正确的数组。通过递归构建包含 N 个 T 类型元素的元组。

type FixedArray<T, N extends number, Acc extends T[] = []> =
  Acc["length"] extends N ? Acc : FixedArray<T, N, [...Acc, T]>;

type RGB = FixedArray<number, 3>; // [number, number, number]

使用固定长度

现在，错误使用会导致编译错误。三维空间中的点必须恰好包含三个坐标。

type Vec3 = FixedArray<number, 3>;
const v: Vec3 = [1, 2, 3]; // ok
// const w: Vec3 = [1, 2]; // error: missing element

限制索引范围

您可以将索引类型限制为有效的数组位置。将元组长度与 Enumerate 结合起来，就只能接受处于范围内的索引。

type Indices<T extends readonly unknown[]> = Enumerate<T["length"]>;

type Arr = readonly ["a", "b", "c"];
type I = Indices<Arr>; // 0 | 1 | 2

安全的索引访问

有了有效索引类型，您就可以编写一个访问器，使其索引参数无法越界，并在编译时捕获差一错误。

declare function at<T extends readonly unknown[]>(
  arr: T,
  i: Indices<T>
): T[Indices<T>];

const x = at(["a", "b", "c"] as const, 2); // ok
// at(["a", "b", "c"] as const, 3); // error

最小值和最大值辅助工具

在此基础上加入比较功能，就可以选出两个数字中较大或较小的一个，这对于将值限制在某个范围内很有用。

type Max<A extends number, B extends number> =
  GreaterThan<A, B> extends true ? A : B;
type Min<A extends number, B extends number> =
  GreaterThan<A, B> extends true ? B : A;

type X = Max<3, 8>; // 8
type Y = Min<3, 8>; // 3

组合工具

这些工具可以组合使用。长度处于某个范围内的元组、索引被限制在其数组范围内的访问、受最小值和最大值约束的值：每一个都是小巧且可复用的类型级函数。

type ValidPort = Range<1, 4>; // 1 | 2 | 3 (toy example)
type Slots = FixedArray<ValidPort, 2>; // [1|2|3, 1|2|3]

什么时候值得使用

类型级算术适用于较小的固定边界：RGB 元组、骰子面、棋盘坐标、协议字段大小。对于较大或动态的数字，它就不值得使用，因为递归限制和复杂性带来的成本会超过安全性。当边界较小且保证很有价值时，请考虑使用它。

type Board = FixedArray<FixedArray<0 | 1, 3>, 3>; // 3x3 grid

快速检查

请检验您对实用数字工具的理解。

在交互式课程中回答

回顾

您已经构建了一个小型数字类型工具库。

Enumerate 和 Range 生成数字联合类型。
FixedArray 强制使用确切长度。
Indices 将访问限制在有效位置内。
Min/Max 限定值的范围。

请将它们用于较小的固定边界。下一课是第 23 课：模拟高阶类型。

免费开始

用 AI 导师学习 TypeScript — 免费

在浏览器中编写并运行真实代码，获得全天候 AI 导师的即时帮助，并在网页或应用中继续学习。

课程: 101
课程: 352

免费开始学习查看完整课程

常见问题解答

「实用数字类型工具」课时是免费的吗？

是的 — 「实用数字类型工具」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 TypeScript Academy 课程的其余内容，请升级到 CoddyKit PRO。 TypeScript Academy 课程共包含 4 节课。

「实用数字类型工具」这节课中我会学到什么？

将类型算术应用于范围和长度约束。你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 TypeScript Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。这是第 4 节课，共 4 节。

「实用数字类型工具」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 TypeScript Academy 课中编写并运行代码吗？

能。每节 TypeScript Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

← 返回 TypeScript Academy