为什么在 Java 中迭代 Empty Map 不会引发任何异常

Question

我遇到了下面的代码，我希望 Java 能够通过异常，因为我正在迭代的 List 是空的。

public static void main(String[] args) {

   final List<Map<String, Object>> candidateList = new ArrayList<>();

    for (final Map<String, Object> candidate : candidateList) {

        if (candidate.isEmpty()) {

            System.out.println("Empty!!!");

        }

    }

}

但是代码执行时没有抛出任何错误或异常。

Answer 1

解释您正在使用增强的 for 循环：for (final Map<String, Object> candidate : candidateList) {&nbsp; &nbsp; ...}编译器将其替换为与以下源代码等效的字节码：Iterator<Map<String, Object>> elementIter = candidateList.iterator();while (elementIter.hasNext()) {&nbsp; &nbsp; final Map<String, Object> candidate = elementIter.next();&nbsp; &nbsp; ...}如果不再有下一个元素，虽然elementIter.next()确实会抛出 a NoSuchElementException（请参阅文档），但首先检查循环条件：while (elementIter.hasNext()) {并在您的情况下Iterator#hasNext返回false。请参阅文档：true如果迭代有更多元素，则返回。（换句话说，return trueifnext()会返回一个元素而不是抛出异常。）所以你的循环永远不会进入。这也是为什么您不会看到循环设计者所希望的任何异常的原因。与常规循环的比较为了进行比较，让我们尝试使用常规循环迭代一个空数组：int[] values = new int[0];for (int i = 0; i < values.length; i++) {&nbsp; &nbsp; System.out.println(values[i]);}代码运行良好，没有任何异常，原因与之前相同。条件解决为i < 0对于第一次迭代 ( i = 0)，这已经是错误的。所以永远不会进入循环。这意味着增强的 for 循环的行为与常规循环的此示例相同。

Answer 2

库设计者决定不抛出异常，因为他们认为这将使使用库的代码更干净。如果它确实抛出了一个异常，你必须每次都检查集合是否为空，而不是仅仅迭代它并依赖于什么都不发生。设计师在不同的情况下做出了不同的决定。例如，Iterables.find(iterable, predicate)如果不存在与谓词匹配的元素，当它可能刚刚返回null等时，Guava 会抛出异常。用于决定是否抛出异常的经验法则是：如果使用参数的调用很可能是由错误进行的，或者可能会产生难以调试的错误，则抛出异常。否则做一些明智的事情（比如返回null，无操作等）因此，尝试迭代一个空集合被认为不太可能是错误的，而尝试查找集合中不存在的元素被认为可能是意外的，从而导致异常。但这些并不是硬性规定，视角因语言而异，因设计者而异，因情况而异。

Answer 3

public static void main(String[] args) {&nbsp; &nbsp;final List<Map<String, Object>> candidateList = new ArrayList<>();&nbsp; &nbsp; for (final Map<String, Object> candidate : candidateList) {&nbsp; &nbsp; &nbsp; &nbsp; //because all below code will never execute&nbsp; &nbsp; &nbsp; &nbsp; if (candidate.isEmpty()) {&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; System.out.println("Empty!!!");&nbsp; &nbsp; &nbsp; &nbsp; }&nbsp; &nbsp; }}它永远不会进入你的循环，所以它不会抛出任何异常。如果您将空元素添加到您的列表中。它会抛出错误