TypeScript 的泛型不只是简单的类型占位符，它在复杂类型操作中有着非常强大的能力。通过结合条件类型、映射类型和类型推断，可以实现灵活且安全的类型检查，尤其适用于构建可复用的工具类型或库。
条件类型与泛型结合
条件类型允许你根据类型关系做“判断”。语法是 T extends U ? X : Y，表示如果 T 可以赋值给 U，则结果为 X，否则为 Y。
常见用法是过滤或转换联合类型：
type NonNullabletype Exclude
例如，Exclude 会返回 'b' | 'c'，这在定义 API 输入时很有用。
立即学习“Java免费学习笔记（深入）”；
泛型中的 infer 关键字
infer 用于在条件类型中“提取”类型信息。比如你想获取函数的返回值类型：
type ReturnTypeT extends (...args: any[]) => infer R ? R : never;
这里 infer R 表示“如果 T 是函数，就推断它的返回类型为 R”。
也可以提取参数类型：
type ParametersT extends (...args: infer P) => any ? P : never;
这种模式在封装高阶函数或中间件时特别实用。
约束泛型：extends 的高级用法
你可以用 extends 限制泛型的范围，确保传入的类型满足特定结构。
例如，只允许对象类型：
function getPropertyreturn obj[key];
}
这样调用 getProperty({ name: "hello" }, "name") 会正确推断返回 string 类型，且不允许传入无效 key。
还可以结合索引访问类型，实现深层属性获取：
type DeepGetK extends `${infer Key}.${infer Rest}`
? Key extends keyof T
? DeepGet
: never
: K extends keyof T
? T[K]
: never;
这个类型能支持类似 DeepGet 的路径访问。
映射类型与泛型组合
映射类型可以基于已有类型生成新类型。结合泛型，可以创建通用的修饰工具。
例如，将某些属性设为可选：
type PartialByKeys[P in keyof T]: P extends K ? T[P] | undefined : T[P];
};
或者创建只读子集：
type ReadOnlyByKeysreadonly [P in K]: T[P];
} & Omit
这类模式在状态管理或表单处理中很常见。
基本上就这些。TypeScript 泛型的高级用法依赖于对类型系统逻辑的理解，不复杂但容易忽略细节。熟练掌握后，能显著提升代码的类型安全性与复用性。
