Typescript为什么类型防护不能对可为null的联合类型的对象的数组按预期方式工作（启用strictNullChecks）

Question

type Field = {test: {more: number} | null}
let fields: Field[] = [{test: {more: 55}}]

无论类型类型为守卫，Transpiler都会引发错误：

if (fields[0].test) {
  fields[0].test.more = 55 // object is possibly null
} 

这里没有错误：

function f(field: Field) {
  if (field.test) field.test.more = 15 // no error
}

Answer 1

类型流不跟踪数组索引访问，因此它不会记住您在0索引中检查了null 。 考虑到这一点，但出于性能方面的考虑 ，显然没有实现。您可以将值放在局部变量中，并且类型防护将在以下方面按预期工作：

type Field = {test: {more: number} | null}
let fields: Field[] = [{test: {more: 55}}]
let d = fields[0];
if (d.test) {
    d.test.more = 55 // object is possibly null
} 

Answer 2

好吧，似乎TypeScript不能跟踪Array索引中的空值，这有点奇怪...也许可以在GitHub上打开一个有关它的问题。 无论如何，有一种方法可以防止该错误。 进行检查后，您知道test不为null ，因此您可以执行以下操作：

if (fields[0].test !== null) {
  fields[0].test!.more = 55 // object is possibly null
}

! 经过test后，将告诉编译器该变量已定义，并且不同于null或undefined 。