在泛型中，我们可以使用 extends 关键字来约束传入的泛型参数必须符合要求。关于 extends，A extends B 意味着 A 是 B 的子类型，这里我们暂时只需要了解非常简单的判断逻辑，也就是说 A 比 B 的类型更精确，或者说更复杂。具体来说，可以分为以下几类。
😳 更精确，如字面量类型是对应原始类型的子类型 ，即 'wangp' extends string，599 extends number 成立。类似的，联合类型子集均为联合类型的子类型 ，即 1、 1 | 2 是 1 | 2 | 3 | 4 的子类型。
🐸更复杂，如 { name: string } 是 {} 的子类型，因为在 {} 的基础上增加了额外的类型，基类与派生类（父类与子类）同理。