在java增强for循环中，是否可以安全地假设循环表达式仅被计算一次？

Question

在以下几点：

for (String deviceNetwork : deviceOrganizer.getNetworkTypes(deviceManufacturer)) { 
    // do something 
} 

它是安全的假设，deviceOrganizer.getNetworkTypes（deviceManufacturer）将只有一次叫什么名字？

Answer 1

是的，绝对。

从section 14.14.2 of the spec：

如果表达式的类型是可迭代的子类型，则让我是 表达Expression.iterator（）的类型。增强的for语句等价于一个基本为 语句的形式为：（与阵列的替代交易）

for (I #i = Expression.iterator(); #i.hasNext();) { 
     VariableModifiersopt Type Identifier = #i.next(); 
    Statement 
} 

注意如何Expression仅在的用于第一部分提到循环表达 - 所以它只被评估一次。

Answer 2

不错，不妨一试：

public class ForLoop { 
    public static void main(String [] args) { 
     for(int i : testData()){ 
      System.out.println(i); 
     } 
    } 
    public static int[] testData() { 
     System.out.println("Test data invoked"); 
     return new int[]{1,2,3,4}; 
    } 
} 

输出：

$ java ForLoop 
Test data invoked 
1 
2 
3 
4 

Answer 3

来补充有人说和验证规范是做什么它说，让我们来看看生成的字节码下面的类，它实现旧式和新式循环以循环方法调用返回的列表，getList()：

public class Main { 
    static java.util.List getList() { return new java.util.ArrayList(); } 
    public static void main(String[] args) { 
     for (Object o : getList()) { 
      System.out.print(o); 
     } 
     for (java.util.Iterator itr = getList().iterator(); itr.hasNext();) { 
      Object o = itr.next(); System.out.print(o); 
     } 
    } 
} 

个

输出的相关部分：

0: invokestatic #4; //Method getList 
    3: invokeinterface #5, 1; //InterfaceMethod java/util/List.iterator 
    8: astore_1 
    9: aload_1 
    10: invokeinterface #6, 1; //InterfaceMethod java/util/Iterator.hasNext 
    15: ifeq 35 
    18: aload_1 
    19: invokeinterface #7, 1; //InterfaceMethod java/util/Iterator.next 
    24: astore_2 
    25: getstatic #8; //Field java/lang/System.out 
    28: aload_2 
    29: invokevirtual #9; //Method java/io/PrintStream.print 
    32: goto 9 
    35: invokestatic #4; //Method getList 
    38: invokeinterface #10, 1; //InterfaceMethod java/util/List.iterator 
    43: astore_1 
    44: aload_1 
    45: invokeinterface #6, 1; //InterfaceMethod java/util/Iterator.hasNext 
    50: ifeq 70 
    53: aload_1 
    54: invokeinterface #7, 1; //InterfaceMethod java/util/Iterator.next 
    59: astore_2 
    60: getstatic #8; //Field java/lang/System.out 
    63: aload_2 
    64: invokevirtual #9; //Method java/io/PrintStream.print 
    67: goto 44 
    70: return 

这表明第一环路（0至32）和第二（35-67）是相同。
生成的字节码与完全相同。