TypeScript中使用forEach遍历对象键为何需要类型断言？

问题场景 #

我尝试用forEach遍历对象的键，代码如下：

const foo = {
  a: 'hello',
  b: 'world',
}

Object.keys(foo).forEach(k => console.log(foo[k]))

运行时触发了TypeScript错误：

Element implicitly has an 'any' type because expression of type 'string' can't be used to index type '{ a: string; b: string; }'.
  No index signature with a parameter of type 'string' was found on type '{ a: string; b: string; }'.ts(7053)

参考其他方案后，我用类型断言解决了问题：

Object.keys(foo).forEach(k => console.log(foo[k as keyof typeof foo]))

但我搞不懂为什么要这么做——TypeScript难道识别不出k肯定是foo的键吗？

原因解析 #

TypeScript对Object.keys()的返回类型做了保守设计：它返回的是string[]，而非(keyof typeof foo)[]。

这是因为JavaScript的对象可能存在隐式继承的键——比如所有对象都继承了toString、valueOf这些原型链属性，虽然Object.keys()只会返回对象自身的可枚举键，但TypeScript在编译期无法完全确定对象没有被动态添加额外的可枚举属性（比如通过Object.assign或者其他方式新增的键）。为了避免潜在的类型不安全访问，TypeScript只能把Object.keys()的返回值宽泛地定义为string[]。

当你用string类型的k去索引foo时，TypeScript会报错：因为foo的类型只包含a和b两个明确的键，不允许用任意字符串去索引，否则可能访问到不存在的属性，这违背了类型检查的核心目的。

解决方案的原理 #

k as keyof typeof foo是类型断言，作用是告诉TypeScript：“我能确定这个k就是foo的键类型，不用再做宽泛的检查了”。

keyof typeof foo会提取出foo对象所有键的联合类型（也就是'a' | 'b'），把k断言为这个类型后，TypeScript就明确知道foo[k]是合法的属性访问，自然就不会再抛出索引类型不匹配的错误。

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