Java中foreach循环的实现原理

1、背景知识介绍

java foreach 语法是在jdk1.5时加入的新特性,主要是当作for语法的一个增强,那么它的底层到底是怎么实现的呢?因为面试时被问到,所以在这边做一个记录。

2 什么是foreach循环?

For-each语法内部,对collection是用nested iteratoration来实现的,对数组是用下标遍历来实现。

Java 5 及以上的编译器隐藏了基于iteration和下标遍历的内部实现。(注意,这里说的是“Java编译器”或Java语言对其实现做了隐藏,而不是某段Java代码对其实现做了隐藏,也就是说,我们在任何一段JDK的Java代码中都找不到这里被隐藏的实现。这里的实现,隐藏在了Java 编译器中,查看一段For-each的Java代码编译成的字节码,从中揣测它到底是怎么实现的了)

下面对“For-each”和“其对等的iteration/index实现”的对比再简洁明了不过了。


Java中foreach循环的实现原理_第1张图片

Example - Adding all elements of an array

Here is a loop written as both afor-eachloop and a basicforloop.

double[] ar = {1.2, 3.0, 0.8};

int sum = 0;

for (double d : ar) {  // d gets successively each value in ar.

    sum += d;

}

And here is the same loop using the basicfor. It requires an extra iteration variable.

double[] ar = {1.2, 3.0, 0.8};

int sum = 0;

for (int i = 0; i < ar.length; i++) {  // i indexes each element successively.

    sum += ar[i];

}

Where thefor-eachis appropriate

一定要注意For-each不是万能的,下面的场合是不适宜使用For-each的

Altho the enhancedforloop can make code much clearer, it can't be used in some common situations.

使用For-each时对collection或数组中的元素不能做赋值操作

Only access. Elements can not be assigned to, eg, not to increment each element in a collection.

同时只能遍历一个collection或数组,不能同时遍历多余一个collection或数组

Only single structure. It's not possible to traverse two structures at once, eg, to compare two arrays.

遍历过程中,collection或数组中同时只有一个元素可见,即只有“当前遍历到的元素”可见,而前一个或后一个元素是不可见的。

Only single element. Use only for single element access, eg, not to compare successive elements.

只能正向遍历,不能反向遍历(相比之下,C++ STL中还有reverse_iterator, rbegin(), rend()之类的东西,可以反向遍历)

Only forward. It's possible to iterate only forward by single steps.

如果要兼容Java 5之前的Java版本,就不能使用For-each

At least Java 5. Don't use it if you need compatibility with versions before Java 5.

三. 代码分析

通过javap反编译可以知道实现了Iterable接口

在编译的时候编译器会自动将对for这个关键字的使用转化为对目标的迭代器的使用,这就是foreach循环的原理。进而,我们再得出两个结论:

1、ArrayList之所以能使用foreach循环遍历,是因为ArrayList所有的List都是Collection的子接口,而Collection是Iterable的子接口,ArrayList的父类AbstractList正确地实现了Iterable接口的iterator方法。之前我自己写的ArrayList用foreach循环直接报空指针异常是因为我自己写的ArrayList并没有实现Iterable接口

2、任何一个集合,无论是JDK提供的还是自己写的,只要想使用foreach循环遍历,就必须正确地实现Iterable接口

数组呢?

上面的讲完了,好理解,但是不知道大家有没有疑问,至少我是有一个疑问的:数组并没有实现Iterable接口啊,为什么数组也可以用foreach循环遍历呢?因为Java将对于数组的foreach循环转换为对于这个数组每一个的循环引用

你可能感兴趣的:(Java中foreach循环的实现原理)