TypeScript 的泛型不只是简单的类型占位符，它在复杂类型操作中有着非常强大的能力。通过结合条件类型、映射类型和类型推断，可以实现灵活且安全的类型检查，尤其适用于构建可复用的工具类型或库。

条件类型与泛型结合

条件类型允许你根据类型关系做“判断”。语法是 T extends U ? X : Y，表示如果 T 可以赋值给 U，则结果为 X，否则为 Y。

常见用法是过滤或转换联合类型：

type NonNullable = T extends null | undefined ? never : T;
type Exclude = T extends U ? never : T;

例如，Exclude<'a' | 'b' | 'c', 'a'> 会返回 'b' | 'c'，这在定义 API 输入时很有用。

立即学习“Java免费学习笔记（深入）”；

泛型中的 infer 关键字

infer 用于在条件类型中“提取”类型信息。比如你想获取函数的返回值类型：

type ReturnType =
  T extends (...args: any[]) => infer R ? R : never;

这里 infer R 表示“如果 T 是函数，就推断它的返回类型为 R”。

也可以提取参数类型：

type Parameters =
  T extends (...args: infer P) => any ? P : never;

这种模式在封装高阶函数或中间件时特别实用。

约束泛型：extends 的高级用法

你可以用 extends 限制泛型的范围，确保传入的类型满足特定结构。

deep-java-review

Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...

下载

例如，只允许对象类型：

function getProperty(obj: T, key: K) {
  return obj[key];
}

这样调用 getProperty({ name: "hello" }, "name") 会正确推断返回 string 类型，且不允许传入无效 key。

还可以结合索引访问类型，实现深层属性获取：

type DeepGet =
  K extends `${infer Key}.${infer Rest}`
    ? Key extends keyof T
      ? DeepGet
      : never
    : K extends keyof T
      ? T[K]
      : never;

这个类型能支持类似 DeepGet<{ user: { name: string } }, "user.name"> 的路径访问。

映射类型与泛型组合

映射类型可以基于已有类型生成新类型。结合泛型，可以创建通用的修饰工具。

例如，将某些属性设为可选：

type PartialByKeys = {
  [P in keyof T]: P extends K ? T[P] | undefined : T[P];
};

或者创建只读子集：

type ReadOnlyByKeys = {
  readonly [P in K]: T[P];
}  & Omit;

这类模式在状态管理或表单处理中很常见。

基本上就这些。TypeScript 泛型的高级用法依赖于对类型系统逻辑的理解，不复杂但容易忽略细节。熟练掌握后，能显著提升代码的类型安全性与复用性。