泛型约束是一种在泛型类型参数上定义约束条件的机制，它可以帮助我们限制泛型类型参数的取值范围。
在 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通过泛型约束，我们可以限制泛型类型参数的范围，从而使代码更加健壮和可维护。
)
