TypeScript泛型解析
内容提要
本文介绍TypeScript泛型：泛型可将类型作为参数传入，如identity<T>函数；TS能自动推断类型，也可用extends约束类型。泛型还能实现类型联动，如getProperty用Key extends keyof Type绑定键与对象。文中通过wrapper函数示例，展示如何用映射类型和泛型为对象各方法添加异步包装，并解决类型关联问题。
延伸解读
泛型约束提升代码可读性与安全性
文章通过 loggingIdentity 示例说明，使用 extends 约束泛型可以确保类型具有特定属性（如 length），从而在编译时通过类型检查。这避免了因泛型过于宽泛而导致的运行时错误，同时让代码意图更清晰。读者应注意，约束不仅限于接口，也可用于数组等任何满足条件的类型。
类型联动：泛型键与对象的绑定
getProperty 示例展示了如何用 Key extends keyof Type 将键参数与对象类型绑定，确保传入的键必须是对象的有效属性。这种类型联动机制能提前发现错误，例如传入不存在的键会触发编译错误。它体现了泛型在类型复用之外的另一个重要用途：建立类型之间的关联。
映射类型与泛型结合实现异步包装
文章通过 wrapper 函数和映射类型，为对象各方法添加异步包装，并保持参数与返回类型一致。其中使用 Parameters 和 ReturnType 提取函数类型信息，但 TS 无法自动关联键与值类型，导致需要 as any 绕过检查。这揭示了泛型在复杂类型操作中的局限性。
解决类型关联问题的思路
针对上述 as any 问题，文章提出将参数类型单独映射到 MyMapArgs，再基于它构建 MyMap，使 TS 能理解键与参数类型的关联。这种方法消除了类型断言，提升了类型安全性。读者可借鉴此模式处理类似类型联动场景，但需注意其增加了类型定义的复杂度。
Q&A
TypeScript泛型是什么？能简单解释一下吗？
泛型可以理解为把类型当作参数传给类型定义，就像给函数传参数一样。例如 identity<Type>(arg: Type): Type 函数，Type 就是类型参数，调用时可以显式指定类型，也可以让 TS 自动推断。
TypeScript泛型使用时必须手动指定类型吗？
不需要。大多数情况下 TS 会自动推断类型。例如 identity("myString") 不写 <string>，TS 也会推断 T 为 string，返回值也是 string。
如何限制泛型只能接受特定类型？
可以使用 extends 对泛型进行约束。例如 <T extends Lengthwise> 表示 T 必须具有 length 属性，这样在函数内访问 arg.length 就能通过类型检查。
泛型除了复用类型还有什么作用？
泛型还能实现类型联动，即一个泛型可以绑定到同一类型定义中的其他泛型。例如 getProperty<Type, Key extends keyof Type>(obj: Type, key: Key) 中，Key 被约束为 Type 的键，从而保证传入的 key 必须是 obj 的有效属性。
如何用泛型和映射类型给对象的方法添加异步包装？
可以定义 wrapper 函数，用 K extends keyof typeof myMap 约束键，用 Parameters<typeof fn> 获取参数类型，然后通过映射类型 { [K in keyof typeof myMap]: ReturnType<typeof wrapper> } 定义包装后的对象类型。但直接这样做 TS 可能无法推断关联，需要 as any 绕过检查。
为什么在包装函数中需要把 fn 断言为 any？如何避免？
因为 TS 无法自动关联对象中键和对应函数参数的类型，所以即使使用泛型约束也无效，需要 (fn as any) 来绕过类型检查。避免的方法是把键和参数类型先映射到另一个接口（如 MyMapArgs），再用它来构造 MyMap，这样 TS 就能理解两者的关联。
