寻求用于TypeScript类型定义自动化测试的成熟工具

完全懂你的困扰——复杂的泛型、类型推断确实容易让类型定义藏着各种坑，而且只测JavaScript runtime的行为远远不够，类型层面的错误往往更隐蔽，还得专门验证“这段代码必须触发编译错误”这类场景。好在社区已经有不少成熟工具能搞定这个需求，下面给你推荐几个最常用的：

1. tsd - 专门为类型定义打造的测试工具 #

这是Sindre Sorhus维护的工具，几乎是TypeScript类型测试的标配了，用法非常直观：

• 首先安装依赖：npm install --save-dev tsd
• 创建类型测试文件，命名格式比如xxx.test-d.ts（后缀是关键）
• 在测试文件里用它提供的断言函数：
  • expectType<T>(value)：验证值的类型完全匹配T
  • expectError<T>(value)：验证这段代码会触发编译错误（比如类型不兼容、参数不对等）
  • 还有expectAssignable<T>(value)、expectNotAssignable<T>(value)这类更灵活的断言

举个简单例子：

// math.test-d.ts
import { expectType, expectError } from 'tsd';
import { add } from '../src/math';

// 验证正确的调用返回正确类型
expectType<number>(add(1, 2));

// 验证传入字符串会报错
expectError(add('1', 2));

• 最后在package.json里加个脚本："test:types": "tsd"，运行就能看到测试结果，还能集成到CI流程里。

2. Vitest - 支持类型测试的全功能测试框架 #

如果你已经在用Vitest做runtime测试，那完全不用额外装工具——Vitest从某个版本开始原生支持类型测试了，用法和tsd类似，但能和你的现有测试流程无缝整合：

• 在测试文件里导入expectType、expectError这些断言（Vitest内置）
• 同样创建.test.ts或者专门的.test-d.ts文件写类型测试
• 运行vitest typecheck就能单独跑类型测试，或者和普通测试一起跑

比如：

// utils.test.ts
import { expectType, expectError } from 'vitest';
import { parseJSON } from '../src/utils';

expectType<Record<string, unknown>>(parseJSON('{"a":1}'));
// 验证传入非字符串会报错
expectError(parseJSON(123));

3. 用tsc原生能力做极简测试（适合轻量场景） #

如果不想装额外工具，也可以直接用TypeScript编译器本身来做：

• 创建一个专门的目录，比如__type-tests__/should-fail，里面放那些预期会报错的代码文件
• 给这个目录单独写一个tsconfig.json，开启noEmit（只做类型检查不生成代码）
• 在package.json里加脚本："test:types:fail": "tsc --project __type-tests__/should-fail/tsconfig.json && echo 'ERROR: Expected compilation to fail!' || echo 'Success: Compilation failed as expected'"

原理是：如果预期报错的文件编译成功了（退出码0），说明类型定义有问题；如果编译失败（退出码非0），说明测试通过。这种方式虽然原始，但胜在不需要额外依赖。

一些最佳实践 #

• 把类型测试和runtime测试分开存放，比如用__tests__/types目录专门放类型测试文件
• 每个测试场景尽量单一，比如一个测试文件只测一个函数/类的类型行为
• 对于复杂的泛型推断场景，多写几种边界情况的测试，比如空值、联合类型、嵌套类型等

内容的提问来源于stack exchange，提问作者wkrueger