TypeScript函数声明中尖括号<>的含义及作用问询

嘿，这个问题问到点子上了——TypeScript里的尖括号其实是**泛型（Generics）**的语法标识，这可是TS类型系统里最强大的特性之一，咱们一步步把它说透：

为什么要引入尖括号（泛型）？ #

在泛型出现之前，要写一个能处理多种类型的函数，要么用any（直接丢失类型检查，等于白用TS），要么重复写N个逻辑完全一样但类型不同的函数（比如一个处理string数组的函数，一个处理number数组的函数）。

泛型的出现就是为了解决这个矛盾：让代码复用的同时，还能保留严格的类型安全。它把「类型」变成了可以像函数参数一样传递的变量，让你在定义组件/函数时不用固定死类型，使用时再按需指定。

编程层面的核心作用 #

简单来说就是类型参数化：

• 你可以在函数、类、接口的定义里声明一个或多个「类型变量」（比如<K>里的K）
• 这些类型变量可以在整个定义里复用，用来约束参数、返回值甚至内部变量的类型
• 使用时，TS会根据你传入的实际值自动推断类型，或者你也可以手动指定类型（比如getContent<"article">("article")）

解读你给出的函数例子 #

咱们拿这个函数拆解一下：

getContent<K extends keyof ContentMap>(content: K, conf?: ContentMap[K]["conf"]): Promise<Readonly<ContentMap[K]["content"]>>

1. 尖括号里的<K extends keyof ContentMap> #

这部分是泛型约束：

• K是我们声明的「类型变量」，相当于一个类型层面的“占位符”
• extends keyof ContentMap给K加了限制：它只能是ContentMap这个对象的键名（比如如果ContentMap是{ article: {...}, video: {...} }，那K只能是"article"或"video"）

2. 加这个尖括号的目的 #

这个泛型的作用太关键了：

• 它让getContent函数能适配ContentMap的所有键，不用给每个键单独写一个函数，大大减少了重复代码
• 同时保证了类型关联：当你传入某个具体的键（比如"article"），TS会自动把参数conf的类型匹配成ContentMap["article"]["conf"]，返回值的类型匹配成ContentMap["article"]["content"]，全程有严格的类型检查，不会出现类型不匹配的问题
• 最后返回值的Readonly还确保了返回的内容不会被意外修改，进一步提升了代码的健壮性

什么时候用尖括号，什么时候不用？ #

• 当你需要让一个函数/类/接口支持多种类型，且需要保持类型之间的关联时，就用泛型（尖括号）
• 如果你的代码只针对某一种具体类型（比如一个只返回数字的函数），直接写具体类型就行，不需要泛型

内容的提问来源于stack exchange，提问作者Michael