空集合与null集合的foreach循环行为及异常抛出机制咨询

这个问题问得特别到位，很多开发者都会在这个点上踩坑，我来给你拆解清楚：

首先明确核心行为：当你把null赋值给集合变量，然后用foreach循环遍历它时，会在循环执行的第一时间直接抛出NullPointerException（空指针异常），而且完全不会进入循环体执行任何代码。

为什么会抛出异常？底层是怎么实现的？ #

你提到的“是用if判断、Objects.requireNonNull()还是其他方式”——其实都不是，这本质是Java foreach语法糖的编译逻辑导致的：

Java的foreach循环是语法糖，编译器会把它翻译成基于迭代器的传统循环。比如你写的这段代码：

Collection<String> c = null;
for (String item : c) {
    System.out.println(item);
}

编译后会被转换成类似这样的代码：

Collection<String> c = null;
Iterator<String> iterator = c.iterator(); // 关键就在这一行！
while (iterator.hasNext()) {
    String item = iterator.next();
    System.out.println(item);
}

当c是null时，调用c.iterator()就是对一个null引用调用实例方法，这在Java里本身就会触发NullPointerException——这是Java虚拟机的原生行为，不需要编译器额外加判断或者调用Objects.requireNonNull。

有没有官方规范依据？ #

其实Java语言规范里明确了foreach循环的语义：它等价于通过迭代器遍历集合的代码。如果foreach循环的目标表达式（也就是这里的c）的值为null，那么在尝试获取迭代器的步骤（也就是调用iterator()方法）时，就会抛出NullPointerException，和你直接写c.iterator()的行为完全一致。

所以总结下来，异常的抛出逻辑就是这么直接：null引用调用实例方法触发NPE，没有额外的包装逻辑。

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