Java 如何知道如何迭代数组

String[] strs = new String[] { "1", "2", ... , "6" };

for (String s : strs) {
    System.out.println(s);
}

这是一个关于java内部的问题。

在上面的代码示例中，foreach 循环如何计算出数组的长度？数组实际上是内部对象还是使用类似的东西sizeof这是前端程序员无法访问的？

我有一种感觉，我只是错过了一些愚蠢的东西，但我认为它也可能很酷。 :-)

我编译了以下代码：

public class ArrayIterator
{
    public static void main(String[] argv)
    {
        String[] strs = new String[] { "1", "2", "3", "4", "5" };
        enhancedPrint(strs);
        normalPrint(strs);
    }

    public static void enhancedPrint( String[] strs )
    {
        for (String s : strs)
        {
            System.out.println(s);
        }
    }

    public static void normalPrint( String[] strs )
    {
        String[] localArray = strs;
        int len = localArray.length;
        for (int i = 0; i < len; i++)
        {
            String s = localArray[i];
            System.out.println(s);
        }
    }
} 

这是拆解后的样子（javap -c ArrayIterator) 迭代函数的字节码：

增强打印：

public static void enhancedPrint(java.lang.String[]);
  Code:
   0:   aload_0
   1:   astore_1
   2:   aload_1
   3:   arraylength
   4:   istore_2
   5:   iconst_0
   6:   istore_3
   7:   iload_3
   8:   iload_2
   9:   if_icmpge   31
   12:  aload_1
   13:  iload_3
   14:  aaload
   15:  astore  4
   17:  getstatic   #10; //Field java/lang/System.out:Ljava/io/PrintStream;
   20:  aload   4
   22:  invokevirtual   #11; //Method java/io/PrintStream.println:(Ljava/lang/String;)V
   25:  iinc    3, 1
   28:  goto    7
   31:  return

一个普通的 for 循环：

 public static void normalPrint(java.lang.String[]);
  Code:
   0:   aload_0
   1:   astore_1
   2:   aload_1
   3:   arraylength
   4:   istore_2
   5:   iconst_0
   6:   istore_3
   7:   iload_3
   8:   iload_2
   9:   if_icmpge   31
   12:  aload_1
   13:  iload_3
   14:  aaload
   15:  astore  4
   17:  getstatic   #10; //Field java/lang/System.out:Ljava/io/PrintStream;
   20:  aload   4
   22:  invokevirtual   #11; //Method java/io/PrintStream.println:(Ljava/lang/String;)V
   25:  iinc    3, 1
   28:  goto    7
   31:  return

正如您所看到的，在这两种情况下，编译器都会加载数组长度（strs.length）并对其进行循环。我们看到，在数组的情况下，增强的 for-each 循环是针对数组长度进行循环的语法糖（而不是在使用迭代器的对象的情况下）。

我编辑了“正常”for 循环，使其不太惯用，但它具有与增强型 for 循环相同的字节码。出于所有意图和目的，正常的 for 循环版本是编译器在编译增强的 for 每个循环时生成的版本。