TS 内置工具类型中 keyof 操作符的作用是什么？

在 TypeScript 中，keyof 操作符是一个非常有用的工具，它在类型编程中发挥着重要的作用。

keyof 操作符用于获取一个对象类型的所有键（属性名），并将其组合成一个联合类型。这使得我们能够更灵活地处理对象的属性，增强了类型的安全性和可维护性。

例如，假设有一个对象类型 Person ，具有属性 name 、 age 和 city ：

interface Person {
  name: string;
  age: number;
  city: string;
}

通过 keyof Person ，我们将得到一个联合类型 'name' | 'age' | 'city' 。

keyof 的一个常见用途是在泛型函数中约束参数的类型。例如，我们可以创建一个函数，根据给定的键从对象中获取对应的值：

function getProperty<T extends object, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}

在上述函数中，K extends keyof T 确保传递给函数的 key 参数是对象 T 的有效属性名。

另外，keyof 还可以与映射类型结合使用，实现对对象属性的各种类型操作。例如，创建一个新的类型，其中每个属性都是原对象属性值的可选类型：

type OptionalPerson = { [K in keyof Person]?: Person[K] };

keyof 操作符为 TypeScript 的类型系统提供了强大的能力，让开发者能够更精确地控制和处理对象的类型结构。它有助于减少类型错误，提高代码的健壮性和可读性，使得在大型项目中进行复杂的类型操作变得更加容易和可靠。无论是处理复杂的数据结构，还是构建可扩展的库和框架，理解和熟练运用 keyof 操作符都是非常重要的。