TypeScript中for...in遍历对象时为何类型为string？如何实现类型安全遍历？

这个问题一点都不傻哦！很多刚接触TypeScript的小伙伴都会碰到这个疑惑，我来给你好好捋一捋～

为什么for...in的property类型是string？ #

TypeScript这么设计其实是出于类型安全的考量。JavaScript里的for...in会遍历对象所有可枚举的属性，包括原型链上继承来的属性（比如toString、valueOf这些内置方法）。

举个例子：假设你定义了一个对象const user = { name: "张三", age: 25 }，但如果某个地方给Object.prototype添加了一个自定义属性，for...in也会遍历到它。TypeScript没办法提前知道你的对象会不会被额外扩展，所以默认把遍历出来的键类型设为string，避免你误以为只能访问对象自身的属性，从而引发潜在的类型错误。

另外，TypeScript的结构类型系统允许对象有“额外属性”——比如你定义了一个接口User { name: string; age: number }，但实际传入的对象可能带有gender属性，for...in也会遍历到这个额外属性，用string类型可以兼容这种场景。

如何实现类型安全的for...in遍历？ #

下面给你几种实用的方法，根据你的场景选择就行：

方法1：类型断言（简单直接） #

如果你确定遍历的对象没有额外属性，可以直接把property断言为keyof typeof myObject：

const myObject = { name: "Alice", age: 30 };
for (const property in myObject) {
  // 把property断言为对象的键类型
  const value = myObject[property as keyof typeof myObject];
  console.log(`${property}: ${value}`);
  // 这里value的类型会被正确推断为string | number
}

⚠️ 注意：如果对象实际有额外属性，这种方法可能会导致类型不准确，所以只适合你能确保对象结构严格符合预期的场景。

方法2：结合Object.keys与类型断言 #

用Object.keys获取对象的键数组，再断言为keyof类型数组，然后用forEach遍历：

const myObject = { name: "Alice", age: 30 };
// 把键数组断言为keyof类型数组
(Object.keys(myObject) as Array<keyof typeof myObject>).forEach(key => {
  const value = myObject[key];
  console.log(`${key}: ${value}`);
});

这种方式和方法1类似，同样需要确保对象没有额外属性。

方法3：自定义类型守卫（最安全） #

如果想兼顾灵活性和类型安全，可以写一个类型守卫函数，用来判断遍历到的键是否属于对象自身的键：

// 类型守卫函数：判断key是否是obj的键
function isKeyOf<T>(obj: T, key: string): key is keyof T {
  return key in obj;
}

const myObject = { name: "Alice", age: 30 };
for (const property in myObject) {
  // 用类型守卫过滤掉原型链上的属性
  if (isKeyOf(myObject, property)) {
    const value = myObject[property];
    console.log(`${property}: ${value}`);
    // 这里property的类型会被推断为"name" | "age"
  }
}

这种方法最严谨，即使对象原型链上有额外属性，也会被过滤掉，确保只处理对象自身的属性。

内容来源于stack exchange