TypeScript 怎么用泛型约束限制类型参数的范围？

Question

仓乃文 · Accepted Answer

泛型参数 T 默认可以是任何类型，函数内部无法安全访问属性。extends 约束泛型参数必须满足特定条件，既保留泛型的灵活性，又确保类型参数具有必要的属性或结构。约束必须有某个属性： ```typescript function getLength(value: T): number { return value.length; } getLength("hello"); // OK：string 有 length getLength([1, 2, 3]); // OK：array 有 length getLength(123); // 报错：number 没有 length ``` 约束为特定联合类型： ```typescript function setTheme(theme: T): T { document.body.className = theme; return theme; } setTheme("light"); // OK setTheme("blue"); // 报错 ``` 约束为另一个泛型： ```typescript function getProperty(obj: T, key: K): T[K] { return obj[key]; } const user = { name: "Tom", age: 18 }; getProperty(user, "name"); // OK：返回 string getProperty(user, "email"); // 报错："email" 不是 keyof user ``` 补充说明： - extends 约束不等同于条件类型中的 extends 判断 - 多个约束用交叉类型：T extends A & B - 约束太宽失去类型安全，太窄失去泛型灵活性 - keyof T 是最常见的泛型约束之一 - 泛型默认值：T extends string = "default"