typescript的泛型的key部分用法

这里例子里使用K extends keyof T 表示K是T的key的数组的继承，于是就可以直接当做下标T[K]来用

还可以拿来判断类型K是否存在于T类型中，有点意思