开启strictNullChecks后使用非空断言运算符是否合规？最佳实践探讨

合规性说明 #

TypeScript完全允许开发者在确定值不为null或undefined时使用非空断言运算符!——这正是该运算符的设计初衷：当类型检查器无法自动推导值的非空状态，但开发者通过业务逻辑能明确判断时，用!来覆盖类型检查器的限制。

你提到的示例场景中，即便已经通过if语句判断了this.objArray[ix].arrayItem存在，但由于TypeScript无法追踪动态数组索引对应的元素状态，所以没自动识别非空性，这时添加!是完全合规的写法。

最佳实践 #

虽然非空断言合法，但要谨慎使用，避免引入运行时风险，以下是具体建议：

• 优先让类型检查器自动推导：尽量通过代码结构优化让TypeScript能自行识别非空状态。比如将目标值赋值给临时变量后再做判断：

  const targetItem = this.objArray[ix].arrayItem;
  if (targetItem) {
    // 此处targetItem会被自动推导为非空类型，无需!
    handleItem(targetItem);
  }
  

  这种方式能减少手动断言的依赖，让代码更安全。
• 仅在100%确定非空时使用：非空断言会完全跳过TypeScript的空值检查，一旦运行时出现null/undefined，会直接抛出错误。必须确保业务逻辑能绝对保证值的非空性。
• 替代方案：显式类型守卫或断言：如果不想用!，可以封装自定义类型守卫函数，帮助TypeScript更精确地推导类型；或者使用显式类型断言（如this.objArray[ix].arrayItem as TargetType），但本质和非空断言类似，同样需要确保逻辑可靠。
• 减少滥用：优化类型与逻辑：如果代码中频繁出现!，可能意味着类型定义不够精准，或者数据结构设计有优化空间。比如给数组元素添加更明确的非空类型注解，或者调整逻辑避免动态索引带来的类型模糊。

内容的提问来源于stack exchange，提问作者L. Kvri