在 typescript 中使用 `for..in` 遍历对象时，循环变量默认被推断为 `string` 类型，导致无法安全索引目标对象。本文介绍如何通过显式声明 `keyof typeof` 类型，实现类型精准、零错误的键遍历。
TypeScript 的 for..in 语句在类型推断上存在一个常见陷阱：它不会自动将迭代变量约束为被遍历对象的实际键类型，而是统一赋予 string 类型。这会导致在后续用该变量索引对象（如 files[file]）时触发类型错误——因为 string 并不必然属于 Files 的有效键集合，TS 无法保证索引安全性。
以原始代码为例：
class Files {
patches?: Data;
website?: Data;
github?: Data;
}
const files: Files = {};
for (const file in Files.prototype) {
if (files[file]) { // ❌ 错误：'string' 不能用于索引 'Files'
console.log(files[file]);
}
}此处 file 被推断为 string，而 Files 没有字符串索引签名（[key: string]: any），因此编译失败。
✅ 正确解法是分离声明与赋值，显式将循环变量声明为精确的键类型：
const files: Files = {};
// 显式声明为原型对象的键类型（即 'patches' | 'website' | 'github'）
let file: keyof typeof Files.prototype;
for (file in Files.prototype) {
// ✅ 类型安全：file 现在是联合字面量类型，可安全索引 files
if (files[file]) {
console.log(files[file]);
}
}? 关键点解析：
- typeof Files.prototype 获取类原型的类型（即 { patches?: Data; website?: Data; github?: Data }）；
- keyof T 提取该类型所有可选/必需属性名的联合字面量类型（如 'patches' | 'website' | 'github'）；
- 使用 let file: ... 声明而非 for (const file of ...)，是因为 for..in 不支持在循环头中进行类型注解，必须提前声明。
⚠️ 注意事项：
- Files.prototype 包含的是实例属性（非静态成员），若需遍历静态属性，请改用 keyof typeof Files 并确保静态字段已正确定义；
- 若目标对象为普通对象（非类），可直接用 keyof MyObject；
- for..in 会枚举原型链上的可枚举属性，如仅需自身属性，建议配合 Object.prototype.hasOwnProperty.call(Files.prototype, file) 过滤；
- 更现代、更安全的替代方案是优先使用 Object.keys(obj) as (keyof typeof obj)[] + for...of，例如：
for (const key of Object.keys(Files.prototype) as (keyof typeof Files.prototype)[]) { if (files[key]) console.log(files[key]); }
综上，通过显式键类型声明，我们既能保留 for..in 的动态遍历能力，又能获得完整的 TypeScript 类型保障，避免隐式 any 和运行时索引错误。
