我正在尝试访问object[property]，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]
}

如果我们不知道property in object是否为真，我们必须自己为TypeScript提供索引签名，也就是说，如果我们从该函数中删除了if(!(key in object))条件，TypeScript * 应该 * 抛出错误，直到我们手动注意到object的索引签名。
但是看起来，如果我们在编译时知道key在object中，当我们执行return语句时，TypeScript不应该为这个函数抛出这样的错误，而是应该推断getValue的返回类型为number。
我可以通过手动记录object的索引签名来解决此问题：

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]
}

但似乎我不必这样做，而且object[key]的类型应该在编译时可以推断为typeof property0 | typeof property1，因为我们知道key in object是真的。