Die Bedingung muss noch nicht mal statisch sein, du kannst genauso... schreiben:
[code]
int b = 7;
for ( int a = 1; a <= b; a++ ) { }
[/code]

Ja, aber mir fallen (jetzt) partout keine Anwendungsfälle ein, wo ich zwei Variablen im Schleifenkopf initialisieren möchte.

.. keine Anwendungsfälle ein, wo...

for (int a = 0, b = arr.length; a < b; a++) {}

// vs.

int b = arr.length;
for (int a = 0; a < b; a++) {}

Der Unterschied ist der Gültigkeitsbereich von b. Ob man's wirklich braucht, keine Ahnung. Aber es ist ein Anwendungsfall ;)

Die Frage die sich mir hier stellt ist; Optimiert das der Compiler nicht weg?
for (int a = 0; a < arr.length; a++) {}

Bin aber nicht so firm, dass ich den generierten Bytecode analysieren könnte :)

So wie Du es geschrieben hast sicher nicht, da dadurch arr.length mehrfach aufgerufen wird (im anderen Fall nur 1x).
Potentiell kann sich arr.length während des Schleifendurchlaufs aber ändern - was also zu unterschiedlichem Verhalten führen würde.

Nimm nur mal an, dass es sich um eine (aufwendige) Funktion handelt - dann wird diese bei jedem Durchlauf neu ausgeführt. Manchmal wichtig (wenn der Wert abhängig von der Schleifenvariable ist), ansonsten nur langsam ;)

Stimmt - ich habe mir das Bytecode Plugin für Eclipse gezogen und mal ein bisschen gestöbert. Ist so wie du sagst...