Typescript 为什么有时需要在子函数范围内再次进行类型缩小

因为Typescript不知道回调函数是同步执行的.

这基本上是一样的:

let foo: string | null = 'abc'

if (foo) {
  setTimeout(() => foo.toUpperCase(), 1000) // Object is possibly 'null'.(2531)
}
foo = Math.random() > 0.5 ? 'def' : null

在这里，回调函数实际上是在以后执行的，任何数量的代码都已经运行了，从而改变了值.

因为这种缩小只在Typescript能够保证同步运行的范围内有效.而对于回调函数，它不能保证这一点.

我们仅有的关于forEach的类型信息是，它接受一个函数作为参数.实际调用该函数时，它根本不是类型的一部分.

在你的例子中:

function test1 (obj: Obj){
  if (obj.func !== void 0){
    arr.forEach(key => {
      obj.func(key);   // error, TS2722: Cannot invoke an object which is possibly 'undefined'.
    });
  }
}

在这里，理论上，其他一些文件中的一些代码，有对传递的obj的引用，可以将func prop设置为与判断prop的时间和实际运行回调函数的时间不同的时间.这确实是完全同步运行的，但同样，Typescript无法知道这一点.

function test3 (func?: Function){
  if (func !== void 0){
    arr.forEach(key => {
      func(key);   // ok, no second time narrowing
    });
  }
}

这是因为func的值不能从函数外变异.您正在传递一个函数或undefined，无论回调函数何时运行，该值都不会改变.

这也会起作用:

function test4 (obj: Obj){
  const func = obj.func
  if (func){
    arr.forEach(key => {
      func(key); // fine
    });
  }
}

在这里，我们将func属性本地存储在函数中.这样一来，如果其他地方发生了变化，这并不重要，因为我们有一个func的参考，从它发生变化之前.

最后，这只是函数的问题.简单的for循环Typescript可以保证同步:

function test5 (obj: Obj){
  if (obj.func){
    for (const key of arr) {
      obj.func(key); // fine
    }
  }
}

Playground