java - Java如何知道如何迭代数组

Question

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

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

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

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

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

Answer 1

我编译了以下代码:

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 循环版本是编译器在编译每个循环的增强版本时生成的版本。