为何TypeScript确认key存在时仍不推断object[key]的类型？

当尝试访问object[property]时，即便通过if (!(key in object))做了键的存在性校验，TypeScript还是会抛出element implicitly has any type错误，示例代码如下：

const getValue = (key: string) => {
  const object = {
    property0: 14,
    property1: -3
  };

  if (!(key in object)) {
    throw new Error(`Invalid key: ${key}`);
  }

  return object[key]; // 报错：Element implicitly has an 'any' type because expression of type 'string' can't be used to index type '{ property0: number; property1: number; }'.
}

问题原因 #

TypeScript的in操作符类型守卫目前无法把宽泛的string类型缩小为对象的具体键名联合类型（即"property0" | "property1"）。虽然运行时能保证执行到return语句时key一定存在于object中，但编译期TypeScript无法完成这种精确的类型推断，因此只能将object[key]隐式推断为any。

现有方案的不足 #

你提到的通过声明索引签名的方式确实能解决错误，但这种方式属于过度宽泛的类型声明——它允许任意string类型的键，丢失了原对象键的具体类型信息，显得多余。

interface ObjectWithOnlyNumberProperties {
  [key: string]: number
}

const getValue = (key: string) => {
  const object: ObjectWithOnlyNumberProperties = {
    property0: 14,
    property1: -3
  };

  if (!(key in object)) {
    throw new Error(`Invalid key: ${key}`);
  }

  return object[key];
}

更优解决方案 #

方案1：限定参数为对象键的字面量联合类型

直接把key的类型限定为keyof typeof object，这样TypeScript会在编译期就拦截无效的键，无需额外的运行时校验，同时自动推断返回类型为number：

const getValue = (key: keyof typeof object) => {
  const object = {
    property0: 14,
    property1: -3
  };

  return object[key];
}

方案2：保留string参数类型，用类型断言缩小范围

如果必须保留key: string的参数类型，可以通过类型断言将key转为对象的键类型，让TypeScript正确推断返回类型：

const getValue = (key: string) => {
  const object = {
    property0: 14,
    property1: -3
  };

  if (!(key in object)) {
    throw new Error(`Invalid key: ${key}`);
  }

  return object[key as keyof typeof object];
}

这两种方案都能避免使用冗余的索引签名，同时保留精确的类型检查。

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