TypeScript泛型接口中的类型参数默认推断

TypeScript 在泛型接口中引入了类型参数默认值，这允许我们在不显式指定类型参数的情况下，让编译器自动推断或回退到预设类型。以下将逐步演示如何定义、使用并理解这一特性。

1. 定义基础泛型接口

首先，创建一个不包含默认值的泛型接口，作为对比基准。

1. 打开 TypeScript 编辑环境。
2. 定义 一个名为 HttpRequest 的接口，包含一个泛型参数 T。
3. 声明 接口成员 body，其类型为 T。

interface HttpRequest<T> {
  body: T;
}

在使用此接口时，如果未指定 T，TypeScript 会将其推断为 unknown 或报错（取决于 strictNullChecks 配置），导致类型安全性降低。

2. 应用类型参数默认值

为了解决上述问题，赋予 泛型参数一个默认类型。

1. 修改 HttpRequest 接口的定义。
2. 在 泛型参数 T 后添加 等号 = 与默认类型 string。
3. 保存 文件，确保语法检查通过。

interface HttpRequest<T = string> {
  body: T;
}

此时，T 的默认行为已改变：如果未提供具体类型，它将自动被视为 string。

3. 验证自动推断机制

创建 变量实例，观察编译器如何处理默认推断。

1. 声明 变量 req1，显式注解类型为 HttpRequest，省略 尖括号内的泛型参数。
2. 赋值 一个对象，其 body 属性为字符串。

const req1: HttpRequest = {
  body: "This is a default string"
};

在此步骤中，TypeScript 编译器识别到 HttpRequest 后未跟随泛型参数，因此启用 默认值 string。你可以将鼠标悬停在 req1 上，查看其类型确认为 HttpRequest<string>。

4. 覆盖默认类型参数

默认值旨在简化通用场景，但允许在特殊情况下被覆盖。

1. 声明 变量 req2，显式指定 泛型参数为 number。
2. 赋值 一个对象，其 body 属性为数字。

const req2: HttpRequest<number> = {
  body: 10086
};

编译器优先使用 你传入的 number，忽略默认的 string。这确保了接口的灵活性。

5. 处理推断冲突与复杂类型

默认类型参数常与工厂函数或工具类型配合使用。以下演示在推断上下文中的表现。

1. 定义 一个处理函数 processRequest，接收参数类型为 HttpRequest。
2. 传入 一个未显式声明泛型的对象字面量。

function processRequest(req: HttpRequest) {
  console.log(req.body);
}

// 调用时，body 必须符合默认类型 string 的约束
processRequest({ body: "Automatic Inference" });

如果尝试传入 数字，例如 processRequest({ body: 123 })，编译器将抛出 类型错误，因为参数位置推断使用了默认的 string 约束。

6. 掌握高级默认推断规则

TypeScript 允许默认类型依赖前面的类型参数。这种机制需要严格按照顺序定义。

1. 定义 接口 Result，包含两个泛型参数 T 和 U。
2. 设置 U 的默认值为 T[]（即 T 的数组）。

interface Result<T, U = T[]> {
  data: T;
  history: U;
}

测试 这一机制：

1. 声明 变量 res1，仅提供 T 为 number。
2. 观察 U 是否自动变为 number[]。

const res1: Result<number> = {
  data: 1,
  history: [1, 2, 3] // 此处类型推断为 number[]
};

如果声明 变量 res2，显式提供 string 给 T，提供 boolean 给 U：

const res2: Result<string, boolean> = {
  data: "text",
  history: true // U 被显式覆盖为 boolean
};

7. 行为对比总结

下表总结了在不同声明方式下，泛型接口的推断行为。