TypeScript：多个泛型变量的情况

泛型变量可以有多个，并且类型变量之间还可以约束，比如，第二个类型变量受第一个类型变量的约束。

例如：

对上面示例的说明：
1）有两个泛型参数，两个类型变量之间用逗号分隔。
2）keyof关键字接收一个对象类型，生成其键名称（可能是字符串或数字）的联合类型。
3）在本示例中，K 受T的约束，可以理解为：K只能是T所有键中的一个，或者说，只能访问对象中存在的属性。