TypeScript 测试问题：类型测试与 Jest 配置

TypeScript 项目在引入 Jest 进行单元测试时，常面临两个核心问题：一是 Jest 无法直接理解 TypeScript 语法，二是 Jest 在运行时默认不进行静态类型检查。解决这些问题需要配置 ts-jest 并引入专门的类型测试方案。

1. 基础环境配置

首先需要搭建支持 TypeScript 的 Jest 运行环境。ts-jest 是一个预处理器，它能让 Jest 在执行测试代码之前将其转换为 JavaScript。

1. 安装核心依赖包。打开终端，输入以下命令并执行：

   npm install --save-dev jest ts-jest @types/jest typescript

   包名	作用
   jest	JavaScript 测试框架核心
   ts-jest	让 Jest 处理 TypeScript 代码的预处理器
   @types/jest	Jest 的 TypeScript 类型定义
   typescript	TypeScript 编译器

2. 初始化 Jest 配置文件。运行以下命令自动生成配置：

   npx ts-jest config:init

   这将在项目根目录下创建 jest.config.js。

3. 检查生成的配置文件。打开 jest.config.js，确认包含以下关键配置：

   module.exports = {
     preset: 'ts-jest',
     testEnvironment: 'node',
     roots: ['<rootDir>/src'],
     testMatch: ['**/__tests__/**/*.ts', '**/?(*.)+(spec|test).ts'],
   };

   其中 preset: 'ts-jest' 是最关键的设置，它自动处理了 TypeScript 的转译和 Source Map 生成。

2. 解决类型检查缺失问题

Jest 的工作机制是将代码转译后直接运行，它不会在测试运行时进行 tsc 式的静态类型检查。这意味着即使代码中存在类型错误，只要逻辑能跑通，测试依然会通过。

为了确保测试代码和被测代码的类型安全，需结合 tsconfig.json 进行配置。

1. 配置 TypeScript 编译选项。打开 tsconfig.json，添加或修改以下字段，确保类型定义文件被正确包含：

   {
     "compilerOptions": {
       "types": ["jest", "node"],
       "esModuleInterop": true,
       "strict": true
     },
     "include": ["src/**/*", "__tests__/**/*"]
   }

2. 设置类型检查脚本（可选但推荐）。虽然 Jest 运行时不检查类型，但我们可以在测试前手动触发一次类型检查。打开 package.json，在 scripts 中添加：

   {
     "scripts": {
       "test": "jest",
       "test:typecheck": "tsc --noEmit"
     }
   }

   运行 npm run test:typecheck 即可发现所有潜在的语法和类型错误。

3. 实现“类型测试”

常规 Jest 测试（如 expect(func()).toBe(1)）只能验证运行时的值。若要验证类型本身是否符合预期（例如：确保某个函数返回值的类型必须是 number 而非 string），需要引入类型测试工具。

这里使用 tsd 或 expect-type 库，推荐使用 expect-type，因为它更符合 Jest 的断言风格。

1. 安装类型断言库：

   npm install --save-dev expect-type

2. 编写类型测试用例。创建或打开测试文件（如 src/types.test.ts），编写如下代码：

   import { expectType, expectNotType } from 'expect-type';
   
   function add(a: number, b: number) {
     return a + b;
   }
   
   // 验证 add 函数的返回值类型必须是 number
   expectType<number>(add(1, 2));
   
   // 验证返回值不能是 string（如果验证失败，tsc 会报错，但 Jest 运行时通过，除非配合 tsd）
   expectNotType<string>(add(1, 2));
   
   // 验证对象结构
   interface User {
     name: string;
     age: number;
   }
   
   const user = { name: 'Alice', age: 25 };
   expectType<User>(user);

3. 理解验证机制。expectType 的工作原理是利用 TypeScript 的类型推断。如果传入的值的类型与尖括号中的类型不匹配，TypeScript 编译器会在编辑器中直接报错。

4. 配置流程总览

为了理清从代码编写到测试通过的完整链路，特别是类型检查介入的时机，请参考以下流程：

该流程展示了 ts-jest 负责运行时执行，而 tsc 和 expect-type 负责静态类型守护。两者结合才能构建完整的 TypeScript 测试体系。

5. 处理路径别名（Path Mapping）

如果在 tsconfig.json 中配置了路径别名（如 @/*），Jest 默认无法识别，会导致模块找不到的错误。

1. 配置 moduleNameMapper。打开 jest.config.js，添加以下配置：

   const { pathsToModuleNameMapper } = require('ts-jest');
   const { compilerOptions } = require('./tsconfig');
   
   module.exports = {
     preset: 'ts-jest',
     // ...其他配置
     moduleNameMapper: pathsToModuleNameMapper(compilerOptions.paths, {
       prefix: '<rootDir>/',
     }),
   };

2. 验证别名导入。现在可以在测试文件中直接使用别名引用：

   import { utils } from '@/utils/helpers'; // 假设 tsconfig.json 中配置了 "@/*": ["src/*"]
   
   test('utils works', () => {
     expect(utils).toBeDefined();
   });

   确保 tsconfig.json 中的 baseUrl 和 paths 配置正确，否则 pathsToModuleNameMapper 无法读取到正确的映射关系。