为什么 TypeScript 类型保护“in”不将类型缩小为 keyof 类型？

Question

考虑这个代码：

const obj = {
    a: 1,
    b: 2
}

let possibleKey: string = 'a'

if (possibleKey in obj) console.log(obj[possibleKey])

什么时候possibleKey in obj为真，我们知道它possibleKey有 type keyof typeof obj，对吧？为什么 TypeScript 类型系统没有检测到并缩小string到该类型？相反，它说：

Element implicitly has an 'any' type because expression of type 'string' can't be used to index type '{ a: number; b: number; }'.

Answer 1

根据文档：

对于n in x表达式，其中n是字符串文字或字符串文字类型并且x是联合类型，“真”分支缩小到具有可选或必需属性的类型n，而“假”分支缩小到具有可选或缺失的类型财产 n。

换句话说，n in x缩小x，不n，并且仅用于字符串文字或字符串文字类型in联合类型。要使该表达式起作用，您必须向编译器提供更多信息，例如使用类型断言：

if (possibleKey in obj) {
  console.log(obj[<keyof typeof obj>possibleKey]);
}