开启strictNullChecks后报错：已检查仍提示对象可能为undefined

这个问题其实是TypeScript控制流分析的一个常见局限，我来给你拆解一下原因和解决办法：

问题根源 #

你已经做了data[i] && ...的空值检查，但TypeScript依然报错，核心原因是：

• TypeScript无法保证两次动态数组索引访问（data[i]）指向的是同一个确定的非undefined值。
• 虽然你把this.data赋值给了const data，但数组是引用类型，TypeScript会考虑到其他代码可能在两次访问之间修改数组元素的情况；同时，索引i是动态传入的参数，TypeScript无法提前确定它的合法性，也无法将第一次空值检查的结果关联到第二次索引访问上。

简单说：TypeScript的控制流分析还没聪明到能把data[i] && data[i].value里的两个data[i]认定为同一个、经过检查的值。

解决办法 #

这里有几种安全且符合TypeScript规范的解决方式：

1. 用临时变量存储数组元素（最推荐） #

把data[i]赋值给一个临时变量，TypeScript会对这个变量做类型窄化，后续访问就不会报错了：

class Smth {
  private data: Array<{ value: number} | undefined> = [];
  public doSmth(i: number) {
    const data = this.data;
    const item = data[i];
    return item && item.value === 0;
  }
}

2. 使用可选链操作符（更简洁） #

可选链?.会自动处理空值情况，当data[i]为undefined时，data[i]?.value会返回undefined，和原逻辑的判断结果一致：

class Smth {
  private data: Array<{ value: number} | undefined> = [];
  public doSmth(i: number) {
    const data = this.data;
    return data[i]?.value === 0;
  }
}

3. 非空断言（不推荐，仅在你绝对确定值存在时使用） #

如果你能100%保证data[i]一定不是undefined，可以用非空断言!强制告诉TypeScript这个值存在，但这种写法不安全，运行时如果值为undefined会直接报错：

class Smth {
  private data: Array<{ value: number} | undefined> = [];
  public doSmth(i: number) {
    const data = this.data;
    return data[i] && data[i]!.value === 0;
  }
}

内容的提问来源于stack exchange，提问作者Qwertiy