什么是泛型约束？

泛型约束是一种在泛型类型参数上定义约束条件的机制，它可以帮助我们限制泛型类型参数的取值范围。

在 TypeScript 中，可以使用 extends 关键字来定义泛型类型参数的约束条件。例如，我们可以定义一个泛型函数，要求它的类型参数必须是实现了某个接口的类型：

interface HasLength {
  length: number;
}
function getLength<T extends HasLength>(arg: T): number {
  return arg.length;
}

上述代码中，我们定义了一个 HasLength 接口，它规定了一个 length 属性。然后，我们定义了一个泛型函数 getLength，它要求传入的类型参数 T 必须实现 HasLength 接口，也就是说，它必须有一个 length 属性。

这样，在调用 getLength 函数时，传入的参数必须满足 HasLength 接口的要求，否则会编译错误。例如，下面的调用就会报错：

getLength(123); // 编译错误：数字类型没有 length 属性

而下面的调用则不会报错，因为字符串类型符合 HasLength 接口的要求：

getLength('hello'); // 返回 5

通过泛型约束，我们可以限制泛型类型参数的范围，从而使代码更加健壮和可维护。