TypeScript 泛型分析
内容提要
TypeScript泛型允许将类型作为参数传入，如identity<T>，并能自动推断类型。通过extends可约束类型，如T extends Lengthwise；也可绑定类型，如getProperty中Key extends keyof Type。映射类型示例MyMapArgs展示了如何关联键与参数类型，从而避免使用as any。
延伸解读
泛型约束与类型安全
文章通过 `T extends Lengthwise` 和 `Key extends keyof Type` 展示了如何约束泛型，确保类型具有特定属性或键。这避免了在泛型中随意操作导致的类型错误，提升了代码的可靠性和可读性。例如，`getProperty` 函数中，`Key` 被约束为 `Type` 的键，因此传入不存在的键会报错。这种约束是 TypeScript 泛型实现类型安全的重要手段。
映射类型关联键与参数
文章中的 `MyMapArgs` 示例展示了如何通过映射类型将键与函数参数类型关联。通过定义 `MyMapArgs` 接口，明确每个键对应的参数元组，再基于它生成 `MyMap` 类型，使得 TypeScript 能理解键和参数之间的关系。这样在 `wrapper` 函数中就不需要 `as any` 来绕过类型检查，从而保持类型安全。
避免 as any 的类型设计
文章对比了两种实现：第一种因未显式关联键与参数类型，不得不用 `(fn as any).apply` 来绕过类型错误；第二种通过 `MyMapArgs` 建立关联后，`fn.apply` 可以直接通过类型检查。这说明了合理设计类型映射可以消除不安全的类型断言，提升代码质量。同时，文章也提到 `as any` 在循环赋值中的使用，但强调这是临时方案。
Q&A
TypeScript 泛型是什么？怎么理解它？
泛型可以理解为把类型当作变量传给类型定义，就像给函数传参数一样。例如 `function identity<Type>(arg: Type): Type`，其中 `Type` 是类型参数，调用时可以显式指定 `identity<string>("myString")`，也可以让 TS 自动推断。
TypeScript 泛型调用时一定要手动指定类型吗？
不一定。通常不需要显式指定类型，TS 会自动推断。例如 `let output = identity("myString")`，TS 会推断出 `T` 为 `string`，因此 `output` 也是 `string` 类型。
TypeScript 泛型中 extends 有什么作用？
`extends` 用于约束泛型的类型范围。例如 `function loggingIdentity<T extends Lengthwise>(arg: T): T`，要求 `T` 必须具有 `length` 属性，这样在函数内部访问 `arg.length` 才能通过类型检查。
TypeScript 泛型除了复用类型，还能做什么？
泛型还可以实现类型绑定，即让一个类型参数与同一类型定义中的其他泛型关联。例如 `function getProperty<Type, Key extends keyof Type>(obj: Type, key: Key)` 中，`Key` 被绑定到 `Type` 的键上，因此 `getProperty(x, "a")` 合法，而 `getProperty(x, "m")` 会报错。
TypeScript 映射类型怎么用？能举个例子吗？
映射类型可以基于已有类型生成新类型。例如定义 `MyMapArgs` 接口描述每个键对应的参数元组，然后通过 `type MyMap = { [K in keyof MyMapArgs]: (...args: MyMapArgs[K]) => void; }` 生成函数类型映射，从而将键与参数类型关联起来。
在 TypeScript 中如何避免使用 as any 来绕过类型检查？
可以通过建立额外的映射类型来显式关联键与参数类型。例如先定义 `MyMapArgs` 接口，再用它生成 `MyMap`，这样 TypeScript 就能理解键和参数之间的关系，从而在 `wrapper` 函数中直接使用 `fn.apply(null, arg)` 而无需 `as any`。
