在使用 Number.isInteger 检查 object 属性是 integer 后，object 怎么可能为 null/undefined？

Question

这是我的代码：

if (
  Number.isInteger(prevObj?.prop) &&
  Number.isInteger(nextObj?.prop) &&
  prevObj.prop !== nextObj.prop
) {
...
}

TypeScript 警告prevObj / nextObj可能是null或在检查prop是 integer后undefined 。

如果我使用typeof prevObj?.prop === 'number'而不是Number.isInteger ，警告 go 就会消失。

您能解释一下为什么 TypeScript 会显示这些警告吗？

Answer 1

TypeScript 显示这些警告是因为类型检查器不知道在您使用可选链接运算符 (?) 时定义了 prevObj 和 nextObj。 当您使用可选链接时，类型检查器认为属性的类型是实际类型和未定义的联合，因此它不知道该属性肯定是 integer。

您可以通过使用 typeof 检查属性的类型来解决此问题，正如您提到的那样，或者通过提供类型断言来告诉类型检查器 object 已明确定义：

    if (
          Number.isInteger((prevObj as { prop: number }).prop) &&
          Number.isInteger((nextObj as { prop: number }).prop) &&
          prevObj.prop !== nextObj.prop
        ) {
          // ...
    }

这将告诉类型检查器 prevObj 和 nextObj 已明确定义并且具有类型为 number 的属性 prop，因此它不会显示警告。