若Java增强for循环支持null集合且跳过循环，与显式判空是否等效？

1. 两种写法的功能差异 #

假设增强for循环允许遍历null集合且静默跳过的情况下，这两种写法在功能上完全没有差异。

当集合x为null时，两种写法都不会执行循环体中的something()方法，行为完全一致。本质上，假设的增强for循环特性就是把手动的null检查逻辑隐式嵌入到语法糖中，和显式写if (x != null)再循环是等价的。

允许的写法：

var x = (Collection<String>) null;
for (String y : x) {
    something();
}

对比写法：

var x = (Collection<String>) null;
if (x != null) {
    for (String y : x) {
        something();
    }
}

2. Java不支持该特性的原因 #

Java没有加入这个特性，主要和设计理念、历史实现及一致性有关：

• 快速失败（Fail-fast）原则：Java的设计倾向于在出现异常情况时立刻抛出错误，而非静默处理。如果增强for循环跳过null集合，可能会隐藏开发者的疏忽（比如误以为集合已经被正确初始化），导致bug难以排查。抛出NullPointerException能让开发者快速定位到null的问题点。
• 字节码实现的历史逻辑：增强for循环是语法糖，编译后会转换为调用集合的iterator()方法来遍历。原始实现中没有添加null检查，直接调用x.iterator()会因为x为null抛出NPE。如果要支持null跳过，需要在字节码中额外插入判空指令，但Java团队认为这种场景的收益不足以抵消额外的字节码开销和设计理念的冲突。
• 行为一致性：增强for循环不仅支持Collection，还支持数组。如果让Collection为null时跳过循环，那数组为null时是否也要遵循同样逻辑？但数组的增强for循环遇到null同样会抛出NPE，为了保持不同类型遍历行为的一致性，Java没有为Collection单独修改这个逻辑。

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