TypeScript对数组中对象的字段进行严格的空检查

Question

在 TypeScript 中，尽管在对象数组中的可空字段上检查 null（strictNullCheck 设置为 true），编译器仍然抱怨“对象可能未定义”。考虑以下几点：

interface IA {
    d?: Date
}
const arr : IA[] = [{d: new Date()}];

console.error(arr[0].d == null ? "" : arr[0].d.toString());  
                                           // ^ complains that "Object is possibly 'undefined'

Link 到 TS PlayGround（设置 strictNullCheck 开启）

但是，如果我们有：

const a : IA = {d: new Date()};
console.error(a.d == null ? "" : a.d.toString());

那么编译器就开心了。

为什么这是期望的行为？如果我不想关闭strictNullCheck，那么正确的做法是什么？

Answer 1

TypeScript 不会通过索引来跟踪数组元素；换句话说，类型系统中没有机制可以识别两个表达式arr[0] 必然指向同一个对象。

一般来说，这是一个很好的假设，因为数组元素的顺序不保证在同一元素的任何两个观察值之间保持相同。我们可以从检查中得知，例如您没有在这两次访问之间调用 sort，但在任何其他情况下，如果两个表达式没有在另一个之后立即进行评估，则无法确定 arr[0] 两次都指向同一个对象。