JavaScript类型检查_TypeScript泛型高级用法-js教程-PHP中文网

JavaScript类型检查_TypeScript泛型高级用法

幻影之瞳

发布： 2025-11-20 20:15:43

原创

673人浏览过

javascript类型检查_typescript泛型高级用法

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 限制泛型的范围，确保传入的类型满足特定结构。

Text Mark

处理文本内容的AI助手

查看详情

例如，只允许对象类型：

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 泛型的高级用法依赖于对类型系统逻辑的理解，不复杂但容易忽略细节。熟练掌握后，能显著提升代码的类型安全性与复用性。

以上就是JavaScript类型检查_TypeScript泛型高级用法的详细内容，更多请关注php中文网其它相关文章！

大家都在看：

JavaScript消息队列_事件发布订阅模式实现 JavaScript_GraphQL接口设计与实现 JavaScript高级编程_深入理解现代JavaScript开发实践 JS注解怎么标注回调函数_ JS回调函数参数的注解方式与示例服务端JavaScript_Node.js事件驱动架构