Java可变参数传单个null时IDEA求值与正常执行行为差异疑问

标准Java运行时的可变参数逻辑 #

可变参数String... locationIds是纯编译期语法糖，编译后方法签名的实际参数类型就是String[]，不存在运行时自动转换null的特殊逻辑，所有包装行为都是javac编译器在编译阶段完成的：

• 编译器处理可变参数方法调用时，会根据传入实参的静态类型决定传参逻辑：
  • 若实参静态类型和可变参数对应的数组类型（此处为String[]）完全匹配，编译器直接将该实参作为数组参数传入，不会创建新数组。此时如果实参本身是null，方法内拿到的参数引用就是null，执行for-each循环时读取数组长度会直接抛出NPE。
  • 若实参静态类型是可变参数的元素类型（此处为String），不管实参的实际值是不是null，编译器都会自动生成创建数组的字节码，将传入的单个元素包装为对应长度的数组。你遇到的正常运行不抛错的场景就属于这种情况：入参var的静态类型是String，即使值为null，编译器也会把调用编译为等价于validateLocationIds(new String[]{var})的字节码，方法内拿到的是长度为1、首元素为null的String数组，for-each遍历数组本身不会触发NPE。

可以用代码验证两种传参的差异：

public class VarargsTest {
    public static void validateLocationIds(String... locationIds) {
        System.out.println(locationIds == null ? "参数是null" : "参数是长度为" + locationIds.length + "的数组");
        for (String locationId : locationIds) {
            System.out.println("遍历到元素：" + locationId);
        }
    }

    public static void main(String[] args) {
        String var = null;
        // 实参静态类型是String，编译器自动包数组，输出：参数是长度为1的数组 / 遍历到元素：null
        validateLocationIds(var);

        // 实参静态类型是String[]，直接传null引用，执行for循环时抛NPE
        validateLocationIds((String[]) null);
    }
}

IDEA表达式求值抛NPE的原因 #

IntelliJ的Evaluate Expression功能没有复用javac的编译逻辑，是IDE自己实现的一套表达式解释执行引擎，对可变参数的类型判断存在实现偏差：
当求值时检测到传入的实参值为null，引擎没有正确识别该null对应的静态类型是可变参数的元素类型String，而是直接将null判定为可变参数对应的数组类型String[]的实参传入，等价于执行了上面示例里validateLocationIds((String[]) null)的逻辑，因此方法内拿到的参数是null，遍历数组时触发NPE。
这个偏差属于IDE调试功能的实现bug，和JVM、Java语言规范的标准行为无关，不影响正常编译运行的代码逻辑。

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