typescript中keyof返回类型所有属性名联合类型，索引访问类型t[k]提取对应属性类型；二者结合可实现类型安全的泛型工具和映射类型。
在 TypeScript 中，索引访问类型（Index Access Types）和 keyof 操作符配合使用，可以精准提取对象中某个属性的类型，或遍历所有属性名并获取对应类型。这是实现类型安全、泛型工具类型（如 Pick、Record）的基础能力。
用 keyof 获取对象属性名联合类型
keyof 作用于一个类型，返回该类型所有可访问属性名组成的字符串字面量联合类型（即 "name" | "age" | "id"）。它只包含公共、确定存在的属性（不包括可选属性以外的计算属性或 symbol 属性，除非显式声明）。
例如：
type User = {
id: number;
name: string;
email?: string;
};
type UserKeys = keyof User; // 类型为 "id" | "name" | "email"
注意：email 是可选属性，但仍被 keyof 包含，因为它是明确声明的属性名。
用索引访问类型 T[K] 提取指定属性的类型
语法 T[K] 表示“类型 T 中键为 K 的属性的类型”。其中 K 必须是 keyof T 的子类型（即只能是 T 的合法键）。
常见用法：
- 提取单个属性类型：
User["name"]→string - 结合
keyof提取任意键对应的类型：User[keyof User]→number | string | undefined（联合所有属性类型） - 在泛型中约束键与值的对应关系：
function getProperty<t k extends keyof t>(obj: T, key: K): T[K] {
return obj[key];
}
const user = { id: 123, name: "Alice" };
const name = getProperty(user, "name"); // 类型推导为 string
// const x = getProperty(user, "age"); // 编译错误：类型 '"age"' 的参数不能赋给类型 '"id" | "name"' 的参数
</t>
组合使用实现类型安全的属性操作
把 keyof 和索引访问类型结合起来，能写出更健壮的工具函数和类型别名：
- 定义只允许传入对象已有属性名的函数参数
- 构建映射类型，如
Partial<t></t>内部就依赖T[K] - 从接口生成配置项类型（比如只允许配置某些字段）：
type ConfigurableFields = "name" | "email";
type UserConfig = {
[K in ConfigurableFields]?: User[K]; // User["name"] 是 string，User["email"] 是 string | undefined
};
// 等价于：{ name?: string; email?: string | undefined }
注意事项与常见误区
以下情况需特别留意：
-
keyof不包含继承自原型链的属性（如toString），只看类型自身显式定义的字段 - 若对象类型含索引签名（如
[key: string]: number），则keyof T会变成string，此时T[string]就是索引签名的值类型 - 对联合类型使用
keyof时，结果是各类型共有属性的交集；而T[K]在联合类型中会做分布（distributive），需小心歧义 - 不能直接对值（如
{a: 1}["a"]）使用索引访问类型——必须作用于类型（如typeof obj["a"]）
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
