Java 里的 for (;;) 與 while (true)，哪個(gè)更快？

在JDK8u的jdk項(xiàng)目下做個(gè)很粗略的搜索：

mymbp:/Users/me/workspace/jdk8u/jdk/src
$ egrep -nr "for \\(\\s?;\\s?;". | wc -l
369
mymbp:/Users/me/workspace/jdk8u/jdk/src
$ egrep -nr "while \\(true". | wc -l
323

并沒(méi)有差多少

其次，for (;;) 在Java中的來(lái)源。個(gè)人看法是喜歡用這種寫(xiě)法的人，追根溯源是受到C語(yǔ)言里的寫(xiě)法的影響。這些人不一定是自己以前寫(xiě)C習(xí)慣了這樣寫(xiě)，而可能是間接受以前寫(xiě)C的老師、前輩的影響而習(xí)慣這樣寫(xiě)的。

在C語(yǔ)言里，如果不include某些頭文件或者自己聲明的話，是沒(méi)有內(nèi)建的Bool / bool類(lèi)型，也沒(méi)有TRUE / FALSE / true / false這些Bool / bool類(lèi)型值的字面量的。所以，假定沒(méi)有include那些頭文件或者自己define出上述字面量，一個(gè)不把循環(huán)條件寫(xiě)在while (...)括號(hào)里的while語(yǔ)句，最常見(jiàn)的是這樣：

while(1) {
/* ... */
}

…但不是所有人都喜歡看到那個(gè)魔數(shù)“1”的。

而用for (;;)來(lái)表達(dá)不寫(xiě)循環(huán)條件（也就是循環(huán)體內(nèi)不用break或goto就會(huì)是無(wú)限循環(huán)）則非常直觀——這就是for語(yǔ)句本身的功能，而且不需要寫(xiě)任何魔數(shù)。所以這個(gè)寫(xiě)法就流傳下來(lái)了。

順帶一提，在Java里我是傾向于寫(xiě)while (true)的，不過(guò)我也不介意別人在他們自己的項(xiàng)目里寫(xiě)for (;;)。

---

至于Java里while (true)與for (;;)哪個(gè)“效率更高”

這種規(guī)范沒(méi)有規(guī)定的問(wèn)題，答案都是“看實(shí)現(xiàn)”，畢竟實(shí)現(xiàn)只要保證語(yǔ)義符合規(guī)范就行了，而效率并不在規(guī)范管得著的范疇內(nèi)。

首先看javac對(duì)下面?zhèn)z語(yǔ)句的編譯結(jié)果

以O(shè)racle/Sun JDK8u / OpenJDK8u的實(shí)現(xiàn)來(lái)看：

publicvoid foo() {
int i = 0;
while(true) { i++; }
}

/*
  public void foo();
    Code:
      stack=1, locals=2, args_size=1
         0: iconst_0
         1: istore_1
         2: iinc          1, 1
         5: goto          2
*/

與

publicvoid bar() {
int i = 0;
for(;;) { i++; }
}

/*
  public void bar();
    Code:
      stack=1, locals=2, args_size=1
         0: iconst_0
         1: istore_1
         2: iinc          1, 1
         5: goto          2
*/

連javac這種幾乎什么優(yōu)化都不做（只做了Java語(yǔ)言規(guī)范規(guī)定一定要做的常量折疊，和非常少量別的優(yōu)化）的編譯器，對(duì)上面?zhèn)z版本的代碼都生成了一樣的字節(jié)碼。后面到解釋執(zhí)行、JIT編譯之類(lèi)的就不用說(shuō)了，輸入都一樣，輸出也不會(huì)不同。