TypeScript Academy · 课时

使用 expectTypeOf 和 tsd 进行类型测试

在运行时行为之外断言类型正确性

第 4 / 4 课13 个步骤

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

欢迎

测试类型本身,而不仅仅是运行时行为,可以确保您的 TypeScript 工具和泛型类型能够正确工作。

为什么要测试类型

泛型工具和条件类型可能存在只影响特定类型参数的错误。类型测试可以捕获这些错误。

来自 Vitest 的 expectTypeOf

Vitest 提供了 expectTypeOf,用于在编译时进行类型断言。
import { expectTypeOf } from 'vitest';
expectTypeOf(42).toBeNumber();
expectTypeOf('hello').toBeString();

断言返回类型

断言函数的返回类型。
import { identity } from '../src/utils';
expectTypeOf(identity(42)).toEqualTypeOf<number>();
expectTypeOf(identity('hi')).toEqualTypeOf<string>();

tsd 库

tsd 是一个用于对 TypeScript 声明文件进行类型测试的 CLI 工具。
npm install --save-dev tsd

tsd 断言

使用 tsd 断言编写 .test-d.ts 文件。
import { expectType, expectError } from 'tsd';
import { add } from '../src';
expectType<number>(add(1, 2));
expectError(add('a', 'b'));

expect-type 库

expect-type 库提供了与 Jest 兼容的类型断言。
import { expectTypeOf } from 'expect-type';
expectTypeOf<User>().toHaveProperty('name').toBeString();

测试条件类型

验证条件类型对于各种输入是否产生正确的输出。
type IsArray<T> = T extends any[] ? true : false;
expectTypeOf<IsArray<string[]>>().toEqualTypeOf<true>();
expectTypeOf<IsArray<string>>().toEqualTypeOf<false>();

测试映射类型

确保映射类型工具产生正确的形状。
type Mutable = { -readonly [K in keyof ReadonlyUser]: ReadonlyUser[K] };
expectTypeOf<Mutable['name']>().toBeString();
expectTypeOf<Mutable>().not.toMatchTypeOf<Readonly<Mutable>>();

在 CI 中运行 tsd

将 tsd 添加到 CI 流水线中,以捕获类型回归。
// package.json
{ "scripts": { "test:types": "tsd" } }

类型测试与运行时测试

类型测试在编译时运行(运行时开销为零)。运行时测试验证行为。两者都是必要的。

快速检查

`expectTypeOf(add(1, 2)).toEqualTypeOf()` 验证了什么?

回顾

使用 expectTypeOf 和 tsd 进行类型测试:您已掌握关键概念和模式。
免费开始

用 AI 导师学习 TypeScript — 免费

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

课程
101
课程
352

常见问题解答

「使用 expectTypeOf 和 tsd 进行类型测试」课时是免费的吗?

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

「使用 expectTypeOf 和 tsd 进行类型测试」这节课中我会学到什么?

在运行时行为之外断言类型正确性 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy,全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗?

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

「使用 expectTypeOf 和 tsd 进行类型测试」课时需要多长时间?

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

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

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

此课程中的所有课时

  1. 使用 ts-jest 配置 TypeScript 的 Jest
  2. 编写类型安全的单元测试
  3. 在 TypeScript 中模拟模块与函数
  4. 使用 expectTypeOf 和 tsd 进行类型测试
← 返回 TypeScript Academy