为何已添加类型守卫，仍出现Element implicitly has an 'any'索引类型错误？

你的问题本质是TypeScript对字面量联合类型的in操作符类型守卫支持有限——虽然你用propertyKey in objectParent做了检查，但TypeScript没办法自动把propertyKey从"a" | "b" | "c" | "product" | "shipping"这个联合类型里，缩小到仅包含objectParent键的子类型。

不用类型断言的最优解是自定义类型守卫函数，明确告诉TypeScript哪些值属于对象的合法键：

const objectParent = {
  product: 'this is product',
  shipping: 'this is shipping',
};

// 先提取对象的键类型
type ObjectParentKeys = keyof typeof objectParent;

const firstOne = false;

const displayOrder = firstOne
  ? (['a', 'b'] as const)
  : (['a', 'b', 'c', 'product', 'shipping'] as const);

// 自定义类型守卫：判断key是否为objectParent的合法键
function isObjectParentKey(key: typeof displayOrder[number]): key is ObjectParentKeys {
  return key in objectParent;
}

for (const propertyKey of displayOrder) {
  if (isObjectParentKey(propertyKey)) {
    // 这里TypeScript会自动识别propertyKey为ObjectParentKeys类型，可直接索引
    console.log(objectParent[propertyKey]);
  }
}

为什么原代码的in守卫不生效？ #

displayOrder的元素是字面量联合类型，TypeScript的原生in守卫只能在面对**宽泛类型（比如string）**时，将其缩小到对象的键类型；但对于字面量联合这种精确类型，它无法推断哪些字面量是对象的合法键，因此不会自动缩小类型范围。

自定义类型守卫通过显式的类型逻辑，填补了TypeScript的这个推断空白，既符合最佳实践，又避免了类型断言带来的不安全隐患。

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