foreach結(jié)構(gòu)
Java的foreach是一種增強(qiáng)的for結(jié)構(gòu),其形式如下
for (variable : collection) statement
foreach的語(yǔ)義非常清晰:對(duì)于collection中的每個(gè)元素(首先賦值給variable,然后)進(jìn)行statement處理。
foreach主要用于遍歷數(shù)組或容器的元素。例如:
float f[] = new float[10];
......
//使用foreach遍歷數(shù)組f
for(float x : f) System.out.println(x);
foreach使代碼更加簡(jiǎn)潔,更重要的是提高了代碼可讀性。
缺點(diǎn)是適用場(chǎng)合不如標(biāo)準(zhǔn)for結(jié)構(gòu)——能用foreach的,都能用for,反過(guò)來(lái)就不是了。
確定foreach的遍歷順序
對(duì)于遍歷,最重要的問(wèn)題是遍歷順序。
例如,如果需要順序打印數(shù)組,必須保證遍歷順序是從數(shù)組第一個(gè)元素到最后一個(gè)元素的,否則打印結(jié)果就是亂的。
foreach的遍歷順序貌似很簡(jiǎn)單,看過(guò)幾個(gè)foreach的示例后,我們大概能猜到:
- 對(duì)于數(shù)組,foreach按順序從數(shù)組的第一個(gè)元素遍歷到最后一個(gè)元素。
- 對(duì)于Iterable容器,則依照迭代器的遍歷順序。
但是,真的如此么?
尤其是數(shù)組!有些經(jīng)驗(yàn)的程序員在處理Iterable容器時(shí),都不會(huì)去依賴其遍歷順序;但是處理數(shù)組時(shí),大家往往默認(rèn)數(shù)組的遍歷順序就是從頭到尾的,萬(wàn)一foreach不是這么處理的,那麻煩就大了。
為了確認(rèn)這個(gè)問(wèn)題,我首先百度了“Java foreach 數(shù)組 遍歷順序”,非常遺憾,沒(méi)查到什么有用的結(jié)論和證據(jù)。同時(shí),我看到一個(gè)很不好的現(xiàn)象,在一個(gè)關(guān)于這個(gè)問(wèn)題的帖子中,有好幾個(gè)人回復(fù)“測(cè)一下就知道了”,這是非?;闹嚭蛻卸璧?,測(cè)試10000次的結(jié)果都符合猜測(cè),也不代表猜測(cè)就是對(duì)的;按照這種思路做事情,必然會(huì)給自己和別人挖坑!
然后我翻查了《Core Java》和《Thinking in Java》,然而這兩本書(shū)中也沒(méi)有明確說(shuō)明。
最后,還是借助Google和StackOverflow解決了問(wèn)題,
在http://stackoverflow.com/questions/660097/is-java-foreach-iteration-order-over-primitives-precisely-defined 中,歪果仁指出了一條光明大道:
在Java SE的規(guī)范文檔中,是對(duì)這個(gè)問(wèn)題有明確說(shuō)明的:
http://docs.oracle.com/javase/specs/jls/se7/html/jls-14.html#jls-
14.14.2)
整個(gè)過(guò)程告訴我:
- 一個(gè)經(jīng)驗(yàn)的事——技術(shù)問(wèn)題還是要問(wèn)谷歌。
- 一個(gè)痛心的事——對(duì)比中文技術(shù)社區(qū)和英文技術(shù)社區(qū),中國(guó)的兄弟們太不愛(ài)問(wèn)個(gè)究竟了,是生活壓力太大么?
foreach的遍歷順序
根據(jù)JLS,foreach的遍歷順序終于找到了一個(gè)明確的答案。JLS中的描述比較復(fù)雜,我簡(jiǎn)化如下:
foreach結(jié)構(gòu)定義為
for ( variable : collection ) Statement
對(duì)于數(shù)組,上述語(yǔ)句等同于
for (int i = 0; i < collection.length; i++) {
variable = collection[i];
Statement
}
對(duì)于Iterable容器,上述語(yǔ)句等同于
for (I i = collection.iterator(); i.hasNext(); ) {
variable = i.next();
Statement
}
總結(jié)一下,的確就是:
- 對(duì)于數(shù)組,foreach按順序從數(shù)組的第一個(gè)元素遍歷到最后一個(gè)元素。
- 對(duì)于Iterable容器,則依照迭代器的遍歷順序。