我们已经领略了泛型 (<T>) 的强大威力，它让我们能够创建可复用的组件，同时保持完美的类型安全。泛型就像一个万能的容器，可以容纳任何类型。然而，在某些时候，这种“万能”反而会成为一种限制。

当我们编写一个泛型函数时，我们对类型 T 的了解几乎为零。我们只知道它“存在”，但不知道它具体“能做什么”。如果我们想在函数内部访问该类型的特定属性或方法，TypeScript 编译器就会因为无法保证其存在而阻止我们。

为了解决这个问题，我们需要一种方法，为过于灵活的泛型加上一副“缰绳”，告诉编译器：“我需要的 T 不是任意类型，而是必须满足某些特定条件的类型。” 这副缰绳，就是泛型约束 (Generic Constraints)。

问题的提出：不受约束的泛型之痛

让我们来看一个常见的需求：编写一个函数，它接收一个参数，并打印出该参数的 length 属性。一个自然的泛型尝试可能是这样的：

// 这是一个错误的示例
function logLength<T>(arg: T): void {
  // 编译时错误: Property 'length' does not exist on type 'T'.
  console.log(arg.length); 
}

TypeScript 编译器会立刻报错，理由非常充分：T 代表的是任意类型。如果有人传入一个 number 或一个没有 length 属性的普通对象，这段代码在运行时就会崩溃。编译器为了防患于未然，在编译阶段就指出了这个潜在的风险。

解决方案：使用 extends 添加约束

要解决这个问题，我们需要对 T 进行约束，明确告诉 TypeScript，我们期望传入的 arg 必须是一个拥有 length 属性的类型。我们通过 extends 关键字来实现这一点。

首先，我们可以定义一个接口来描述我们所需要的“最小契约”：

interface Lengthwise {
  length: number;
}

这个接口很简单，它只规定了一个契约：任何符合 Lengthwise 的类型，都必须有一个 number 类型的 length 属性。

现在，我们可以使用 extends 关键字将这个契约应用到我们的泛型函数上：

function logLength<T extends Lengthwise>(arg: T): void {
  // 现在这里不再报错，因为 TypeScript 知道 arg 必定有 length 属性
  console.log(arg.length);
}

通过 <T extends Lengthwise>，我们与编译器达成了一个新的约定：

• T 不再是任意类型，它必须是符合 Lengthwise 接口的类型（或其子类型）。
• 因此，在 logLength 函数体内，我们可以安全地访问 arg.length，因为这个属性的存在已经得到了保证。

现在，我们的函数既保持了泛型的灵活性，又获得了操作特定属性的安全性：

logLength("Hello, world!"); // 合法，string 类型有 length 属性
logLength([1, 2, 3, 4]);     // 合法，Array 类型有 length 属性
logLength({ length: 10, value: '...' }); // 合法，对象字面量符合 Lengthwise 接口

// logLength(123); 
// 编译时错误: Argument of type 'number' is not assignable to parameter of type 'Lengthwise'.

进阶应用：使用 keyof 进行属性约束

泛型约束最强大、最巧妙的应用之一是与 keyof 操作符结合。keyof 可以获取一个类型的所有公共属性名组成的联合类型。当我们将它用于泛型约束时，可以实现对对象属性访问的完全类型安全。

设想一个函数 getProperty，它需要安全地获取一个对象上某个属性的值。

function getProperty<T, K extends keyof T>(obj: T, key: K) {
  return obj[key];
}

let person = {
  name: "Raycast",
  age: 5,
  location: "Internet",
};

// 正确使用
const personName = getProperty(person, "name"); // personName 的类型是 string
const personAge = getProperty(person, "age");   // personAge 的类型是 number

// 错误使用
// const invalidProp = getProperty(person, "email");
// 编译时错误: Argument of type '"email"' is not assignable to parameter of type '"name" | "age" | "location"'.

让我们来解析这个精巧的类型定义 K extends keyof T：

1. 我们定义了两个类型变量：T 代表对象的类型，K 代表属性键的类型。
2. keyof T 会得到 person 对象所有键的联合类型，即 "name" | "age" | "location"。
3. 约束 K extends keyof T 意味着，传入的第二个参数 key 的类型 K，必须是 "name" | "age" | "location" 这个联合类型中的一员。
4. 这完美地防止了我们传入一个对象上不存在的属性名，例如 "email"，从而在编译阶段就杜绝了因属性名拼写错误而导致的 undefined 问题。

总结

如果说泛型是 TypeScript 中用于构建可复用组件的“蓝图”，那么泛型约束就是确保这张蓝图在实际施工中不出差错的“规范说明”。

• 它通过 extends 关键字，为泛型变量设置了必须遵守的“最小契या”，将泛型的应用范围从“任意”收窄到“满足特定条件的任意”。
• 它解决了不受约束的泛型无法安全访问特定属性或方法的问题，让灵活性与安全性得以共存。
• 与 keyof 等高级类型操作符结合时，泛型约束能够创造出极其强大且类型安全的工具函数，极大地提升了代码质量和开发体验。

泛型约束是连接抽象与具体的桥梁。它将泛型从一个略显宽泛的工具，转变为一把能够进行精细操作的手术刀，是每一位希望深入掌握 TypeScript 的开发者必须精通的核心技能。