ts泛型约束

我们一般使用extends来继承接口或者类，但是extends还可以用来泛型约束

function getNames<T extends { name: string }>(data: T[]): string[] {
    return data.map((v, k) => v.name);
}

比如，以上代码对传入的参数进行了约束，传入的参数必须要有name这个属性，否则就会出错

条件类型与高阶类型，extends还有一大用途就是用来判断一个类型是不是可以分配给另一个类型，这在写高级类型的时候非常有用，举个例子

type Lihua = {
    name: string;
}
type Xiaoming = {
    name: string;
}
type Bool = Lihua extends Xiaoming ? 'yes' : 'no'; // Bool => 'yes'