集成Checker Framework遇iterating.over.nullable错误求解答

你的问题核心在于Checker Framework无法识别CollectionUtils.isEmpty()的空值检查逻辑，且两次调用delivery.getDeliveries()可能被检查器判定为返回值不固定，导致循环时仍认为列表可能为null。以下是具体解决方案：

• 将列表赋值给局部变量
  把delivery.getDeliveries()的结果暂存到局部变量中，让Checker Framework能跟踪这个变量的非空状态：

  public List<MyCustomObject> map(Delivery delivery) {
      List<MyCustomObject> delList = new ArrayList<>();
      List<MyCustomObject> deliveries = delivery.getDeliveries();
      if (!CollectionUtils.isEmpty(deliveries)) {
          for (MyCustomObject item : deliveries) {
              //Processing code
          }
      }
      return delList;
  }
  

• 给CollectionUtils.isEmpty()添加空值注解
  Checker Framework需要明确知道isEmpty()方法的行为：当返回false时，传入的集合一定非null。如果是自定义的CollectionUtils，添加@EnsuresNonNullIf注解：

  import org.checkerframework.checker.nullness.qual.EnsuresNonNullIf;
  
  public class CollectionUtils {
      @EnsuresNonNullIf(expression = "#1", result = false)
      public static boolean isEmpty(Collection<?> coll) {
          return coll == null || coll.isEmpty();
      }
  }
  

  如果使用的是Apache Commons的CollectionUtils，确保你的项目引入了Checker Framework的外部注解库（比如checker-qual和针对第三方库的注解包），让检查器能识别该方法的空值语义。

• 临时抑制错误（不推荐）
  如果暂时无法调整代码或注解，可以在循环代码块上添加抑制注解：

  @SuppressWarnings("nullness")
  for (MyCustomObject deliveries : delivery.getDeliveries()) {
      //Processing code
  }
  

  注意这只是权宜之计，会绕过检查器的空值验证，可能埋下潜在bug。

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