ts中的keyof 关键字

const getVal = <T,K extends keyof T>(obj:T,key:K) : T[K]=>{
  return obj[key];
}

这段代码定义了一个泛型函数 gatVal，它接受一个对象和一个键作为参数，并返回该键对应的值。这个函数使用了 TypeScript 的类型推断和类型安全特性，以确保在运行时不会出现类型错误。

这个函数的类型参数 T 表示一个对象类型，K 表示一个键类型，这个键必须是对象类型 T 的一个属性键。这意味着 K 必须是 keyof T 的一个元素，其中 keyof T 表示 T 类型的所有属性键的联合类型。

在函数体中，我们通过 obj[key] 访问了对象 obj 中键为 key 的属性值，并使用类型断言将其断言为 T[K] 类型。这意味着我们确信这个属性值具有与 T[K] 相同的类型。

这个函数在类型安全方面非常有用，因为它可以确保我们只能访问对象的有效属性，并返回正确的类型。