TypeScript关键字之extends

场景

类型继承（interface 可用 extends 继承，type 不可以）

定义范型，约束范型必须是与目标类型匹配的(继承的)

// T 被称为泛型变量，它是我们希望传递给 identity 函数的类型占位符
function getSome<T extends P, P> (p1: T, p2: P): number {
  return 1
}

getSome({a: 1}, {a: 1, b: 3})

条件匹配，判断类型 A 是否匹配(继承)类型 B