TypeScript 怎么用 keyof typeof 从常量对象自动推导联合类型？

Question

仓乃文 · Accepted Answer

定义常量对象后手动写联合类型容易不同步，改了对象忘了改类型。keyof typeof 从值自动推导键名联合类型，改对象时类型自动更新，彻底消除手动维护的同步问题。

从对象推导键名联合：
```typescript
const STATUS_MAP = {
  pending: "待处理",
  active: "进行中",
  completed: "已完成",
  cancelled: "已取消"
} as const;

type StatusKey = keyof typeof STATUS_MAP;
// "pending" | "active" | "completed" | "cancelled"

type StatusValue = typeof STATUS_MAP[StatusKey];
// "待处理" | "进行中" | "已完成" | "已取消"
```

替代手动枚举：
```typescript
// 不推荐：手动维护，容易不同步
type Status = "pending" | "active" | "completed";

// 推荐：从常量自动推导
const STATUS = { pending: 0, active: 1, completed: 2 } as const;
type Status = keyof typeof STATUS;  // "pending" | "active" | "completed"
```

函数参数约束：
```typescript
function getStatusLabel(key: keyof typeof STATUS_MAP): string {
  return STATUS_MAP[key];
}
getStatusLabel("active");     // OK
getStatusLabel("unknown");   // 报错
```

补充说明：
- typeof 获取变量的类型，keyof 提取类型的键名
- 配合 as const 可以同时获得精确的值类型
- 适合 API 状态码、权限映射、主题配置等场景
- 对象属性增删后联合类型自动更新
- 也可以用于 class：keyof typeof MyClass 获取静态方法名