* 创建可重用的函数或类 * 设计通用API或库 * 使用通用默认值（``） * 实现映射类型或条件类型 * 用户提及泛型、类型参数、约束或可重用类型 **关键概念**： 1. **通用参数** : `` \- 在调用站点填写的类型变量 2. **约束** : `` \- 限制 T 的类型 3. **默认** : `` \- 未提供类型时回退 4. **映射类型**：系统地转换现有类型 **影响**：在不牺牲类型安全性的情况下编写灵活、可重用的代码。 **第 1 步：识别不同类型** 用途之间有何变化？ * 容器中的数据类型（Array、Promise） * 物体形状变化 * 根据输入返回类型 * 多种相关类型 **第2步：选择约束策略** **无限制** \- 接受任何类型函数身份（值：T）：T { 返回值； } **扩展约束** \- 需要特定形状函数 logId(item: T): void { console.log(item.id); } **联合约束** \- 有限的类型集函数 process（值：T）：T { 返回值； } **多重约束** \- 具有关系的多个类型参数函数合并 (a: T, b: U): T & U { 返回 { ...a, ...b }; } **步骤 3：设置默认值（如果需要）** 优先选择无默认值而不是“任何”默认值：接口 ApiResponse { 数据：T； } 或者需要显式类型参数：接口 ApiResponse { 数据：T； } **❌没有约束（太宽容）** 函数 getProperty(obj: T, key: string): 任意 { 返回 obj[键]； } **问题**： * `obj[key]` 不是类型安全的（T 可能没有字符串键） * 返回“any”（丢失类型信息） * IDE 没有自动完成密钥 **✅ 适当的约束** 函数 getProperty( 对象：T，键：K ): T[K] { 返回 obj[键]； } const user = { 姓名：“爱丽丝”，年龄：30 }； const name = getProperty(用户, "名称"); const invalid = getProperty(用户, "无效"); **好处**： * 类型安全的密钥访问 * 返回类型为`T[K]`（实际属性类型） * IDE 自动完成有效密钥 * 无效密钥的编译错误 ** ** ## 示例 2：通用默认值 **❌使用`any`默认值（不安全）** 接口结果 { 数据：T；错误？：字符串； } const 结果：结果 = { 数据：“任何内容”}；结果.data.nonExistentProperty; **✅ 使用`unknown`默认值（安全）** 接口结果 { 数据：T；错误？：字符串； } const 结果：结果 = { 数据：“任何内容”}； if (typeof result.data === "字符串") { console.log(结果.data.toUpperCase()); } **✅ 无默认（最好）** 接口结果 { 数据：T；错误？：字符串； } const result: Result = { data: "特定类型" }; console.log(结果.data.toUpperCase()); ** ** ## 示例 3：约束通用参数 **示例：确保对象具有 id** 接口 HasId { id：字符串； } 函数 findById(items: T[], id: string): T |未定义{ return items.find(item => item.id === id); } 常量用户 = [ { id: "1", 姓名: "爱丽丝" }, { id: "2", 姓名: "鲍勃" } ]; const user = findById(用户, "1"); **示例：确保可构造类型** 接口可构造 { new (...args: 任意[]): T; } 函数 create(构造函数: Constructable): T { 返回新的构造函数（）； } 类用户{ name = "匿名"; } 常量用户=创建（用户）； **示例：确保数组元素类型** 函数firstElement(arr: T[]): T |未定义{ 返回arr[0]； } const 第一 = 第一个元素([1, 2, 3]); const 第二 = firstElement(["a", "b"]); ** ** ## 示例 4：多种类型参数 **示例：键值映射** 函数mapObject( 对象：T， fn: (值: T[T 的键]) => U ): 记录 { const result = {} as Record; for (obj 中的 const 键) { 结果[键] = fn(obj[键]); } 返回结果； } const user = { 姓名：“爱丽丝”，年龄：30 }； const lengths = mapObject(user, val => String(val).length); **示例：条件返回类型** 函数解析( 响应：响应，类型：T ): T 扩展“json”？承诺<未知> : 承诺<字符串> { 如果（类型===“json”）{ 返回response.json() as any； } 返回response.text()作为任意； } const json = 等待解析（响应，“json”）； const text =等待解析（响应，“文本”）； ** ** ## 示例 5：映射类型 **使属性可选：** 类型部分 = { [T 调中的 P]?: T[P]; }; constpartialUser: Partial = { name: "Alice" }; **将属性设置为只读：** 类型只读 = { 只读 [P in keyof T]: T[P]; }; **选择特定属性：** 类型 Pick = { [K 中的 P]：T[P]； }; 类型 UserPreview = Pick<用户, "id" | “姓名”>；请参阅“references/detailed-examples.md”了解 DeepPartial、FilterByType 和其他复杂的映射类型模式。 ** ** ## 示例 6：条件类型 **解开承诺类型：** 类型 Awaited = T 扩展 Promise<推断 U> ？ U：T； **提取函数参数：** 类型参数 = T extends (...args: infer P) => 任何？ P：从不；请参阅“references/detailed-examples.md”了解更多条件类型模式，包括 FilterByType、嵌套 Promise 展开和参数提取。 **在此技能中：** * `references/detailed-examples.md` \- DeepPartial、FilterByType、条件类型、可构造 * `references/common-patterns.md` \- 数组操作、对象实用程序、Promise 实用程序、构建器 * `references/advanced-patterns.md` \- 递归泛型、可变参数元组、品牌类型、HKT **相关技能：** * 使用 using-type-guards 技能来缩小泛型类型 * 使用避免任何类型的技巧来实现通用默认值 * 使用 using-runtime-checks 技能来验证通用数据 * 访问属性时使用“extends”来约束泛型参数 * 使用`keyof T`进行类型安全的属性访问 * 如果真正是动态的，则使用“未知”作为通用默认值 * 根据泛型参数指定返回类型 **应该：** * 优先选择无默认值而不是“任何”默认值 * 对复杂泛型使用描述性类型参数名称 * 尽可能从使用中推断类型参数 * 使用辅助类型（选择、省略、部分）而不是手动映射 **从不：** * 使用“any”作为通用默认值 * 访问不受约束的泛型的属性 * 使用 `as any` 来绕过通用约束 * 创建过于复杂的嵌套泛型（分成更小的类型） ### 数组操作函数最后(arr: T[]): T |未定义{ 返回 arr[arr.length - 1]; } function chunk(arr: T[], size: number): T[][] { 常量块：T[][] = []； for (让 i = 0; i < arr.length; i += 大小) { chunks.push(arr.slice(i, i + size)); } 返回块； } ### 对象实用程序函数 pick( 对象：T， ...键：K[] ): 选择 { const 结果 = {} as Pick; for（键的常量键）{ 结果[键] = obj[键]; } 返回结果； } ### 类泛型类容器 { 构造函数（私有值：T）{} 地图 (fn: (值: T) => U): 容器 { 返回新容器(fn(this.value)); } } 请参阅“references/common-patterns.md”了解完整的实现，包括 Promise 实用程序、构建器、事件发射器等。 1. **限制**： * 访问属性时限制通用参数 * `keyof` 用于属性键类型 * 适当使用“extends” 2. **默认**： * 没有“任何”默认值 *“未知”用于真正的动态默认值 * 或者没有默认值（需要显式类型） 3. **类型推断**： * 从使用中推断出的类型参数 * 仅当推理失败时才显式类型 * 返回从泛型正确派生的类型 4. **复杂性**： * 泛型类型是可以理解的 * 复杂类型分成更小的部分 * 适当使用辅助类型对于高级模式，包括： * **递归泛型**（DeepReadonly、DeepPartial） * **可变元组类型**（类型安全的数组串联） * **模板文字类型**（类型级别的字符串操作） * **品牌类型**（结构系统中的标称类型） * **分配条件类型** * **高等种类**（模拟）有关详细实现和示例，请参阅“references/advanced-patterns.md”。

使用泛型

包含技能