typescript中用extends约束泛型的核心目的是确保泛型具备特定结构（如length属性或合法键名），从而在函数体内安全访问属性、精确推导类型并防止运行时错误，常见方式包括接口约束、内联结构、keyof联合类型及交叉类型组合。
在 TypeScript 中，用 extends 限制泛型范围，核心目的是让编译器“相信”该泛型一定具备某个结构——比如有 length 属性、有 id 字段，或能被当作对象安全取值。这样你才能在函数体内放心访问这些属性，而不触发类型错误。
用接口或内联结构约束必须含某属性
最常见的方式是定义一个“最小结构”，要求泛型 T 必须满足它：
- 写一个带
length: number的接口，再让T extends HasLength - 也可以不定义接口，直接内联：
<t extends length: number></t> - 调用时，
string、number[]、Uint8Array都符合；但number、boolean、空对象{}就会被拒绝
用 keyof 约束键名必须属于对象的合法属性
当你需要根据传入的对象动态读取某个字段（比如 obj[key]），光有对象类型不够，还得确保 key 是它真实存在的键：
- 声明为
<t k extends keyof t></t>，表示K只能是T所有键名的联合类型（如'name' | 'age'） - 这样
obj[key]的返回类型就能精确推导为T[K]，而不是any或unknown - 如果传了不存在的键（如
'email'），TS 会在调用处立刻报错，而不是等运行时才发现
用已知类型（如 class 或 interface）约束子类型关系
如果你希望泛型必须是某个具体类型的“实例”或“扩展”，可以直接用该类型做约束：
- 例如
<t extends user></t>，要求T至少包含User的所有必需字段（id、name） - 允许传入
{ id: 1, name: 'Alice' }，也允许{ id: 2, name: 'Bob', role: 'admin' }（多出的字段不干扰） - 但
{ id: 3 }或{ name: 'Charlie' }都会失败，因为不满足User的完整契约
组合多个约束：同时满足多个条件
有时你需要泛型既是一个对象，又有特定方法，还能被 new 调用——这时可以嵌套或交叉使用：
- 比如
<t extends record unknown> & { toJSON(): string }></t>，表示它得是字符串索引对象，且有toJSON方法 - 或者约束构造函数：
<t extends new any> any></t>，确保能用new T() - 注意：不能写成
T extends A && B，逻辑与要用交叉类型&，不是双与运算符
