TypeScript中Object.keys的forEach无法推断枚举类型问题求助

问题背景 #

我编写了一段TypeScript代码，使用Object.keys结合forEach遍历类型为Record<MyKeyType, MyKeyFormAttribute>的枚举映射对象myKeyToFormAttribute（用于关联两个枚举），但触发了如下类型错误：

Element implicitly has an 'any' type because expression of type 'string' can't be used to index type 'Record<MyKeyType, MyKeyFormAttribute>'.
  No index signature with a parameter of type 'string' was found on type 'Record<MyKeyType, MyKeyFormAttribute>'

我通过自定义类型守卫函数验证key类型修复了问题，但仍有两个疑问：

• 为什么TypeScript无法推断遍历的key必然属于MyKeyType而非string？
• 当前方案需要两次调用Object.keys，有没有更优解决办法？

原因解析 #

为什么TypeScript不推断key为MyKeyType？ #

• 从JavaScript运行时特性来看，对象的键本质上都是字符串（或Symbol），即使你用枚举值作为键，最终也会被转为字符串类型。
• TypeScript将Object.keys()的返回值设计为string[]而非键的字面量类型数组，核心原因是对象扩展的不确定性：一个标注为Record<MyKeyType, ...>的对象，运行时可能被添加不属于MyKeyType的额外属性（比如通过Object.assign动态扩展），TypeScript无法在编译期确保对象只包含声明的键，因此只能返回最安全的string[]类型。

更优解决方案 #

不需要重复调用Object.keys，以下是几种实用方案：

1. 类型断言（简单直接） #

如果你能确保对象没有额外的非声明键，可以直接将Object.keys的结果断言为MyKeyType[]：

(Object.keys(myKeyToFormAttribute) as MyKeyType[]).forEach(key => {
  const attr = myKeyToFormAttribute[key];
  // 执行后续逻辑
});

2. 自定义泛型遍历函数（类型安全+复用性高） #

封装一个泛型函数，统一处理对象键的类型转换，避免重复代码：

function objectKeys<T extends object>(obj: T): (keyof T)[] {
  return Object.keys(obj) as (keyof T)[];
}

// 使用示例
objectKeys(myKeyToFormAttribute).forEach(key => {
  const attr = myKeyToFormAttribute[key];
  // 执行后续逻辑
});

该函数通过泛型约束和类型断言，一次性将键转换为正确的keyof T类型，同时具备复用性。

3. for...in循环+类型守卫（无断言，严格类型安全） #

如果不想使用类型断言，可结合for...in循环和类型守卫实现严格类型校验：

function isMyKeyType(key: string): key is MyKeyType {
  return Object.values(MyKeyType).includes(key as MyKeyType);
}

for (const key in myKeyToFormAttribute) {
  if (isMyKeyType(key)) {
    const attr = myKeyToFormAttribute[key];
    // 执行后续逻辑
  }
}

内容的提问来源于stack exchange，提问作者Patrick Kenny