# 将泛型视为类型之间的函数 ## 概述泛型类型是值空间中函数的类型级别等效项。正如函数接受参数并返回值一样，泛型类型接受类型参数并生成具体类型。这种心理模型通过应用与编写函数相同的原则来帮助您编写更好的泛型类型：约束输入、选择好的名称和记录行为。将泛型理解为类型之间的函数，可以阐明何时使用约束、如何命名类型参数以及为什么某些泛型模式有效而其他模式无效。这种观点对于 TypeScript 中有效的类型级编程至关重要。 ## 何时使用此技能 * 定义转换其他类型的泛型类型 * 编写带有类型参数的泛型函数 * 限制哪些类型可以传递给泛型 * 使用 TSDoc 记录泛型类型 * 创建可重用类型实用程序 ## 铁律 **将泛型类型视为类型之间的函数：使用扩展来约束输入（例如类型注释）、选择描述性名称以及使用 @template TSDoc 编写文档。** ## 检测留意这些模式： // 危险信号 - 糟糕的通用设计类型 MyPick = { [P in K]: T[P] }; // 没有约束，执行时出错类型 BadGeneric = ...; // 没有上下文的单字母名称函数解析（输入：字符串）：T； // 仅返回通用的，不比任何更好 ## 作为函数的泛型类型泛型类型采用类型参数并生成具体类型： // 通用类型“函数” type MyPartial = { [K in keyof T]?: T[K] }; // 使用 Person“调用”该函数类型 PartPerson = MyPartial; // 相当于： { name?: string;年龄？：数字； } 就像函数一样，泛型类型可以有多个参数： // 两个类型参数 type MyPick = { [P in K]: T[P] }; // 用法类型 NameOnly = MyPick; // 等价于: { name: string } ## 约束类型参数使用“extends”来约束类型参数，就像对函数参数使用类型注释一样： // 好：受约束的类型参数类型 MyPick = { [K 中的 P]：T[P] }; // 无约束 - 允许无效实例化类型 BadPick = { [P in K]: T[P] }; // 执行中的错误 // 约束捕获的无效使用：类型 Bad1 = MyPick; // 错误：“firstName”不是人称类型 Bad2 = MyPick<'年龄', 人员>; // 错误：字符串不满足对象 ## 命名类型参数选择描述性名称，尤其是对于复杂的泛型： // 短名称适用于简单的本地泛型 type Partial = { [K in keyof T]?: T[K] }; // 复杂或导出泛型的较长名称输入 MapValues< ObjectType 扩展对象， ValueTransformer 扩展 (值: 任意) => 任意 > = { [ObjectType key 中的键]: ValueTransformer }; ## 记录泛型使用 `@template` TSDoc 标签来记录类型参数： /** * 使用另一个对象类型的属性子集构造一个新的对象类型。 * @template T - 原始对象类型 * @template K - 要选择的键，通常是字符串文字类型的联合 */ 类型 MyPick = { [K 中的 P]：T[P] }; ## 通用函数泛型函数定义关联的泛型类型并启用类型推断：函数 pick( 对象：T， ...键：K[] ): 选择 { const 结果：Partial> = {}； for (const k 个键) { 结果[k] = obj[k]; } 返回结果为 Pick； } // TypeScript 从参数推断类型 const person = { 姓名：'爱丽丝'，年龄：30 }; const nameOnly = pick(人, '名字'); // 类型：Pick<{ 名称：字符串；年龄：数字 }, '姓名'> ## 泛型类泛型类捕获不需要传递给方法的类型：类框 { 值：T；构造函数（值：T）{ this.value = 值； } 获取值（）：T { 返回这个值； } } // 从构造函数推断类型 const dateBox = new Box(new Date()); // 类型：Box<日期> ## 抗压协议当被迫使用不受约束的泛型时： 1. **添加约束** ：使用 `extends` 来限制有效类型参数 2. **考虑默认值**：为类型参数提供合理的默认值 3. **文档要求**：使用TSDoc来解释约束 4. **测试边缘情况**：验证泛型是否可以与联合和边缘情况配合使用 ## 危险信号反模式|为什么它很糟糕 ---|--- 无约束类型参数 |允许无效实例化、实现错误复杂泛型中的单字母名称 |降低可读性仅返回泛型 |相当于类型断言，没有类型安全公共仿制药缺少 TSDoc |开发者体验差 ## 常见的合理化 ###“约束限制了灵活性” **现实**：约束在类型级别捕获错误，而不是产生令人困惑的类型错误或错误的类型。它们记录了有效的用法。 ###“T、K、V 是标准名称” **现实**：它们对于简单情况来说是常规的，但描述性名称可以提高复杂泛型的可读性。将名称长度与范围匹配。 ###“用户可以找出类型” **现实**：文档可以帮助用户理解泛型而无需阅读实现。 @template 标签出现在 IDE 工具提示中。 ## 快速参考概念 |价值水平|类型级 ---|---|--- 定义 | `函数` | `类型` 参数| `(x: T)` | `` 返回 | `: 返回类型` | `= 结果类型` 文档 | `@param` | `@模板` 限制条件|键入注释 | `extends` 关键字 ## 底线泛型类型是类型之间的函数。应用与编写函数相同的原则：限制输入、选择有意义的名称并彻底记录。这种心理模型使复杂的类型级代码更易于访问和维护。 ## 参考 * 有效的 TypeScript，第二版，作者：Dan Vanderkam * 第 50 项：将泛型视为类型之间的函数

泛型作为函数

包含技能