如何让IDEA允许数组元素为null时不显示空值性警告？

项目配置说明 #

项目根包下的package-info.java配置如下，约定默认参数非null，需传null时显式加@Nullable注解：

/**
 在本项目中，默认假设参数非null。
 如果参数可能为null，需标注`@Nullable`注解。
 本文件用于告知IDEA我们的空值处理规则。
 `ParametersAreNonnullByDefault`用于指定包级别的默认规则，而`DefaultQualifier`则对所有子包生效。
 */
@DefaultQualifier(Nonnull.class)
@javax.annotation.ParametersAreNonnullByDefault
package kopi.apisvc;

import org.checkerframework.framework.qual.DefaultQualifier;

import javax.annotation.Nonnull;

问题场景 #

如下代码中，formatThing方法设计为可处理数组元素为null的情况，但调用时传入null值，IDEA会弹出警告Passing 'null' argument to parameter annotated as @NotNull：

public static void doSomething(){
    @Nullable String value = null;
    var formattedValue = formatThing("", value);
    System.out.println(formattedValue);
}

public static String formatThing(Object... elements){
    // 已实现处理null数组元素的逻辑
}

要求：不修改代码逻辑、不使用Optional<>, 不添加Objects.nonNull()判断，也不在所有调用处加抑制警告注解；直接给elements参数加@Nullable不可行——该注解表示数组本身可为null（不符合需求），且添加后仍会触发警告。

解决方案 #

要告知IDEA可变参数的数组元素允许为null，需将@Nullable注解标注在数组元素的位置，而非参数本身。结合项目使用的注解体系，修改方法定义如下：

import javax.annotation.Nullable;

public static String formatThing(Object @Nullable ... elements) {
    // 已实现处理null数组元素的逻辑
}

这样配置后，IDEA会识别到该可变参数的数组元素可以为null，同时保持数组本身默认的非null约束（符合package级别的配置），不会再弹出不必要的警告。

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