[alatar]

Что-то тут уже теплое с мягким начали сравнивать. При использовании for each будет генерироваться одинаковый код, что для объекта, что для массива. А вот в каком порядке будут обходиться значения, зависит только от объекта (т.е. что hasnext2 (байткод) вернет, так и пойдем). В некоторых случаях и для обычного объекта можно добиться повторяемости обхода значений.
P.S. По поводу того, что for компилируется в while — это не совсем так, в байткоде нет ни того ни другого.

Добавлено через 51 минуту
P.P.S. Кстати, метод forEach массива и вектора, внутри использует for для обхода элементов.