为何用in操作符验证后，TypeScript仍禁止使用string作为对象索引？

你遇到的问题核心在于TypeScript的类型窄化规则限制：只有当被检查的对象是联合类型时，in操作符才会触发类型窄化。如果someObject是普通的对象类型（比如{ name: string; age: number }），而fieldName是宽泛的string类型，TypeScript没办法通过in把fieldName的类型自动收缩为keyof typeof someObject——毕竟string包含了无数可能的键，编译阶段它没法确定你这个fieldName到底是对象的哪个具体属性。

哪怕你觉得退一步设为any也合理，但TypeScript默认不会这么做，因为它的设计原则是优先保证类型安全，不会自动放弃类型检查。

解决方法 #

1. 类型断言（快速但需自行保证正确性） #

直接把fieldName断言成目标对象的键类型，强制TypeScript认可这个访问：

if (fieldName in someObject) {
  const fieldValue = someObject[fieldName as keyof typeof someObject];
}

注意：这种方式需要你自己确保运行时fieldName确实是对象的有效键，否则会有潜在风险。

2. 自定义类型守卫（更安全的类型窄化） #

写一个简单的类型守卫函数，让TypeScript明确识别fieldName是否为对象的有效键：

function isKeyOf<T extends object>(obj: T, key: string | number | symbol): key is keyof T {
  return key in obj;
}

// 使用方式
if (isKeyOf(someObject, fieldName)) {
  const fieldValue = someObject[fieldName]; // 这里fieldName会被自动窄化为keyof typeof someObject，fieldValue类型是对应属性的联合类型
}

这种方式既保留了运行时检查，又让TypeScript正确进行类型推导，是更推荐的做法。

3. 强制设为any（不推荐，除非必要） #

如果确实不需要类型检查，也可以直接把属性值断言为any：

if (fieldName in someObject) {
  const fieldValue = someObject[fieldName] as any;
}

但这样会完全失去TypeScript的类型保护，除非万不得已不建议使用。

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